Powered by
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE), May 25, 2013,
San Francisco, CA, USA
1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)
Preface
Keynote
Though This Be Madness, Yet There Is Method in It? (Keynote)
Alan Wassyng
(McMaster University, Canada)
@InProceedings{FormaliSE13p1,
author = {Alan Wassyng},
title = {Though This Be Madness, Yet There Is Method in It? (Keynote)},
booktitle = {Proc.\ FormaliSE},
publisher = {IEEE},
pages = {1-0},
doi = {},
year = {2013},
}
Specification
Verification
Functional SMT Solving with Z3 and Racket
Siddharth Agarwal and
Amey Karkare
(Facebook, USA; IIT Kanpur, India)
@InProceedings{FormaliSE13p15,
author = {Siddharth Agarwal and Amey Karkare},
title = {Functional SMT Solving with Z3 and Racket},
booktitle = {Proc.\ FormaliSE},
publisher = {IEEE},
pages = {15-14},
doi = {},
year = {2013},
}
Trace Based Reachability Verification for Statecharts
Kumar Madhukar,
Ravindra Metta,
Ulka Shrotri, and
R. Venkatesh
(Tata Consultancy Services, India)
@InProceedings{FormaliSE13p22,
author = {Kumar Madhukar and Ravindra Metta and Ulka Shrotri and R. Venkatesh},
title = {Trace Based Reachability Verification for Statecharts},
booktitle = {Proc.\ FormaliSE},
publisher = {IEEE},
pages = {22-21},
doi = {},
year = {2013},
}
An Integrated Data Model Verifier with Property Templates
Jaideep Nijjar,
Ivan Bocic, and
Tevfik Bultan
(UC Santa Barbara, USA)
@InProceedings{FormaliSE13p29,
author = {Jaideep Nijjar and Ivan Bocic and Tevfik Bultan},
title = {An Integrated Data Model Verifier with Property Templates},
booktitle = {Proc.\ FormaliSE},
publisher = {IEEE},
pages = {29-28},
doi = {},
year = {2013},
}
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)
@InProceedings{FormaliSE13p36,
author = {Rainer Gmehlich and Katrin Grau and Felix Loesch and Alexei Iliasov and Michael Jackson and Manuel Mazzara},
title = {Towards a Formalism-Based Toolkit for Automotive Applications},
booktitle = {Proc.\ FormaliSE},
publisher = {IEEE},
pages = {36-35},
doi = {},
year = {2013},
}
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)
@InProceedings{FormaliSE13p43,
author = {Joanne M. Atlee and Sandy Beidu and Nancy A. Day and Fathiyeh Faghih and Pourya Shaker},
title = {Recommendations for Improving the Usability of Formal Methods for Product Lines},
booktitle = {Proc.\ FormaliSE},
publisher = {IEEE},
pages = {43-42},
doi = {},
year = {2013},
}
Lightweight Formal Models of Software Weaknesses
Robin Gandhi,
Harvey Siy, and
Yan Wu
(University of Nebraska at Omaha, USA)
@InProceedings{FormaliSE13p50,
author = {Robin Gandhi and Harvey Siy and Yan Wu},
title = {Lightweight Formal Models of Software Weaknesses},
booktitle = {Proc.\ FormaliSE},
publisher = {IEEE},
pages = {50-49},
doi = {},
year = {2013},
}
Timed Systems
Automatic Validation of Infinite Real-Time Systems
Thomas Göthel and
Sabine Glesner
(TU Berlin, Germany)
@InProceedings{FormaliSE13p57,
author = {Thomas Göthel and Sabine Glesner},
title = {Automatic Validation of Infinite Real-Time Systems},
booktitle = {Proc.\ FormaliSE},
publisher = {IEEE},
pages = {57-56},
doi = {},
year = {2013},
}
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)
@InProceedings{FormaliSE13p64,
author = {Maxime Cordy and Axel Legay and Pierre-Yves Schobbens and Louis-Marie Traonouez},
title = {A Framework for the Rigorous Design of Highly Adaptive Timed Systems},
booktitle = {Proc.\ FormaliSE},
publisher = {IEEE},
pages = {64-63},
doi = {},
year = {2013},
}
proc time: 0.03