ask others

13. SEFM 2015: York, UK

> Home > Conferences and Workshops > SEFM

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/2015
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/2015
Radu Calinescu, Bernhard Rumpe:
Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Lecture Notes in Computer Science 9276, Springer 2015, ISBN 978-3-319-22968-3

Invited Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/JonesY15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/JonesY15
Cliff B. Jones, Nisansala Yatapanage:
Reasoning about Separation Using Abstraction and Reification. 3-19
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/LohstrohL15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/LohstrohL15
Marten Lohstroh, Edward A. Lee:
An Interface Theory for the Internet of Things. 20-34

Program Verification

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/Muhlberg0DLP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/Muhlberg0DLP15
Jan Tobias Mühlberg, David H. White, Mike Dodds, Gerald Lüttgen, Frank Piessens:
Learning Assertions to Verify Linked-List Programs. 37-52
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/Vanspauwen015
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/Vanspauwen015
Gijs Vanspauwen, Bart Jacobs:
Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications. 53-68
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/AmighiDBH15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/AmighiDBH15
Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman:
Specification and Verification of Atomic Operations in GPGPU Programs. 69-83
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/BlomHZ15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/BlomHZ15
Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski:
History-Based Verification of Functional Behaviour of Concurrent Programs. 84-98
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/ColomboDF15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/ColomboDF15
Christian Colombo, Gabriel Dimech, Adrian Francalanza:
Investigating Instrumentation Techniques for ESB Runtime Verification. 99-107
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/sefm/ClarisoGC15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/ClarisoGC15
Robert Clarisó, Carlos A. González, Jordi Cabot:
Towards Domain Refinement for UML/OCL Bounded Verification. 108-114

Testing

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/HusterBELRKR15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/HusterBELRKR15
Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Efficient Testing of Different Loop Paths. 117-131
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/SavaryFLL15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/SavaryFLL15
Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet:
Model-Based Robustness Testing in Event-B Using Mutation. 132-147
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/HanazumiM15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/HanazumiM15
Simone Hanazumi, Ana Cristina Vieira de Melo:
On the Testability of Properties Patterns. 148-155

Certification

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/Jakobs15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/Jakobs15
Marie-Christine Jakobs:
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. 159-174
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/KamaliHKP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/KamaliHKP15
Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre:
Formal Analysis of Proactive, Distributed Routing. 175-189
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/VollingerR15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/VollingerR15
Kim Völlinger, Wolfgang Reisig:
Certification of Distributed Algorithms Solving Problems with Optimal Substructure. 190-195

Formal Specification and Proof

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/KringsBL15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/KringsBL15
Sebastian Krings, Jens Bendisposto, Michael Leuschel:
From Failure to Proof: The ProB Disprover for B and Event-B. 199-214
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/LarmuseauC15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/LarmuseauC15
Adriaan Larmuseau, Dave Clarke:
Formalizing a Secure Foreign Function Interface. 215-230
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/ShenB15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/ShenB15
Jun Shen, Rida A. Bazzi:
A Formal Study of Backward Compatible Dynamic Software Updates. 231-248

Testing and Model Checking

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/RochaBC15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/RochaBC15
Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro:
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking. 251-267
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/RockaiSB15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/RockaiSB15
Petr Rockai, Vladimír Still, Jiri Barnat:
Techniques for Memory-Efficient Model Checking of C and C++ Code. 268-282
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/CarvalhoBCCMS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/CarvalhoBCCMS15
Gustavo Carvalho, Flávia A. Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio:
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. 283-290

Planning

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/SukkerdGS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/SukkerdGS15
Roykrong Sukkerd, David Garlan, Reid G. Simmons:
Task Planning of Cyber-Human Systems. 293-309
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/KnapikNP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/KnapikNP15
Michal Knapik, Artur Niewiadomski, Wojciech Penczek:
Generating None-Plans in Order to Find Plans. 310-324

Modelling and Model Transformation

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/NicolaMPST15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/NicolaMPST15
Rocco De Nicola, Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi:
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. 327-343
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/sefm/BeekDGMP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/BeekDGMP15
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini:
From Featured Transition Systems to Modal Transition Systems with Variability Constraints. 344-359
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/DawC15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/DawC15
Zamira Daw, Rance Cleaveland:
An Extensible Operational Semantics for UML Activity Diagrams. 360-368

maintained by

, founded at