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

FormaliSE 2013 – Proceedings

Contents - Abstracts - Authors

1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)


Title Page


Though This Be Madness, Yet There Is Method in It? (Keynote)
Alan Wassyng
(McMaster University, Canada)
Article Search


Do You Speak Z? Formal Methods under the Perspective of a Cross-Cultural Adaptation Problem
Andreas Bollin
(University of Klagenfurt, Austria)
Article Search


Functional SMT Solving with Z3 and Racket
Siddharth Agarwal and Amey Karkare
(Facebook, USA; IIT Kanpur, India)
Article Search
Trace Based Reachability Verification for Statecharts
Kumar Madhukar, Ravindra Metta, Ulka Shrotri, and R. Venkatesh
(Tata Consultancy Services, India)
Article Search
An Integrated Data Model Verifier with Property Templates
Jaideep Nijjar, Ivan Bocic, and Tevfik Bultan
(UC Santa Barbara, USA)
Article Search

Application of Formal Methods

Towards a Formalism-Based Toolkit for Automotive Applications
Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, and Manuel Mazzara
(Bosch, Germany; Newcastle University, UK)
Article Search
Recommendations for Improving the Usability of Formal Methods for Product Lines
Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, and Pourya Shaker
(University of Waterloo, Canada)
Article Search
Lightweight Formal Models of Software Weaknesses
Robin Gandhi, Harvey Siy, and Yan Wu
(University of Nebraska at Omaha, USA)
Article Search

Timed Systems

Automatic Validation of Infinite Real-Time Systems
Thomas Göthel and Sabine Glesner
(TU Berlin, Germany)
Article Search
A Framework for the Rigorous Design of Highly Adaptive Timed Systems
Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, and Louis-Marie Traonouez
(University of Namur, Belgium; INRIA, France)
Article Search

proc time: 0.14