default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th IFM 2012: Pisa, Italy
- John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne:
Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Lecture Notes in Computer Science 7321, Springer 2012, ISBN 978-3-642-30728-7 - Egon Börger, Antonio Cisternino
, Vincenzo Gervasi:
Contribution to a Rigorous Analysis of Web Application Frameworks. 1-20 - Muffy Calder, Michele Sevegnani:
Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management. 21-23 - Dominik Hansen, Michael Leuschel:
Translating TLA + to B for Validation with ProB. 24-38 - Brijesh Dongol, Ian J. Hayes:
Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands. 39-53 - Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach:
Safety and Line Capacity in Railways - An Approach in Timed CSP. 54-68 - Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain:
Refinement-Based Development of Timed Systems. 69-83 - Tim Blackmore, David Halliwell, Philip Barker, Kerstin Eder, Naresh Ramaram:
Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports. 84-98 - Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson:
Model Checking as Static Analysis: Revisited. 99-112 - Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard:
Formal Verification of Compiler Transformations on Polychronous Equations. 113-127 - Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro, Arilo Dias Neto:
Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. 128-142 - Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham:
MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. 143-157 - Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi:
Mechanized Extraction of Topology Anti-patterns in Wireless Networks. 158-173 - Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen:
A Proof Framework for Concurrent Programs. 174-190 - Riccardo Bresciani, Andrew Butterfield:
A UTP Semantics of pGCL as a Homogeneous Relation. 191-205 - HaiYun Tian, Phillip J. Brooke, Anne-Gwenn Bosser:
Behaviour-Based Cheat Detection in Multiplayer Games with Event-B. 206-220 - Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu:
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. 221-236 - Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis:
Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. 237-252 - Jasen Markovski, Dirk A. van Beek, Jos C. M. Baeten:
Partially-Supervised Plants: Embedding Control Requirements in Plant Components. 253-267 - Jozef Hooman, Arjan J. Mooij, Hans van Wezep:
Early Fault Detection in Industry Using Models at Various Abstraction Levels. 268-282 - Ran Ji, Richard Bubel:
PE-KeY: A Partial Evaluator for Java Programs. 283-295 - Francisco Rebello de Andrade, João Pascoal Faria, Antónia Lopes, Ana C. R. Paiva:
Specification-Driven Unit Test Generation for Java Generic Classes. 296-311 - Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco:
Specifying UML Protocol State Machines in Alloy. 312-326 - Dennis M. M. Schunselaar, Fabrizio Maria Maggi, Natalia Sidorova:
Patterns for a Log-Based Strengthening of Declarative Compliance Models. 327-342 - Camilo Rocha, Héctor Cadavid, César A. Muñoz, Radu Siminiceanu:
A Formal Interactive Verification Environment for the Plan Execution Interchange Language. 343-357
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-12-02 21:14 CET 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:
