Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Steve Dunne |
Understanding Object-Z Operations as Generalised Substitutions. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jim Woodcock 0001, Ana Cavalcanti 0001 |
A Tutorial Introduction to Designs in Unifying Theories of Programming. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ana Fernández Vilas, José Juan Pazos-Arias, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Jorge García Duque |
A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Geguang Pu, Dang Van Hung, Jifeng He 0001, Wang Yi 0001 |
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
timed automata, scheduling algorithm, reachability, Hardware/software partitioning |
1 | Raymond T. Boute |
Integrating Formal Methods by Unifying Abstractions. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Marius C. Bujorianu |
Integration of Specification Languages Using Viewpoints. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
Language integration, process algebra, Z, type theory, viewpoints, category theory |
1 | Thomas F. Melham |
Integrating Model Checking and Theorem Proving in a Reflective Functional Language. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tim A. C. Willemse |
Embeddings of Hybrid Automata in Process Algebra. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
CRLt, Real-Time Systems, Hybrid Systems, Process Algebra, Expressive Power, Hybrid Automata |
1 | Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim |
Linking CSP-OZ with UML and Java: A Case Study. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
Java, UML, CSP, assertions, Object-Z, runtime checking |
1 | Simon Pickin 0001, Jean-Marc Jézéquel |
Using UML Sequence Diagrams as the Basis for a Formal Test Description Language. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yifeng Chen, Zhiming Liu 0001 |
Integrating Temporal Logics. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Lano, David Clark 0001, Kelly Androutsopoulos |
From Implicit Specifications to Explicit Designs in Reactive System Development. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
B AMN, RSDS, model-checking, UML, Reactive Systems |
1 | Héctor Ruíz Barradas, Didier Bert |
Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jörg Kreowski |
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Katerina Korenblat, Orna Grumberg, Shmuel Katz |
Translations between Textual Transition Systems and Petri Nets. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
textual transition systems, structure and semantics preservation, Petri nets, model translations |
1 | Graeme Smith |
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Shmuel Katz, Orna Grumberg |
A Framework for Translating Models and Specifications. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kirsten Winter, Roger Duke |
Model Checking Object-Z Using ASM. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
language transformation, automated tool support, model checking, Abstract State Machines, Object-Z |
1 | Emil Sekerinski, Rafik Zurob |
Translating Statecharts to B. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jochen Hoenicke, Ernst-Rüdiger Olderog |
Combining Specification Techniques for Processes, Data and Time. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
transformational semantic, model-checking, CSP, Object-Z, real-time processes, FDR, Duration Calculus, UPPAAL |
1 | Stuart Kent 0001 |
Model Driven Engineering. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Valery A. Nepomniaschy, Nikolay V. Shilov 0002, Evgeny V. Bodin, Vitaly E. Kozura |
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Eran Gery, David Harel, Eldad Palachi |
Rhapsody: A Complete Life-Cycle Model-Based Development System. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford |
Formally Linking MDG and HOL Based on a Verified MDG System. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
hybrid verification systems, deductive theorem proving, symbolic state enumeration, usability verification, hardware verification |
1 | Phillip J. Brooke, Richard F. Paige |
The Design of a Tool-Supported Graphical Notation for Timed CSP. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
process algebra, tool support, graphical notation, Timed CSP |
1 | Michael J. Butler, Luigia Petre, Kaisa Sere (eds.) |
Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings |
IFM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Natalia López, Manuel Núñez 0001, Fernando Rubio 0001 |
Stochastic Process Algebras Meet Eden. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
functional programming, Process algebras |
1 | Christie Bolton, Jim Davies |
Refinement in Object-Z and CSP. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar |
Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
SPW, Theorem-Proving, Signal Processing, Floating-point, Fixed-point, HOL |
1 | Hung Ledang, Jeanine Souquières |
Contributions for Modelling UML State-Charts in B. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
class operation, B abstract machine, B operation, UML, event, activity, B method, state-chart |
1 | Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo |
Combining Graphical and Formal Development of Open Distributed Systems. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Zulkernine, Rudolph E. Seviora |
Assume-Guarantee Algorithms for Automatic Detection of Software Failures. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
applied formal methods, Software reliability, compositionality, failure detection, online monitoring |
1 | Czeslaw Jeske, Richard Banach |
Minimally and Maximally Abstract Retrenchments. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
Integration, Refinement, Retrenchment |
1 | Eric Meyer, Thomas Santen |
Behavioral Conformance Verification in an Integrated Approach Using UML and B. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | H. B. M. Jonkers |
ISpec: Towards Practical and Sound Interface Specifications. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Fischer 0002, Stefan Conrad 0001 |
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
hardware and software design, relational semantics, formal semantics, dynamic logic, timing diagrams, integrated verification, causal dependencies |
1 | Jürgen Dingel |
Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
Towards Model Checking Stochastic Process Algebra. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Baumeister, Alexandre V. Zamulin |
State-Based Extensions of CASL. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Christie Bolton, Jim Davies |
Activity Graphs and Processes. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Cansell, Dominique Méry, Stephan Merz |
Predicate Diagrams for the Verification of Reactive Systems. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Graeme Smith 0001 |
Structural Refinement in Object-Z/CSP. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Hanna Klaudel, Franck Pommereau |
A Concurrent and Compositional Petri Net Semantics of Preemption. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
Petri nets, Concurrency, Compositionality, Preemption |
1 | C. A. R. Hoare |
Assertions. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Anne Elisabeth Haxthausen, Xia Yong |
Linking DC Together with TRSL. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
integration of specification formalisms, Formal methods, Duration Calculus, RAISE |
1 | Yifeng Chen |
How to Write a Healthiness Condition. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Greg Reeve, Steve Reeves |
mu-Charts and Z: Hows, Whys, and Wherefores. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen |
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.) |
Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Butler, Carla Ferreira 0001 |
A Process Compensation Language. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Didier Bert, Francis Cave |
Construction of Finite Labelled Transistion Systems from B Abstract Systems. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Luigia Petre, Kaisa Sere |
Developing Control Systems Components. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Smith 0001, Ian J. Hayes |
Structuring Real-Time Object-Z Specifications. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Yamine Aït Ameur |
Cooperation of Formal Methods in an Engineering Based Software Development Process. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
cooperation of techniques, human-computer interaction, formal techniques, development methodology |
1 | Wolfram Schulte |
Why Doesn't Anyone Use Formal Methods? |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick |
Specification and Analysis of Automata-Based Designs. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
model checking, Timed automata, stochastic automata |
1 | Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand |
Modular Verification for a Class of PLTL Properties. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
Büchi automata, Propositional linear temporal logic PLTL, B specification, model-checking, Verification, Refinement, modularity |
1 | Vlad Rusu, Lydie du Bousquet, Thierry Jéron |
An Approach to Symbolic Test Generation. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jaco van de Pol, Jozef Hooman, Edwin D. de Jong |
Modular Formal Specification of Data and Behaviour. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Bill Stoddart, Steve Dunne |
The Refinement of Event Calculus Models. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Hennessy |
Proof Systems for Message-Passing Process Calculi. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ian MacColl, David A. Carrington |
Specifying Interactive Systems in Object-Z and CSP. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Fischer, Heike Wehrheim |
Model-Checking CSP-OZ Specifications with FDR. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Helen Treharne, Steve A. Schneider |
Using a Process Algebra to Control B Operations. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Colin J. Fidge |
Modelling Discrete Behaviour in a Continuous-Time Formalism. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Robert Büssow, Wolfgang Grieskamp |
A Modular Framework for the Integration of Heterogeneous Notations and Tools. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Martin Große-Rhode |
A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Deiß |
An Approach to the Combination of Formal Description Techniques: Statecharts and TLA. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir |
Modular Verification of Dynamic Properties for Reactive Systems. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Sühl |
RT-Z: An Integration of Z and timed CSP. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Lano, Kelly Androutsopoulos |
Reactive System Refinement of Distributed Systems in B. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Méry |
Requirements for a Temporal B - Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | J. Paul Gibson, Geoff W. Hamilton, Dominique Méry |
Integration Problems in Telephone Feature Requirements. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Joy N. Reed, Jane E. Sinclair, F. Guigand |
Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Brendan P. Mahony, Jin Song Dong |
Overview of the Semantics of TCOZ. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Smith 0001, Ian J. Hayes |
Towards Real-Time Object-Z. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Richard F. Paige |
Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach, Michael Poppleton |
Retrenchment and Punctured Simulation. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jifeng He 0001 |
A Common Framework for Mixed Hardware/Software Systems. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Eerke A. Boiten |
Specifying Component and Context Specification Using Promotion. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Keijiro Araki, Andy Galloway, Kenji Taguchi 0001 (eds.) |
Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999 |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jin Song Dong, Shaoying Liu |
An Object Semantic Model of SOFL. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Christie Bolton, Jim Davies, Jim Woodcock 0001 |
On the Refinement and Simulation of Data Types and Processes. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|