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. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dipak L. Chaudhari, Om P. Damani |
Automated Theorem Prover Assisted Program Calculations. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lucian M. Patcas, Mark Lawford, Tom Maibaum |
A Separation Principle for Embedded System Interfacing. |
IFM |
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. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo |
Modeling UML Template Classes with FoCaLiZe. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hadrien Bride, Olga Kouchnarenko, Fabien Peureux |
Verifying Modal Workflow Specifications Using Constraint Solving. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams |
Managing LTL Properties in Event-B Refinement. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Graeme Smith 0001, Brijesh Dongol |
Verifying Linearizability on TSO Architectures. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back |
Proofs and Refutations in Invariant-Based Programming. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Gilmore, Mirco Tribastone, Andrea Vandin |
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. |
IFM |
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. |
IFM |
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 |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif |
A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hentschel 0002, Stefan Käsdorf, Reiner Hähnle, Richard Bubel |
An Interactive Verification Tool Meets an IDE. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Kordy, Marc Pouly, Patrick Schweitzer |
A Probabilistic Framework for Security Scenarios with Dependent Actions. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yael Meller, Orna Grumberg, Karen Yorav |
Verifying Behavioral UML Systems via CEGAR. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Christine Jakobs, Marco Platzner, Heike Wehrheim, Tobias Wiersema |
Integrating Software and Hardware Verification. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco 0001 |
Towards a Formal Semantics-Based Technique for Interprocedural Slicing. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson |
Formal Security Analysis of the MaCAN Protocol. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sophia Drossopoulou, James Noble 0001 |
How to Break the Bank: Semantics of Capability Policies. |
IFM |
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. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Susanne Graf, Sophie Quinton |
Knowledge for the Distributed Implementation of Constrained Systems. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dorel Lucanu, Vlad Rusu |
Program Equivalence by Circular Reasoning. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fu Song, Tayssir Touili |
Model-Checking Software Library API Usage Rules. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Gava, Jean Fortin, Michaël Guedj |
Deductive Verification of State-Space Algorithms. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Murat Moran, James Heather, Steve A. Schneider |
Automated Anonymity Verification of the ThreeBallot Voting System. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Simon Hudon, Thai Son Hoang |
Systems Design Guided by Progress Concerns. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christian Prehofer |
Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Ciobaca |
From Small-Step Semantics to Big-Step Semantics, Automatically. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Vigo, Flemming Nielson, Hanne Riis Nielson |
Broadcast, Denial-of-Service, and Secure Communication. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Raymond Abrial |
From Z to B and then Event-B: Assigning Proofs to Meaningful Programs. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu 0001 |
Verification of EB3 Specifications Using CADP. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kim Guldstrand Larsen |
Priced Timed Automata and Statistical Model Checking. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth Lausdahl |
Translating VDM to Alloy. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Aymerick Savary, Marc Frappier, Jean-Louis Lanet |
Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing. |
IFM |
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. |
IFM |
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. |
IFM |
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 |
IFM |
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. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ernst-Rüdiger Olderog, Mani Swaminathan |
Structural Transformations for Data-Enriched Real-Time Systems. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rimvydas Ruksenas, Paul Curzon, Michael D. Harrison |
Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Morgenstern, Manuel Gesell, Klaus Schneider 0001 |
Solving Games Using Incremental Induction. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cosimo Laneve, Luca Padovani |
An Algebraic Theory for Web Service Contracts. |
IFM |
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. |
IFM |
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. |
IFM |
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. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez |
Quantified Abstractions of Distributed Systems. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ramsay Taylor, Kirill Bogdanov 0002, John Derrick |
Automatic Inference of Erlang Module Behaviour. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Méry, Michael Poppleton |
Formal Modelling and Verification of Population Protocols. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Vivien Millo, S. Ramesh 0002, Shankara Narayanan Krishna, Ganesh Khandu Narwane |
Compositional Verification of Software Product Lines. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Ishii, Guillaume Melquiond, Shin Nakajima 0001 |
Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus. |
IFM |
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. |
IFM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |
Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. |
IFM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Bresciani, Andrew Butterfield |
A UTP Semantics of pGCL as a Homogeneous Relation. |
IFM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
A Proof Framework for Concurrent Programs. |
IFM |
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. |
IFM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | HaiYun Tian, Phillip J. Brooke, Anne-Gwenn Bosser |
Behaviour-Based Cheat Detection in Multiplayer Games with Event-B. |
IFM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Brijesh Dongol, Ian J. Hayes |
Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands. |
IFM |
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. |
IFM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi 0001 |
Mechanized Extraction of Topology Anti-patterns in Wireless Networks. |
IFM |
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. |
IFM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ran Ji, Richard Bubel |
PE-KeY: A Partial Evaluator for Java Programs. |
IFM |
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. |
IFM |
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. |
IFM |
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. |
IFM |
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. |
IFM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain |
Refinement-Based Development of Timed Systems. |
IFM |
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. |
IFM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco |
Specifying UML Protocol State Machines in Alloy. |
IFM |
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. |
IFM |
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. |
IFM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Hansen, Michael Leuschel |
Translating TLA + to B for Validation with ProB. |
IFM |
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 |
IFM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Egon Börger, Antonio Cisternino, Vincenzo Gervasi |
Contribution to a Rigorous Analysis of Web Application Frameworks. |
IFM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Muffy Calder, Michele Sevegnani |
Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management. |
IFM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson |
Model Checking as Static Analysis: Revisited. |
IFM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar S. Dimovski |
A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Specification and Verification of Model Transformations Using UML-RSDS. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, Michael D. Wilson |
An Event-B Approach to Data Sharing Agreements. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Radu Mateescu 0001, Gwen Salaün |
Translating Pi-Calculus into LOTOS NT. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Thi Mai Thuong Tran, Martin Steffen |
Safe Commits for Transactional Featherweight Java. |
IFM |
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. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Marrone 0001, Camilla Papa, Valeria Vittorini |
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |
Towards Probabilistic Modelling in Event-B. |
IFM |
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. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Serge Autexier, Christoph Lüth |
Adding Change Impact Analysis to the Formal Verification of C Programs. |
IFM |
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. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hanifa Boucheneb, Abdessamad Imine, Manal Najem |
Symbolic Model-Checking of Optimistic Replication Algorithms. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pontus Boström |
Creating Sequential Programs from Event-B Models. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Joshi |
Programming with Miracles. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Daum 0001, Norbert Schirmer, Mareike Schmidt |
From Operating-System Correctness to Pervasively Verified Applications. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sorin Stratulat |
Integrating Implicit Induction Proofs into Certified Proof Environments. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Steve A. Schneider, Helen Treharne, Heike Wehrheim |
A CSP Approach to Control in Event-B. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier |
On Model Checking Techniques for Randomized Distributed Systems. |
IFM |
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. |
IFM |
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. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans |
Automatic Verification of Parametric Specifications with Complex Topologies. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
A Logical Framework to Deal with Variability. |
IFM |
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 |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Faber |
Verification Architectures: Compositional Reasoning for Real-Time Systems. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|