ICSE 2013 Workshops
2013 35th International Conference on Software Engineering (ICSE)
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.33