ICSE 2013 - May 18-26, 2013, San Francisco, CA, USA
Powered by
Conference Publishing Consulting

2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE), May 25, 2013, San Francisco, CA, USA

Workshop FormaliSE 2013 – Author Index

Contents - Abstracts - Authors

A B C D F G I J K L M N S T V W

Agarwal, Siddharth FormaliSE '13: "Functional SMT Solving with ..."
Atlee, Joanne M. FormaliSE '13: "Recommendations for Improving ..."
Beidu, Sandy FormaliSE '13: "Recommendations for Improving ..."
Bocic, Ivan FormaliSE '13: "An Integrated Data Model Verifier ..."
Bollin, Andreas FormaliSE '13: "Do You Speak Z? Formal Methods ..."
Bultan, Tevfik FormaliSE '13: "An Integrated Data Model Verifier ..."
Cordy, Maxime FormaliSE '13: "A Framework for the Rigorous ..."
Day, Nancy A. FormaliSE '13: "Recommendations for Improving ..."
Faghih, Fathiyeh FormaliSE '13: "Recommendations for Improving ..."
Gandhi, Robin FormaliSE '13: "Lightweight Formal Models ..."
Glesner, Sabine FormaliSE '13: "Automatic Validation of Infinite ..."
Gmehlich, Rainer FormaliSE '13: "Towards a Formalism-Based ..."
Göthel, Thomas FormaliSE '13: "Automatic Validation of Infinite ..."
Grau, Katrin FormaliSE '13: "Towards a Formalism-Based ..."
Iliasov, Alexei FormaliSE '13: "Towards a Formalism-Based ..."
Jackson, Michael FormaliSE '13: "Towards a Formalism-Based ..."
Karkare, Amey FormaliSE '13: "Functional SMT Solving with ..."
Legay, Axel FormaliSE '13: "A Framework for the Rigorous ..."
Loesch, Felix FormaliSE '13: "Towards a Formalism-Based ..."
Madhukar, Kumar FormaliSE '13: "Trace Based Reachability Verification ..."
Mazzara, Manuel FormaliSE '13: "Towards a Formalism-Based ..."
Metta, Ravindra FormaliSE '13: "Trace Based Reachability Verification ..."
Nijjar, Jaideep FormaliSE '13: "An Integrated Data Model Verifier ..."
Schobbens, Pierre-Yves FormaliSE '13: "A Framework for the Rigorous ..."
Shaker, Pourya FormaliSE '13: "Recommendations for Improving ..."
Shrotri, Ulka FormaliSE '13: "Trace Based Reachability Verification ..."
Siy, Harvey FormaliSE '13: "Lightweight Formal Models ..."
Traonouez, Louis-Marie FormaliSE '13: "A Framework for the Rigorous ..."
Venkatesh, R. FormaliSE '13: "Trace Based Reachability Verification ..."
Wassyng, Alan FormaliSE '13: "Though This Be Madness, Yet ..."
Wu, Yan FormaliSE '13: "Lightweight Formal Models ..."

31 authors

proc time: 0.16