default search action
12th SEFM 2014: Grenoble, France
- Dimitra Giannakopoulou, Gwen Salaün:
Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Lecture Notes in Computer Science 8702, Springer 2014, ISBN 978-3-319-10430-0
Invited Papers
- Xavier Leroy:
Formal Proofs of Code Generation and Verification Tools. 1-4
Program Verification
- Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
Lightweight Program Construction and Verification Tools in Isabelle/HOL. 5-19 - Makoto Tatsuta, Wei-Ngan Chin:
Completeness of Separation Logic with Inductive Definitions for Program Verification. 20-34 - Alberto Lovato, Damiano Macedonio, Fausto Spoto
:
A Thread-Safe Library for Binary Decision Diagrams. 35-49 - Ka I Pun, Martin Steffen, Volker Stolz:
Effect-Polymorphic Behaviour Inference for Deadlock Checking. 50-64
Testing
- Maria Christakis, Peter Müller, Valentin Wüstholz:
Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations. 65-80 - Sarmen Keshishzadeh, Arjan J. Mooij:
Formalizing DSL Semantics for Reasoning and Conformance Testing. 81-95 - Adilson Luiz Bonifácio, Arnaldo Vieira Moura:
Test Suite Completeness and Partial Models. 96-110
Component-Based Systems
- Dalal Alrajeh, Robert Craven:
Automated Error-Detection and Repair for Compositional Software Specifications. 111-127 - Paul C. Attie
A General Framework for Architecture Composability. 128-143 - Domenico Bianculli
Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce. 144-158
Real-Time and Embedded Systems
- Jon Grov, Peter Csaba Ölveczky:
Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis. 159-174 - Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. 175-189 - Robert Reicherdt, Sabine Glesner:
Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie. 190-204 - Klaus Becker, Bernhard Schätz, Michael Armbruster, Christian Buckl:
A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems. 205-219
Model Checking and Automata Learning
- Ivaylo Dobrikov, Michael Leuschel:
Optimising the ProB Model Checker for B Using Partial Order Reduction. 220-234 - Alexandre Mota, Adalberto Farias, André Didier
Rapid Prototyping of a Semantically Well Founded Circus Model Checker. 235-249 - Sofia Cassel, Falk Howar
Learning Extended Finite State Machines. 250-264
Tool Papers
- Qi Wang, Tim Wahls:
Translating Event-B Machines to Database Applications. 265-270 - Guillaume Brat, Jorge A. Navas, Nija Shi, Arnaud Venet
IKOS: A Framework for Static Analysis Based on Abstract Interpretation. 271-277 - Stefan Korecko
A Toolset for Support of Teaching Formal Software Development. 278-283 - Ricardo J. Rodríguez
Execution and Verification of UML State Machines with Erlang. 284-289 - Fama Diagne, Amel Mammar, Marc Frappier:
A Tool for Verifying Dynamic Properties in B. 290-295 - David Hauzar, Jan Kofron
WeVerca: Web Applications Verification for PHP. 296-301
Program Correctness
- Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel:
More Flexible Object Invariants with Less Specification Overhead. 302-316 - Catherine Dubois, Renaud Rioboo:
Verified Functional Iterators Using the FoCaLiZe Environment. 317-331 - Tadeusz Sznuk, Aleksy Schubert
Tool Support for Teaching Hoare Logic. 332-346
Adaptive and Multi-Agent Systems
- Pierpaolo Degano, Gian-Luigi Ferrari
A Two-Phase Static Analysis for Reliable Adaptation. 347-362 - Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frédéric Migeon, Ahmed Hadj Kacem:
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. 363-377 - Raúl Pardo
A Formal Privacy Policy Framework for Social Networks. 378-392
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 2024-12-19 22:02 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: