Powered by

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
Article: icsews13formaliseforeword-fm000-p (type: Frontmatter) doi:

Foreword
Article: icsews13formaliseforeword-fm001-p (type: Frontmatter) doi:

Though This Be Madness, Yet There Is Method in It? (Keynote)
Alan Wassyng
(McMaster University, Canada)
Article: icsews13formalise-key1-p (type: Invited keynote) doi:

Do You Speak Z? Formal Methods under the Perspective of a Cross-Cultural Adaptation Problem
Andreas Bollin
(University of Klagenfurt, Austria)
Article: icsews13formalise-id13-p (type: Full Paper) doi:

Functional SMT Solving with Z3 and Racket
Siddharth Agarwal and Amey Karkare
(Facebook, USA; IIT Kanpur, India)
Article: icsews13formalise-id1-p (type: Full Paper) doi:

Trace Based Reachability Verification for Statecharts
Kumar Madhukar, Ravindra Metta, Ulka Shrotri, and R. Venkatesh
(Tata Consultancy Services, India)
Article: icsews13formalise-id2-p (type: Full Paper) doi:

An Integrated Data Model Verifier with Property Templates
Jaideep Nijjar, Ivan Bocic, and Tevfik Bultan
(UC Santa Barbara, USA)
Article: icsews13formalise-id21-p (type: Full Paper) doi:

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: icsews13formalise-id14-p (type: Full Paper) doi:

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: icsews13formalise-id17-p (type: Full Paper) doi:

Lightweight Formal Models of Software Weaknesses
Robin Gandhi, Harvey Siy, and Yan Wu
(University of Nebraska at Omaha, USA)
Article: icsews13formalise-id18-p (type: Full Paper) doi:

Automatic Validation of Infinite Real-Time Systems
Thomas Göthel and Sabine Glesner
(TU Berlin, Germany)
Article: icsews13formalise-id4-p (type: Full Paper) doi:

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: icsews13formalise-id12-p (type: Full Paper) doi:

proc time: 0.04