9. SEFM 2011:
Montevideo, Uruguay
Gilles Barthe, Alberto Pardo, Gerardo Schneider (Eds.):
Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings.
Lecture Notes in Computer Science 7041 Springer 2011, ISBN 978-3-642-24689-0 
Keynote Talks
Regular Papers
- Imene Ben Hafaiedh, Susanne Graf, Nejla Mazouz:
Distributed Implementation of Systems with Multiparty Interactions and Priorities.
38-57
- Jan Olaf Blech, Sidi Ould Biha:
Verification of PLC Properties Based on Formal Semantics in Coq.
58-73
- Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, Joachim Parrow:
Broadcast Psi-calculi with an Application to Wireless Protocols.
74-89
- Richard Bubel, Reiner Hähnle, Ulrich Geilmann:
A Formalisation of Java Strings for Program Specification and Verification.
90-105
- Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre:
dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification.
106-121
- Juan Manuel Crespo, César Kunz:
A Machine-Checked Framework for Relational Separation Logic.
122-137
- Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias:
A Dataflow Analysis to Improve SAT-Based Bounded Program Verification.
138-154
- Edsko de Vries, Vasileios Koutavas:
Reverse Hoare Logic.
155-171
- Andreas Eggers, Nacim Ramdani, Nedialko Nedialkov, Martin Fränzle:
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods.
172-187
- Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif:
Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving.
188-203
- Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem:
Runtime Verification of Component-Based Systems.
204-220
- Ana Gabriela Garis, Alcino Cunha, Daniel Riesco:
Translating Alloy Specifications to UML Class Diagrams Annotated with OCL.
221-236
- Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats:
Safe Distribution of Declarative Processes.
237-252
- Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois:
Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving.
253-268
- Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa:
Hybrid Specification of Reactive Systems: An Institutional Approach.
269-285
- Marco Mori, Fei Li, Christoph Dorn, Paola Inverardi, Schahram Dustdar:
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems.
286-301
- Jeremy Morse, Lucas Cordeiro, Denis Nicole, Bernd Fischer:
Context-Bounded Model Checking of LTL Properties for ANSI-C Software.
302-317
- Radu Muschevici, José Proença, Dave Clarke:
Modular Modelling of Software Product Lines with Feature Nets.
318-333
- Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse:
Synchronizing Asynchronous Conformance Testing.
334-349
- Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya:
Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications.
350-365
- Siavash Soleimanifard, Dilian Gurov, Marieke Huisman:
ProMoVer: Modular Verification of Temporal Safety Properties.
366-381
- Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques.
382-398
Short Papers
- Jaap Boender:
Efficient Computation of Dominance in Component Systems (Short Paper).
399-406
Tool Papers
Special Track:
"Modelling for Sustainable Development"
Last update Sun May 19 23:33:28 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
