The Community for Technology Leaders
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) (2013)
San Francisco, CA, USA
May 25, 2013 to May 25, 2013
ISBN: 978-1-4673-6292-4
TABLE OF CONTENTS

Contents (PDF)

pp. 1

Though this be madness, yet there is method in it? (Keynote) (Abstract)

Alan Wassyng , McMaster Centre for Software Certification McMaster University, Hamilton, Ontario, Canada
pp. 1-7

Do you speak Z? Formal methods under the perspective of a cross-cultural adaptation problem (Abstract)

Andreas Bollin , Software Engineering Research Group Alpen-Adria Universität Klagenfurt Klagenfurt, Austria
pp. 8-14

Functional SMT solving with Z3 and racket (Abstract)

Siddharth Agarwal , Facebook Inc, Menlo Park, CA, USA
Amey Karkare , Department of Computer Science & Engineering Indian Institute of Technology Kanpur, India
pp. 15-21

Trace based reachability verification for statecharts (Abstract)

Kumar Madhukar , TRDDC, Tata Consultancy Services, Plot 54 B, Hadapsar Industrial Estate, Pune 411013. India
Ravindra Metta , TRDDC, Tata Consultancy Services, Plot 54 B, Hadapsar Industrial Estate, Pune 411013. India
Ulka Shrotri , TRDDC, Tata Consultancy Services, Plot 54 B, Hadapsar Industrial Estate, Pune 411013. India
R. Venkatesh , TRDDC, Tata Consultancy Services, Plot 54 B, Hadapsar Industrial Estate, Pune 411013. India
pp. 22-28

An integrated data model verifier with property templates (Abstract)

Jaideep Nijjar , University of California, Santa Barbara
Ivan Bocic , University of California, Santa Barbara
Tevfik Bultan , University of California, Santa Barbara
pp. 29-35

Towards a formalism-based toolkit for automotive applications (Abstract)

Rainer Gmehlich , Robert Bosch GmbH, Stuttgart, Germany
Katrin Grau , Robert Bosch GmbH, Stuttgart, Germany
Felix Loesch , Robert Bosch GmbH, Stuttgart, Germany
Alexei Iliasov , School of Computing Science, Newcastle University, UK
Michael Jackson , School of Computing Science, Newcastle University, UK
Manuel Mazzara , School of Computing Science, Newcastle University, UK
pp. 36-42

Recommendations for improving the usability of formal methods for product lines (Abstract)

Joanne M. Atlee , David R. Cheriton School of Computer Science University of Waterloo Waterloo, Canada
Sandy Beidu , David R. Cheriton School of Computer Science University of Waterloo Waterloo, Canada
Nancy A. Day , David R. Cheriton School of Computer Science University of Waterloo Waterloo, Canada
Fathiyeh Faghih , David R. Cheriton School of Computer Science University of Waterloo Waterloo, Canada
Pourya Shaker , David R. Cheriton School of Computer Science University of Waterloo Waterloo, Canada
pp. 43-49

Lightweight formal models of software weaknesses (Abstract)

Robin Gandhi , College of Information Science and Technology University of Nebraska at Omaha, USA
Harvey Siy , College of Information Science and Technology University of Nebraska at Omaha, USA
Yan Wu , College of Information Science and Technology University of Nebraska at Omaha, USA
pp. 50-56

Automatic validation of infinite real-time systems (Abstract)

Thomas Gothel , Technische Universität Berlin
Sabine Glesner , Technische Universität Berlin
pp. 57-63

A framework for the rigorous design of highly adaptive timed systems (Abstract)

Maxime Cordy , PreCISE Research Center, University of Namur, Belgium
Axel Legay , INRIA Rennes, France
Pierre-Yves Schobbens , PreCISE Research Center, University of Namur, Belgium
Louis-Marie Traonouez , INRIA Rennes, France
pp. 64-70
86 ms
(Ver 3.3 (11022016))