Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th SEFM 2011: Montevideo, Uruguay
- Gilles Barthe
, Alberto Pardo, Gerardo Schneider:
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
- Holger Hermanns:
Formal Methods in Energy Informatics. 1-2 - Daniel Le Métayer:
Formal Methods as a Link between Software Code and Legal Rules. 3-18 - Emil Vassev, Mike Hinchey:
Developing Model-Checking Mechanisms for ASSL: An Experience Report. 19-34 - Matteo Pedercini:
Models and Communication in the Policy Process. 35-37
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 S. 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 C. Cordeiro, Denis A. 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
- Claire Le Goues, K. Rustan M. Leino, Michal Moskal:
The Boogie Verification Debugger (Tool Paper). 407-414 - Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám:
Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. 415-430
Special Track: "Modelling for Sustainable Development"
- Jorge Corral, Daniel Calegari:
Towards an Agent-Based Methodology for Developing Agro-Ecosystem Simulations. 431-446 - Matteo Pedercini:
Development Policy Analysis in Mali: Sustainable Growth Prospects. 447-463 - Marisa Analía Sánchez:
Using System Dynamics to Assess the Role of Socio-economic Status in Tuberculosis Incidence. 464-475 - Hefeng Tong, Weishuang Qu:
Energy Consumption and CO2 Emissions of Beijing Heating System: Based on a System Dynamics Model. 476-485 - Jin Tong, Siraj A. Shaikh, Anne E. James:
A Formal Approach to Analysing Knowledge Transfer Processes in Developing Countries. 486-501
a service of 
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.
last updated on 2024-04-25 20:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
