Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe |
A Hybrid Analysis for Security Protocols with State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 272-287, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dipak L. Chaudhari, Om P. Damani |
Automated Theorem Prover Assisted Program Calculations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 205-220, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lucian M. Patcas, Mark Lawford, Tom Maibaum |
A Separation Principle for Embedded System Interfacing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 373-388, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger |
Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 3-17, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo |
Modeling UML Template Classes with FoCaLiZe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 87-102, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hadrien Bride, Olga Kouchnarenko, Fabien Peureux |
Verifying Modal Workflow Specifications Using Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 171-186, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams |
Managing LTL Properties in Event-B Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 221-237, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Graeme Smith 0001, Brijesh Dongol |
Verifying Linearizability on TSO Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 341-356, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back |
Proofs and Refutations in Invariant-Based Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 189-204, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Gilmore, Mirco Tribastone, Andrea Vandin |
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 71-86, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Asieh Salehi Fathabadi, Colin F. Snook, Michael J. Butler |
Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 120-135, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Emil Sekerinski (eds.) |
Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![Springer, 978-3-319-10180-4 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif |
A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 357-372, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hentschel 0002, Stefan Käsdorf, Reiner Hähnle, Richard Bubel |
An Interactive Verification Tool Meets an IDE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 55-70, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Kordy, Marc Pouly, Patrick Schweitzer |
A Probabilistic Framework for Security Scenarios with Dependent Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 256-271, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yael Meller, Orna Grumberg, Karen Yorav |
Verifying Behavioral UML Systems via CEGAR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 139-154, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Christine Jakobs, Marco Platzner, Heike Wehrheim, Tobias Wiersema |
Integrating Software and Hardware Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 307-322, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco 0001 |
Towards a Formal Semantics-Based Technique for Interprocedural Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 291-306, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson |
Formal Security Analysis of the MaCAN Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 241-255, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sophia Drossopoulou, James Noble 0001 |
How to Break the Bank: Semantics of Capability Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 18-35, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Vinícius Medeiros Oliveira, Augusto C. A. Sampaio, Madiel S. Conserva Filho |
Model-Checking Circus State-Rich Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 39-54, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Susanne Graf, Sophie Quinton |
Knowledge for the Distributed Implementation of Constrained Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 77-93, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dorel Lucanu, Vlad Rusu |
Program Equivalence by Circular Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 362-377, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fu Song, Tayssir Touili |
Model-Checking Software Library API Usage Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 192-207, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Gava, Jean Fortin, Michaël Guedj |
Deductive Verification of State-Space Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 124-138, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Murat Moran, James Heather, Steve A. Schneider |
Automated Anonymity Verification of the ThreeBallot Voting System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 94-108, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Simon Hudon, Thai Son Hoang |
Systems Design Guided by Progress Concerns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 16-30, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christian Prehofer |
Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 31-45, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Ciobaca |
From Small-Step Semantics to Big-Step Semantics, Automatically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 347-361, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Vigo, Flemming Nielson, Hanne Riis Nielson |
Broadcast, Denial-of-Service, and Secure Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 412-427, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Raymond Abrial |
From Z to B and then Event-B: Assigning Proofs to Meaningful Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 1-15, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu 0001 |
Verification of EB3 Specifications Using CADP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 61-76, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kim Guldstrand Larsen |
Priced Timed Automata and Statistical Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 154-161, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth Lausdahl |
Translating VDM to Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 46-60, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Aymerick Savary, Marc Frappier, Jean-Louis Lanet |
Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 223-237, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong |
Deadlock Analysis of Concurrent Objects: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 394-411, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shuang Liu 0007, Yang Liu 0003, Étienne André, Christine Choppy, Jun Sun 0001, Bimlesh Wadhwa, Jin Song Dong |
A Formal Semantics for Complete UML State Machines with Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 331-346, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Einar Broch Johnsen, Luigia Petre (eds.) |
Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![Springer, 978-3-642-38612-1 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh 0001 |
Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 268-284, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ernst-Rüdiger Olderog, Mani Swaminathan |
Structural Transformations for Data-Enriched Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 378-393, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rimvydas Ruksenas, Paul Curzon, Michael D. Harrison |
Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 238-252, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Morgenstern, Manuel Gesell, Klaus Schneider 0001 |
Solving Games Using Incremental Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 177-191, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cosimo Laneve, Luca Padovani |
An Algebraic Theory for Web Service Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 301-315, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha |
A Compositional Automata-Based Semantics for Property Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 316-330, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre |
Characterizing Fault-Tolerant Systems by Means of Simulation Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 428-442, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Songzheng Song, Lin Gui 0002, Jun Sun 0001, Yang Liu 0003, Jin Song Dong |
Improved Reachability Analysis in DTMC via Divide and Conquer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 162-176, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez |
Quantified Abstractions of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 285-300, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ramsay Taylor, Kirill Bogdanov 0002, John Derrick |
Automatic Inference of Erlang Module Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 253-267, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Méry, Michael Poppleton |
Formal Modelling and Verification of Population Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 208-222, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Vivien Millo, S. Ramesh 0002, Shankara Narayanan Krishna, Ganesh Khandu Narwane |
Compositional Verification of Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 109-123, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Ishii, Guillaume Melquiond, Shin Nakajima 0001 |
Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 139-153, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham |
MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 143-157, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |
Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 237-252, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Bresciani, Andrew Butterfield |
A UTP Semantics of pGCL as a Homogeneous Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 191-205, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
A Proof Framework for Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 174-190, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 84-98, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | HaiYun Tian, Phillip J. Brooke, Anne-Gwenn Bosser |
Behaviour-Based Cheat Detection in Multiplayer Games with Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 206-220, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Brijesh Dongol, Ian J. Hayes |
Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 39-53, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dennis M. M. Schunselaar, Fabrizio Maria Maggi, Natalia Sidorova |
Patterns for a Log-Based Strengthening of Declarative Compliance Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 327-342, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi 0001 |
Mechanized Extraction of Topology Anti-patterns in Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 158-173, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jozef Hooman, Arjan J. Mooij, Hans van Wezep |
Early Fault Detection in Industry Using Models at Various Abstraction Levels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 268-282, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ran Ji, Richard Bubel |
PE-KeY: A Partial Evaluator for Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 283-295, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach |
Safety and Line Capacity in Railways - An Approach in Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 54-68, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Rebello de Andrade, João Pascoal Faria, Antónia Lopes, Ana C. R. Paiva |
Specification-Driven Unit Test Generation for Java Generic Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 296-311, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Camilo Rocha, Héctor Cadavid, César A. Muñoz, Radu Siminiceanu |
A Formal Interactive Verification Environment for the Plan Execution Interchange Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 343-357, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard |
Formal Verification of Compiler Transformations on Polychronous Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 113-127, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain |
Refinement-Based Development of Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 69-83, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro, Arilo Dias Neto |
Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 128-142, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco |
Specifying UML Protocol State Machines in Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 312-326, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu |
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 221-236, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jasen Markovski, Dirk A. van Beek, Jos C. M. Baeten |
Partially-Supervised Plants: Embedding Control Requirements in Plant Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 253-267, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Hansen, Michael Leuschel |
Translating TLA + to B for Validation with ProB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 24-38, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (eds.) |
Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![Springer, 978-3-642-30728-7 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Egon Börger, Antonio Cisternino, Vincenzo Gervasi |
Contribution to a Rigorous Analysis of Web Application Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 1-20, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Muffy Calder, Michele Sevegnani |
Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 21-23, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson |
Model Checking as Static Analysis: Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 99-112, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar S. Dimovski |
A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 121-135, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Specification and Verification of Model Transformations Using UML-RSDS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 199-214, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, Michael D. Wilson |
An Event-B Approach to Data Sharing Agreements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 28-42, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Radu Mateescu 0001, Gwen Salaün |
Translating Pi-Calculus into LOTOS NT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 229-244, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Thi Mai Thuong Tran, Martin Steffen |
Safe Commits for Transactional Featherweight Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 290-304, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau |
Systematic Translation Rules from astd to Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 245-259, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Marrone 0001, Camilla Papa, Valeria Vittorini |
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 215-228, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |
Towards Probabilistic Modelling in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 275-289, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Fränzle, Tino Teige, Andreas Eggers |
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 168-182, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Serge Autexier, Christoph Lüth |
Adding Change Impact Analysis to the Formal Verification of C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 59-73, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Javier de Dios, Manuel Montenegro, Ricardo Peña |
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 305-319, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hanifa Boucheneb, Abdessamad Imine, Manal Najem |
Symbolic Model-Checking of Optimistic Replication Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 89-104, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pontus Boström |
Creating Sequential Programs from Event-B Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 74-88, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Joshi |
Programming with Miracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 27, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Daum 0001, Norbert Schirmer, Mareike Schmidt |
From Operating-System Correctness to Pervasively Verified Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 105-120, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sorin Stratulat |
Integrating Implicit Induction Proofs into Certified Proof Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 320-335, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Steve A. Schneider, Helen Treharne, Heike Wehrheim |
A CSP Approach to Control in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 260-274, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier |
On Model Checking Techniques for Randomized Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 1-11, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef, Sune Wolff |
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 12-26, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Hülsbusch, Barbara König 0001, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim |
Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 183-198, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans |
Automatic Verification of Parametric Specifications with Complex Topologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 152-167, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
A Logical Framework to Deal with Variability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 43-58, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Méry, Stephan Merz (eds.) |
Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![Springer, 978-3-642-16264-0 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Faber |
Verification Architectures: Compositional Reasoning for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 136-151, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|