Abstract is missing.
- Formal Methods in Energy InformaticsHolger Hermanns. 1-2 [doi]
- Formal Methods as a Link between Software Code and Legal RulesDaniel Le Métayer. 3-18 [doi]
- Developing Model-Checking Mechanisms for ASSL: An Experience ReportEmil Vassev, Mike Hinchey. 19-34 [doi]
- Models and Communication in the Policy ProcessMatteo Pedercini. 35-37 [doi]
- Distributed Implementation of Systems with Multiparty Interactions and PrioritiesImene Ben Hafaiedh, Susanne Graf, Nejla Mazouz. 38-57 [doi]
- Verification of PLC Properties Based on Formal Semantics in CoqJan Olaf Blech, Sidi Ould Biha. 58-73 [doi]
- Broadcast Psi-calculi with an Application to Wireless ProtocolsJohannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, Joachim Parrow. 74-89 [doi]
- A Formalisation of Java Strings for Program Specification and VerificationRichard Bubel, Reiner Hähnle, Ulrich Geilmann. 90-105 [doi]
- dCTL: A Branching Time Temporal Logic for Fault-Tolerant System VerificationPablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre. 106-121 [doi]
- A Machine-Checked Framework for Relational Separation LogicJuan Manuel Crespo, César Kunz. 122-137 [doi]
- A Dataflow Analysis to Improve SAT-Based Bounded Program VerificationBruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias. 138-154 [doi]
- Reverse Hoare LogicEdsko de Vries, Vasileios Koutavas. 155-171 [doi]
- Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure MethodsAndreas Eggers, Nacim Ramdani, Nedialko Nedialkov, Martin Fränzle. 172-187 [doi]
- Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem ProvingGidon Ernst, Gerhard Schellhorn, Wolfgang Reif. 188-203 [doi]
- Runtime Verification of Component-Based SystemsYliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem. 204-220 [doi]
- Translating Alloy Specifications to UML Class Diagrams Annotated with OCLAna Gabriela Garis, Alcino Cunha, Daniel Riesco. 221-236 [doi]
- Safe Distribution of Declarative ProcessesThomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats. 237-252 [doi]
- Verifying B Proof Rules Using Deep Embedding and Automated Theorem ProvingMélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois. 253-268 [doi]
- Hybrid Specification of Reactive Systems: An Institutional ApproachAlexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa. 269-285 [doi]
- Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive SystemsMarco Mori, Fei Li, Christoph Dorn, Paola Inverardi, Schahram Dustdar. 286-301 [doi]
- Context-Bounded Model Checking of LTL Properties for ANSI-C SoftwareJeremy Morse, Lucas Cordeiro, Denis Nicole, Bernd Fischer 0002. 302-317 [doi]
- Modular Modelling of Software Product Lines with Feature NetsRadu Muschevici, José Proença, Dave Clarke. 318-333 [doi]
- Synchronizing Asynchronous Conformance TestingNeda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse. 334-349 [doi]
- Using Coq in Specification and Program Extraction of Hadoop MapReduce ApplicationsKosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya. 350-365 [doi]
- ProMoVer: Modular Verification of Temporal Safety PropertiesSiavash Soleimanifard, Dilian Gurov, Marieke Huisman. 366-381 [doi]
- Usable Verification of Object-Oriented Programs by Combining Static and Dynamic TechniquesJulian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer. 382-398 [doi]
- Efficient Computation of Dominance in Component Systems (Short Paper)Jaap Boender. 399-406 [doi]
- The Boogie Verification Debugger (Tool Paper)Claire Le Goues, K. Rustan M. Leino, Michal Moskal. 407-414 [doi]
- Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-MaudeMuhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám. 415-430 [doi]
- Towards an Agent-Based Methodology for Developing Agro-Ecosystem SimulationsJorge Corral, Daniel Calegari. 431-446 [doi]
- Development Policy Analysis in Mali: Sustainable Growth ProspectsMatteo Pedercini. 447-463 [doi]
- Using System Dynamics to Assess the Role of Socio-economic Status in Tuberculosis IncidenceMarisa Analía Sánchez. 464-475 [doi]
- Energy Consumption and CO2 Emissions of Beijing Heating System: Based on a System Dynamics ModelHefeng Tong, Weishuang Qu. 476-485 [doi]
- A Formal Approach to Analysing Knowledge Transfer Processes in Developing CountriesJin Tong, Siraj A. Shaikh, Anne E. James. 486-501 [doi]