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.13