ask others

12. SEFM 2014: Grenoble, France

> Home > Conferences and Workshops > SEFM

- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/sefm/2014
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/2014
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/Leroy14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/Leroy14
Xavier Leroy:
Formal Proofs of Code Generation and Verification Tools. 1-4

Program Verification

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/ArmstrongGS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/ArmstrongGS14
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
Lightweight Program Construction and Verification Tools in Isabelle/HOL. 5-19
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/TatsutaC14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/TatsutaC14
Makoto Tatsuta, Wei-Ngan Chin:
Completeness of Separation Logic with Inductive Definitions for Program Verification. 20-34
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/LovatoMS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/LovatoMS14
Alberto Lovato, Damiano Macedonio, Fausto Spoto:
A Thread-Safe Library for Binary Decision Diagrams. 35-49
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/PunSS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/PunSS14
Ka I Pun, Martin Steffen, Volker Stolz:
Effect-Polymorphic Behaviour Inference for Deadlock Checking. 50-64

Testing

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/ChristakisMW14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/ChristakisMW14
Maria Christakis, Peter Müller, Valentin Wüstholz:
Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations. 65-80
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/KeshishzadehM14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/KeshishzadehM14
Sarmen Keshishzadeh, Arjan J. Mooij:
Formalizing DSL Semantics for Reasoning and Conformance Testing. 81-95
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/BonifacioM14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/BonifacioM14
Adilson Luiz Bonifácio, Arnaldo Vieira Moura:
Test Suite Completeness and Partial Models. 96-110

Component-Based Systems

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/AlrajehC14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/AlrajehC14
Dalal Alrajeh, Robert Craven:
Automated Error-Detection and Repair for Compositional Software Specifications. 111-127
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/AttieBBJS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/AttieBBJS14
Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis:
A General Framework for Architecture Composability. 128-143
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/BianculliGK14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/BianculliGK14
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic:
Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce. 144-158

Real-Time and Embedded Systems

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/GrovO14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/GrovO14
Jon Grov, Peter Csaba Ölveczky:
Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis. 159-174
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/HajisheykhiEK14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/HajisheykhiEK14
Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. 175-189
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/ReicherdtG14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/ReicherdtG14
Robert Reicherdt, Sabine Glesner:
Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie. 190-204
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/BeckerSAB14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/BeckerSAB14
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/DobrikovL14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/DobrikovL14
Ivaylo Dobrikov, Michael Leuschel:
Optimising the ProB Model Checker for B Using Partial Order Reduction. 220-234
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/MotaFDW14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/MotaFDW14
Alexandre Mota, Adalberto Farias, André Didier, Jim Woodcock:
Rapid Prototyping of a Semantically Well Founded Circus Model Checker. 235-249
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/CasselHJS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/CasselHJS14
Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen:
Learning Extended Finite State Machines. 250-264

Tool Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/WangW14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/WangW14
Qi Wang, Tim Wahls:
Translating Event-B Machines to Database Applications. 265-270
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/BratNSV14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/BratNSV14
Guillaume Brat, Jorge A. Navas, Nija Shi, Arnaud Venet:
IKOS: A Framework for Static Analysis Based on Abstract Interpretation. 271-277
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/KoreckoSDS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/KoreckoSDS14
Stefan Korecko, Ján Sorád, Zuzana Dudláková, Branislav Sobota:
A Toolset for Support of Teaching Formal Software Development. 278-283
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/RodriguezFHM14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/RodriguezFHM14
Ricardo J. Rodríguez, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño:
Execution and Verification of UML State Machines with Erlang. 284-289
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/DiagneMF14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/DiagneMF14
Fama Diagne, Amel Mammar, Marc Frappier:
A Tool for Verifying Dynamic Properties in B. 290-295
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/HauzarK14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/HauzarK14
David Hauzar, Jan Kofron:
WeVerca: Web Applications Verification for PHP. 296-301

Program Correctness

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/HusterHERBKR14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/HusterHERBKR14
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/DuboisR14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/DuboisR14
Catherine Dubois, Renaud Rioboo:
Verified Functional Iterators Using the FoCaLiZe Environment. 317-331
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/SznukS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/SznukS14
Tadeusz Sznuk, Aleksy Schubert:
Tool Support for Teaching Hoare Logic. 332-346

Adaptive and Multi-Agent Systems

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/DeganoFG14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/DeganoFG14
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
A Two-Phase Static Analysis for Reliable Adaptation. 347-362
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/LaibinisTGMK14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/LaibinisTGMK14
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/PardoS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/PardoS14
Raúl Pardo, Gerardo Schneider:
A Formal Privacy Policy Framework for Social Networks. 378-392

maintained by

, founded at