default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd FormaliSE@ICSE 2015: Florence, Italy
- Stefania Gnesi, Nico Plat:
3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7043-1
Keynote I
- Dino Mandrioli:
On the Heroism of Really Pursuing Formal Methods. 1-5
Security
- Yves Ledru, Akram Idani
, Jean-Luc Richier:
Validation of a Security Policy by the Test of Its Formal B Specification - A Case Study. 6-12 - Noamen Ben Henda, Karl Norrman, Katharina Pfeffer:
Formal Verification of the Security for Dual Connectivity in LTE. 13-19
Exploratory Applications
- Joanne M. Atlee, Uli Fahrenberg, Axel Legay:
Measuring Behaviour Interactions between Product-Line Features. 20-25 - Michele Ceccarelli, Luigi Cerulo, Giuseppe De Ruvo, Vittoria Nardone, Antonella Santone:
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking. 26-32 - Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen:
VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. 33-39
Keynote II
- John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock:
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. 40-46
Cyber Physical Systems
- Monika Bialy, Mark Lawford, Vera Pantelic, Alan Wassyng:
A Methodology for the Simplification of Tabular Designs in Model-Based Development. 47-53 - Constance L. Heitmeyer, Elizabeth I. Leonard:
Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation. 54-60
Program Verification
- Guillaume Claret, Yann Régis-Gianas:
Mechanical Verification of Interactive Programs Specified by Use Cases. 61-67 - Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi:
Syntax-Driven Program Verification of Matching Logic Properties. 68-74
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-31 00:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
