|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 249 occurrences of 167 keywords
|
|
|
Results
Found 483 publication records. Showing 483 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gwen Salaün, Tevfik Bultan |
Realizability of Choreographies Using Process Algebra Encodings. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová |
Partial Order Reduction for State/Event LTL. |
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 | Michael J. Butler |
Decomposition Structures for Event-B. |
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 | Steve A. Schneider, Helen Treharne |
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Lämmel, Vadim Zaytsev |
An Introduction to Grammar Convergence. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen |
Incremental Reasoning for Multiple Inheritance. |
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 | 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 | Robert Colvin, Ian J. Hayes |
CSP with Hierarchical State. |
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 | 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 | 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 | 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 | Zarrin Langari, Richard J. Trefler |
Application of Graph Transformation in Verification of Dynamic Systems. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Weiß 0001 |
Predicate Abstraction in a Program Logic Calculus. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
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 | Peter Y. H. Wong, Jeremy Gibbons |
Property Specifications for Workflow Modelling. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Frank Zeyda, Ana Cavalcanti 0001 |
Mechanised Translation of Control Law Diagrams into Circus. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
ClawZ, verification, CSP, Z, Simulink |
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 | Zijiang Yang 0006, 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 | 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 | Nazareno Aguirre, Germán Regis, T. S. E. Maibaum |
Verifying Temporal Properties of CommUnity Designs. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Cavarra, James Welch |
Behavioural Specifications from Class Models. |
IFM |
2007 |
DBLP DOI 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 | Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn |
Verifying Smart Card Applications: An ASM Approach. |
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 | Björn Metzler 0001 |
Decomposing Integrated Specifications for Verification. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
Integrated Formal Specifications, Model Checking, Decomposition, Program Slicing, Compositional Verification |
1 | Michael Anthony Smith, Jeremy Gibbons |
Unifying Theories of Objects. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
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 | 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 | Weiqiang Kong, Kazuhiro Ogata 0001, 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 | Jim Davies, Jeremy Gibbons (eds.) |
Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings |
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 | Jean-François Couchot, Frédéric Dadeau |
Guiding the Correction of Parameterized Specifications. |
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 | 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 | 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 | Steve Dunne, Andy Galloway |
Lifting General Correctness into Partial Correctness is ok. |
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 | Andrew Butterfield, Adnan Sherif, Jim Woodcock 0001 |
Slotted-Circus. |
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 | Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik |
Finding State Solutions to Temporal Logic Queries. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yifeng Chen |
Inheriting Laws for Processes with States. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Damien Karkinsky, Steve A. Schneider, Helen Treharne |
Combining Mobility with State. |
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 | 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 | Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova |
Bug Hunting with False Negatives. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang 0001 |
Verification of Multi-agent Negotiations Using the Alloy Analyzer. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jifeng He 0001 |
UTP Semantics for Web Services. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik Post, Wolfgang Küchlin |
Integrated Static Analysis for Linux Device Driver Verification. |
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 | Oliver Au, Roger G. 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 | Larissa Meinicke, Graeme Smith 0001 |
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 | 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 |
1 | Judi Romijn, Graeme Smith 0001, 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 DOI BibTeX RDF |
|
1 | Saddek Bensalem, Doron A. Peled, Hongyang Qu 0001, Stavros Tripakis |
Generating Path Conditions for Timed Systems. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
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 | Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller |
Formal Methods Meet Domain Specific Languages. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
scheduling, formal methods, refinements, decision procedure, DSL |
1 | Frédéric Gervais, Marc Frappier, Régine Laleau |
Synthesizing B Specifications from EB3 Attribute Definitions. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
data integrity constraints, Information systems, pattern matching, attributes, B, recursive functions |
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 | 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 | 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 | Tim Miller 0001, 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 | Richard F. Paige, Phillip J. Brooke |
Agile Formal Method Engineering. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
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 | 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 | Patrice Godefroid, Nils Klarlund |
Software Model Checking: Searching for Computations in the Abstract or the Concrete. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
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 | 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 | David Lorge Parnas |
A Family of Mathematical Methods for Professional Software Documentation. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bikram Sengupta, Rance Cleaveland |
An Integrated Framework for Scenarios and State Machines. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
refinement orderings, scenarios, state-machines, heterogeneous specifications |
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 | Steve A. Schneider, Helen Treharne, Neil Evans |
Chunks: Component Verification in CSP||B. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
Component based verification, decomposition, CSP, B-Method |
1 | Frédéric Lang |
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Pontus Boström, Marina 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 | Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin |
Design Verification for Control Engineering. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Steffen Schlager |
Software Verification with Integrated Data Type Refinement for Integer Arithmetic. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
UML/OCL, Java, specification, Software verification, data refinement, integer arithmetic |
1 | Eerke A. Boiten, John Derrick, Graeme Smith 0001 (eds.) |
Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paul Curzon, Ann Blandford |
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
user error, formal verification, Cognitive architecture, design rules |
1 | Tiberiu Seceleanu, Juha Plosila |
Constituent Elements of a Correctness-Preserving UML Design Approach. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
UML, refinement, Action Systems |
1 | Francisco José Galán Morillo, José Miguel Cañete Valdeón |
A Method for Compiling and Executing Expressive Assertions. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
programming with assertions, meaning-preservingtransformation, formal specification, testing, logic program, correctness, Assertion, program synthesis |
1 | Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani |
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha 0001 |
State/Event-Based Software Model Checking. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jin Song Dong, Shengchao Qin, Jun Sun 0001 |
Generating MSCs from an Integrated Formal Specification Language. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
Requirement Engineering, MSC, TCOZ |
1 | Xu Wang 0001, A. W. Roscoe 0001, Ranko Lazic 0001 |
Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
Trace refinement, Model checking, CSP, Array, Reachability, Data independence |
1 | Kevin Lano, David Clark 0001, Kelly Androutsopoulos |
UML to B: Formal Verification of Object-Oriented Models. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
UML-RSDS, Graphical Specifications, UML, B |
1 | Kirsten Winter |
Formalising Behaviour Trees with CSP. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
Behaviour Trees, model checking, Requirements engineering, CSP |
1 | Gabriel Ciobanu, Dorel Lucanu |
Specification and Verification of Synchronizing Concurrent Objects. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
hidden algebra, model checking, integration, temporal logics, Algebraic specification, concurrent systems, CCS, object-oriented specification |
1 | Luke Wildman, Roger Duke, Paul A. Strooper |
Viewpoint-Based Testing of Concurrent Components. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
Test Template Framework, Java, Concurrency, Viewpoints, Object-Z |
1 | Cécile Bui Thanh, Hanna Klaudel |
Object-Oriented Modelling with High-Level Modular Petri Nets. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Steve A. Schneider, Helen Treharne |
Verifying Controlled Components. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Adalberto Farias, Alexandre Mota 0001, Augusto Sampaio |
Efficient CSPZ Data Abstraction. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
Integrated formalism, CSPZ, Java, model checking, verification, specification, tool support, data abstraction |
1 | Bill J. Ellis, Andrew Ireland |
An Integration of Program Analysis and Automated Theorem Proving. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 483 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ >>] |
|