default search action
13th 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 - Marten Lohstroh, Edward A. Lee:
An Interface Theory for the Internet of Things. 20-34
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 - Simone Hanazumi, Ana Cristina Vieira de Melo:
On the Testability of Properties Patterns. 148-155
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 - Adriaan Larmuseau, Dave Clarke:
Formalizing a Secure Foreign Function Interface. 215-230 - Jun Shen, Rida A. Bazzi:
A Formal Study of Backward Compatible Dynamic Software Updates. 231-248
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
- Roykrong Sukkerd, David Garlan, Reid G. Simmons:
Task Planning of Cyber-Human Systems. 293-309 - 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
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.