More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

9th SEFM 2011: Montevideo, Uruguay

> Home > Conferences and Workshops > SEFM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sefm/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/2011
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

- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Hermanns11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Hermanns11
Holger Hermanns:
Formal Methods in Energy Informatics. 1-2
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Metayer11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Metayer11
Daniel Le Métayer:
Formal Methods as a Link between Software Code and Legal Rules. 3-18
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/VassevH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/VassevH11
Emil Vassev, Mike Hinchey:
Developing Model-Checking Mechanisms for ASSL: An Experience Report. 19-34
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Pedercini11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Pedercini11
Matteo Pedercini:
Models and Communication in the Policy Process. 35-37

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/sefm/HafaiedhGM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/HafaiedhGM11
Imene Ben Hafaiedh, Susanne Graf, Nejla Mazouz:
Distributed Implementation of Systems with Multiparty Interactions and Priorities. 38-57
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BlechB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BlechB11
Jan Olaf Blech, Sidi Ould Biha:
Verification of PLC Properties Based on Formal Semantics in Coq. 58-73
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BorgstromHJRVPP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BorgstromHJRVPP11
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
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BubelHG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BubelHG11
Richard Bubel, Reiner Hähnle, Ulrich Geilmann:
A Formalisation of Java Strings for Program Specification and Verification. 90-105
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/CastroKAA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/CastroKAA11
Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre:
dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification. 106-121
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/CrespoK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/CrespoK11
Juan Manuel Crespo, César Kunz:
A Machine-Checked Framework for Relational Separation Logic. 122-137
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/ParrinoGGF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/ParrinoGGF11
Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias:
A Dataflow Analysis to Improve SAT-Based Bounded Program Verification. 138-154
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/VriesK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/VriesK11
Edsko de Vries, Vasileios Koutavas:
Reverse Hoare Logic. 155-171
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/EggersRNF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/EggersRNF11
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
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/ErnstSR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/ErnstSR11
Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif:
Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving. 188-203
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/FalconeJNBB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/FalconeJNBB11
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem:
Runtime Verification of Component-Based Systems. 204-220
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/GarisCR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/GarisCR11
Ana Gabriela Garis, Alcino Cunha, Daniel Riesco:
Translating Alloy Specifications to UML Class Diagrams Annotated with OCL. 221-236
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/HildebrandtMS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/HildebrandtMS11
Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats:
Safe Distribution of Declarative Processes. 237-252
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/JacquelBDD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/JacquelBDD11
Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois:
Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving. 253-268
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/MadeiraFMB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/MadeiraFMB11
Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa:
Hybrid Specification of Reactive Systems: An Institutional Approach. 269-285
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/MoriLDID11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/MoriLDID11
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
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/MorseCNF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/MorseCNF11
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer:
Context-Bounded Model Checking of LTL Properties for ANSI-C Software. 302-317
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/MuscheviciPC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/MuscheviciPC11
Radu Muschevici, José Proença, Dave Clarke:
Modular Modelling of Software Product Lines with Feature Nets. 318-333
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/NorooziKMW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/NorooziKMW11
Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse:
Synchronizing Asynchronous Conformance Testing. 334-349
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/OnoHTNH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/OnoHTNH11
Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya:
Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. 350-365
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/SoleimanifardGH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/SoleimanifardGH11
Siavash Soleimanifard, Dilian Gurov, Marieke Huisman:
ProMoVer: Modular Verification of Temporal Safety Properties. 366-381
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/TschannenFNM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/TschannenFNM11
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

- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Boender11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Boender11
Jaap Boender:
Efficient Computation of Dominance in Component Systems (Short Paper). 399-406

Tool Papers

- view
  authority control:
- export record
  dblp key:
  - conf/sefm/GouesLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/GouesLM11
Claire Le Goues, K. Rustan M. Leino, Michal Moskal:
The Boogie Verification Debugger (Tool Paper). 407-414
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/FadlisyahOA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/FadlisyahOA11
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"

- view
  authority control:
- export record
  dblp key:
  - conf/sefm/CorralC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/CorralC11
Jorge Corral, Daniel Calegari:
Towards an Agent-Based Methodology for Developing Agro-Ecosystem Simulations. 431-446
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Pedercini11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Pedercini11a
Matteo Pedercini:
Development Policy Analysis in Mali: Sustainable Growth Prospects. 447-463
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Sanchez11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Sanchez11
Marisa Analía Sánchez:
Using System Dynamics to Assess the Role of Socio-economic Status in Tuberculosis Incidence. 464-475
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/TongQ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/TongQ11
Hefeng Tong, Weishuang Qu:
Energy Consumption and CO2 Emissions of Beijing Heating System: Based on a System Dynamics Model. 476-485
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/TongSJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/TongSJ11
Jin Tong, Siraj A. Shaikh, Anne E. James:
A Formal Approach to Analysing Knowledge Transfer Processes in Developing Countries. 486-501

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.