Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar13. SEFM 2015: York, UK
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
- Cliff B. Jones, Nisansala Yatapanage:
Reasoning about Separation Using Abstraction and Reification. 3-19
Program Verification
- Jan Tobias Mühlberg, David H. White, Mike Dodds, Gerald Lüttgen, Frank Piessens:
Learning Assertions to Verify Linked-List Programs. 37-52 - Gijs Vanspauwen, Bart Jacobs:
Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications. 53-68 - Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman:
Specification and Verification of Atomic Operations in GPGPU Programs. 69-83 - Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski:
History-Based Verification of Functional Behaviour of Concurrent Programs. 84-98 - Christian Colombo, Gabriel Dimech, Adrian Francalanza:
Investigating Instrumentation Techniques for ESB Runtime Verification. 99-107 - Robert Clarisó, Carlos A. González, Jordi Cabot:
Towards Domain Refinement for UML/OCL Bounded Verification. 108-114
Testing
- Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Efficient Testing of Different Loop Paths. 117-131 - Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet:
Model-Based Robustness Testing in Event-B Using Mutation. 132-147
Certification
- Marie-Christine Jakobs:
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. 159-174 - Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre:
Formal Analysis of Proactive, Distributed Routing. 175-189 - Kim Völlinger, Wolfgang Reisig:
Certification of Distributed Algorithms Solving Problems with Optimal Substructure. 190-195
Formal Specification and Proof
- Sebastian Krings, Jens Bendisposto, Michael Leuschel:
From Failure to Proof: The ProB Disprover for B and Event-B. 199-214
Testing and Model Checking
- Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro:
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking. 251-267 - Petr Rockai, Vladimír Still, Jiri Barnat:
Techniques for Memory-Efficient Model Checking of C and C++ Code. 268-282 - 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
- Michal Knapik, Artur Niewiadomski, Wojciech Penczek:
Generating None-Plans in Order to Find Plans. 310-324
Modelling and Model Transformation
- Rocco De Nicola, Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi:
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. 327-343 - 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 - Zamira Daw, Rance Cleaveland:
An Extensible Operational Semantics for UML Activity Diagrams. 360-368
maintained by 
at 
at 
last updated on 2018-12-13 00:38 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint