| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mathias Hülsbusch, Barbara König, 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 | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |
Towards Probabilistic Modelling 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 Pierce, Marcel Verhoef, Sune Wolff |
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. |
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 | Aleksandar Dimovski |
A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Joshi |
Programming with Miracles. |
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 | Sorin Stratulat |
Integrating Implicit Induction Proofs into Certified Proof Environments. |
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 | Radu Mateescu, Gwen Salaün |
Translating Pi-Calculus into LOTOS NT. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pontus Boström |
Creating Sequential Programs from Event-B Models. |
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 | Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans |
Automatic Verification of Parametric Specifications with Complex Topologies. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Daum, Norbert Schirmer, Mareike Schmidt |
From Operating-System Correctness to Pervasively Verified Applications. |
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 | Johannes Faber |
Verification Architectures: Compositional Reasoning for Real-Time Systems. |
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 | Serge Autexier, Christoph Lüth |
Adding Change Impact Analysis to the Formal Verification of C Programs. |
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 | Steve Schneider, Helen Treharne, Heike Wehrheim |
A CSP Approach to Control in Event-B. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Marrone, Camilla Papa, Valeria Vittorini |
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Weiß |
Predicate Abstraction in a Program Logic Calculus. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zarrin Langari, Richard J. Trefler |
Application of Graph Transformation in Verification of Dynamic Systems. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Osman Hasan, Naeem Abbasi, Sofiène Tahar |
Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon J. Pace, Gerardo Schneider |
Challenges in the Specification of Full Contracts. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Ana Cavalcanti |
Mechanised Translation of Control Law Diagrams into Circus. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
ClawZ, verification, CSP, Z, Simulink |
| 1 | Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen |
Incremental Reasoning for Multiple Inheritance. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Lämmel, Vadim Zaytsev |
An Introduction to Grammar Convergence. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün, Tevfik Bultan |
Realizability of Choreographies Using Process Algebra Encodings. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cabot, Robert Clarisó, Daniel Riera |
Verifying UML/OCL Operation Contracts. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu |
Dynamic Path Reduction for Software Model Checking. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Voss, Maria Sorea, Klaus Echtle |
SAL-Based Symbolic Scheduling in Time-Triggered Networks. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérémy Milhau, Benoît Fraikin, Marc Frappier |
Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook |
Taming the Unbounded for Hardware Synthesis. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thang H. Bui, Albert Nymeyer |
Formal Verification Based on Guided Random Walks. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Heike Wehrheim (eds.) |
Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George |
Model Checking LTL Formulae in RAISE with FDR. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
model checking, formal methods, refinement, tools, CSP, LTL, FDR, RAISE, RSL |
| 1 | Eerke A. Boiten, John Derrick |
Modelling Divergence in Relational Concurrent Refinement. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
internal operations, process algebraic refinement preorders, simulations, divergence, Data refinement |
| 1 | Jan Stöcker, Frédéric Lang, Hubert Garavel |
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider, Helen Treharne |
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Astrid Rakow |
Decompositional Petri Net Reductions. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial |
Developing Topology Discovery in Event-B. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes |
CSP with Hierarchical State. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Butler |
Decomposition Structures for Event-B. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova |
Partial Order Reduction for State/Event LTL. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. H. Wong, Jeremy Gibbons |
Property Specifications for Workflow Modelling. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Osman Hasan, Sofiène Tahar |
Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
Higher-Order-Logic, Interactive Theorem Proving, HOL, Probabilistic Systems, Cumulative Distribution Function |
| 1 | Jim Davies, Jeremy Gibbons (eds.) |
Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings |
IFM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Robert Colvin, Lars Grunske, Kirsten Winter |
Probabilistic Timed Behavior Trees. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
model checking, probabilities, timed automata, Behavior Trees |
| 1 | Yifeng Chen |
Inheriting Laws for Processes with States. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink |
Co-simulation of Distributed Embedded Real-Time Control Systems. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
VDM++, simulation, continuous time, bond graphs, discrete event |
| 1 | Jifeng He |
UTP Semantics for Web Services. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Larissa Meinicke, Graeme Smith |
A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
reliability, real-time, probability, refinement, action systems |
| 1 | Hendrik Post, Wolfgang Küchlin |
Integrated Static Analysis for Linux Device Driver Verification. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans |
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hallerstede, Thai Son Hoang |
Qualitative Probabilistic Modelling in Event-B. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Dunne, Andy Galloway |
Lifting General Correctness into Partial Correctness is ok. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Metzler |
Decomposing Integrated Specifications for Verification. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
Integrated Formal Specifications, Model Checking, Decomposition, Program Slicing, Compositional Verification |
| 1 | Daniel Sinnig, Patrice Chalin, Ferhat Khendek |
Common Semantics for Use Cases and Task Models. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
requirements, Use cases, task models, formal semantics, labeled transition systems, partial order sets |
| 1 | Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi |
Automated Verification of Security Policies in Mobile Code. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobe Toben |
Non-interference Properties for Data-Type Reduction of Communicating Systems. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Butterfield, Adnan Sherif, Jim Woodcock |
Slotted-Circus. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Au, Roger Stone, John Cooke |
Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
precise scenario, formal method, use case, requirements specification, Z notation |
| 1 | Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi |
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee |
Translating FSP into LOTOS and Networks of Automata. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang |
Verification of Multi-agent Negotiations Using the Alloy Analyzer. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik |
Finding State Solutions to Temporal Logic Queries. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christie Marr |
Capturing Conflict and Confusion in CSP. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
Interleaving Concurrency, Petri Nets, CSP, Conflict, Automatic Verification, True Concurrency, Confusion |
| 1 | Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader |
Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Couchot, Frédéric Dadeau |
Guiding the Correction of Parameterized Specifications. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova |
Bug Hunting with False Negatives. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse |
Integrating Verification, Testing, and Learning for Cryptographic Protocols. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Cavarra, James Welch |
Behavioural Specifications from Class Models. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Plagge, Michael Leuschel |
Validating Z Specifications Using the ProBAnimator and Model Checker. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Proving Linearizability Via Non-atomic Refinement. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
refinement, CSP, Object-Z, linearizability, concurrent access |
| 1 | Damien Karkinsky, Steve A. Schneider, Helen Treharne |
Combining Mobility with State. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Anthony Smith, Jeremy Gibbons |
Unifying Theories of Objects. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazareno Aguirre, Germán Regis, T. S. E. Maibaum |
Verifying Temporal Properties of CommUnity Designs. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn |
Verifying Smart Card Applications: An ASM Approach. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Brückner |
Slicing Concurrent Real-Time System Specifications for Verification. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Lorge Parnas |
A Family of Mathematical Methods for Professional Software Documentation. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kun Wei, James Heather |
Embedding the Stable Failures Model of CSP in PVS. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
CSP, deadlock, determinism, liveness, theorem prover |
| 1 | Vitus S. W. Lam, Julian A. Padget |
Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Judi Romijn, Graeme Smith, Jaco van de Pol (eds.) |
Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings |
IFM |
2005 |
DBLP BibTeX RDF |
|
| 1 | Pontus Boström, Marina A. Waldén |
Development of Fault Tolerant Grid Applications Using Distributed B. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
Fault tolerance, Grid computing, Domain specific languages, Language extensions, Event B, Stepwise development |
| 1 | Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith |
State/Event Software Verification for Branching-Time Specifications. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
Concurrent Software Model Checking, State/Event-based Verification, Branching-time Temporal Logic, Automated Abstraction Refinement |
| 1 | Patrice Godefroid, Nils Klarlund |
Software Model Checking: Searching for Computations in the Abstract or the Concrete. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Héctor Ruíz Barradas, Didier Bert |
A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
unity logic, weak fairness, minimal progress, set transformer, fairness, action systems, Liveness properties, fixpoints, event systems |
| 1 | Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter |
An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
Automated Hazard Analysis, High-Level Design Specification, Model Checking, FMEA, SAL, Behavior Trees |
| 1 | Shane Bracher, Padmanabhan Krishnan |
Enabling Security Testing from Specification to Code. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
protocol descriptions, concrete test sequences, model-based testing, security modelling |
| 1 | Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières |
Consistency in UML and B Multi-view Specifications. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
UML, verification, consistency, operator, B, multi-view |
| 1 | Gwen Salaün, Wendelin Serwe |
Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Miller, Leo Freitas, Petra Malik, Mark Utting |
CZT Support for Z Extensions. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
Standard Z, typechecking, animation, framework, design patterns, parsing, Object-Z, AST, TCOZ |
| 1 | Kenneth J. Turner |
Formalising Interactive Voice Services with SDL. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
IVR (Interactive Voice Response), SDL (Specification and Description Language), VoiceXML (Voice eXtensible Markup Language), Service, Feature |
| 1 | Robi Malik, Partha S. Roop |
Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
embedded systems, Formal verification, finite-state machines, bisimulation, supervisory control, specification matching |
| 1 | Richard F. Paige, Phillip J. Brooke |
Agile Formal Method Engineering. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard |
Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
Model-driven prototyping, mobile ad-hoc network, animation, Coloured Petri Nets |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")