STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Online minimization of transition systems (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
A language-based approach to protocol implementation
SIGCOMM '92 Conference proceedings on Communications architectures & protocols
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Structural complexity and execution efficiency of distributed application protocols
SIGCOMM '93 Conference proceedings on Communications architectures, protocols and applications
A language-based approach to protocol implementation
IEEE/ACM Transactions on Networking (TON)
A formalism for specifying communicating processes
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Correctness of trap-based breakpoint implementations
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Beyond definition/use: architectural interconnection
IDL '94 Proceedings of the workshop on Interface definition languages
An empirical evaluation of three methods for deadlock analysis of Ada tasking programs
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
An object-based approach to protocol software implementation
SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
CCS '94 Proceedings of the 2nd ACM Conference on Computer and communications security
Specification and analysis of the SNR high-speed transport protocol
IEEE/ACM Transactions on Networking (TON)
A concurrency analysis tool suite for Ada programs: rationale, design, and preliminary experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Graph models for reachability analysis of concurrent programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
An automatic trace analysis tool generator for Estelle specifications
SIGCOMM '95 Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
Extending the statechart formalism: event scheduling & disposition
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Liveness conditions in model-based service specifications: a case study
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Architecture validation for processors
ISCA '95 Proceedings of the 22nd annual international symposium on Computer architecture
Distinguishing tests for nondeterministic and probabilistic machines
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Decidability of a class of dual communicating finite state machines
ACM SIGOPS Operating Systems Review
Teapot: language support for writing memory coherence protocols
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Context constraints for compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Faster checking of software specifications by eliminating isomorphs
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Verification of communication protocols using data flow analysis
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
A combined-consistency approach: sequential amp; causal-consistency
ACM SIGOPS Operating Systems Review
A unified approach to fault-tolerance in communication protocols based on recovery procedures
IEEE/ACM Transactions on Networking (TON)
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Strategic directions in networks and telecommunications
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Concurrency theory will set standards for description and analysis of software
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Verification techniques for cache coherence protocols
ACM Computing Surveys (CSUR)
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
An integrated method for effective behaviour analysis of distributed systems
ICSE '94 Proceedings of the 16th international conference on Software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
An Efficient Algorithm for Minimizing Real-Time Transition Systems
Formal Methods in System Design - Special issue on computer aided verification (CAV 93)
Model checking for programming languages using VeriSoft
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal verification in a commercial setting
DAC '97 Proceedings of the 34th annual Design Automation Conference
Applying static analysis to software architectures
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Formally Verified On-Line Diagnosis
IEEE Transactions on Software Engineering
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Experiences Using Lightweight Formal Methods for Requirements Modeling
IEEE Transactions on Software Engineering
Automatically closing open reactive programs
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Performance analysis of communication systems formally specified in SDL
Proceedings of the 1st international workshop on Software and performance
Automatic generation of state invariants from requirements specifications
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Formal modeling and analysis of the HLA component integration standard
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
Checking safety properties using compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Feature and Service Interaction Problem in Telecommunications Systems: A Survey
IEEE Transactions on Software Engineering
Specification and verification of an object request broker
Proceedings of the 20th international conference on Software engineering
Data flow analysis for checking properties of concurrent Java programs
Proceedings of the 21st international conference on Software engineering
An Analysis of Bitstate Hashing
Formal Methods in System Design
Micro architecture coverage directed generation of test programs
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Using partial order techniques to improve performance of data flow analysis based verification
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Symbolic Protocol Verification with Queue BDDs
Formal Methods in System Design
Saving Space by Fully Exploiting Invisible Transitions
Formal Methods in System Design
Checking progress with action priority: is it fair?
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Formal verification applied to Java concurrent software
Proceedings of the 22nd international conference on Software engineering
Hardware/software synthesis of formal specifications in codesign of embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Formal Methods in System Design
Ensuring privacy in presence awareness: an automated verification approach
CSCW '00 Proceedings of the 2000 ACM conference on Computer supported cooperative work
What packets may come: automata for network monitoring
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Analysis of Timed Systems Using Time-Abstracting Bisimulations
Formal Methods in System Design
A framework to support teaching in distributed systems
Journal on Educational Resources in Computing (JERIC)
Weak alternating automata are not that weak
ACM Transactions on Computational Logic (TOCL)
Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem
Formal Methods in System Design - Special issue on formal methods for computer-added design
Comments on 'The Model Checker SPIN'
IEEE Transactions on Software Engineering
From model checking to a temporal proof
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Directed explicit model checking with HSF-SPIN
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Addressing dynamic issues of program model checking
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Verification experiments on the MASCARA protocol
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
p2b: a translation utility for linking promela and symbolic model checking (tool paper)
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Distributed LTL model-checking in SPIN
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Parallel state space construction for model-checking
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
A SPIN-based model checker for telecommunication protocols
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Formal Analysis of a Space-Craft Controller Using SPIN
IEEE Transactions on Software Engineering
Modular verification of collaboration-based software designs
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Types as models: model checking message-passing programs
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Model checking of hierarchical state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Apportioning: A Technique for Efficient Reachability Analysis of Concurrent Object-Oriented Programs
IEEE Transactions on Software Engineering - Special section on the seventh international software metrics symposium
Efficient and User-Friendly Verification
IEEE Transactions on Computers
Using XML to implement abstraction for Model Checking
Proceedings of the 2002 ACM symposium on Applied computing
Model checking multi-agent systems with MABLE
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Generating finite state machines from abstract state machines
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Projected state machine coverage for software testing
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Specifying and analysing multimedia systems
Formal methods for distributed processing
Constructing automata from temporal logic formulas: a tutorial
Lectures on formal methods and performance analysis
Relaxed Visibility Enhances Partial Order Reduction
Formal Methods in System Design
Software model checking in practice: an industrial case study
Proceedings of the 24th International Conference on Software Engineering
Using SPIN to verify protocols at the implementation level
SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Predictable programs in barcodes
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Formal verification of standards for distance vector routing protocols
Journal of the ACM (JACM)
Reduction and Quantifier Elimination Techniques for Program Validation
Formal Methods in System Design
Deriving Efficient Cache Coherence Protocols Through Refinement
Formal Methods in System Design
Mimicry attacks on host-based intrusion detection systems
Proceedings of the 9th ACM conference on Computer and communications security
State space generation for the HAVi leader election protocol
Science of Computer Programming
Collaborative Group Membership
The Journal of Supercomputing - Special issue on computational issues in fluid dynamics optimization and simulation
A practical approach to implementing real-time semantics
Annals of Software Engineering
Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
A comparative study of formal verification techniques for software architecture specifications
Annals of Software Engineering
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering
Model Checking Complete Requirements Specifications Using Abstraction
Automated Software Engineering
Automated Software Engineering
Explanation-Based Scenario Generation for Reactive System Models
Automated Software Engineering
Automated Software Engineering
Global scheduler properties derived from local restrictions
Proceedings of the 2002 ACM SIGPLAN workshop on Erlang
Formal Verification of a Partial-Order Reduction Technique for Model Checking
Journal of Automated Reasoning
On Verifying Distributed Multithreaded Java Programs
Software Quality Control
An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation
Formal Methods in System Design
An experience on verification of aspect properties
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Specification-based Testing for Gui-based Applications
Software Quality Control
Codesign of Communication Protocols
Computer
Protocol Design: Redefining the State of the Art
IEEE Software
IEEE Transactions on Computers - Special issue on protocol engineering
Testing Finite-State Machines: State Identification and Verification
IEEE Transactions on Computers
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Load Sharing in Distributed Multimedia-on-Demand Systems
IEEE Transactions on Knowledge and Data Engineering
Comments on 'Temporal Logic-Based Deadlock Analysis for Ada' by G.M. Karam and R.J.A. Burh
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Evaluating Deadlock Detection Methods for Concurrent Software
IEEE Transactions on Software Engineering
Architecture-driven verification of concurrent systems
Nordic Journal of Computing
Using the TrustME Tool Suite for Automatic Component Protocol Adaptation
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
On Group Communication Systems: Insight, a Primer, and a Snapshot
ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I
Validating Requirements for Fault Tolerant Systems using Model Checking
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
And/Or Hierarchies and Round Abstraction
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
MoDeST - A Modelling and Description Language for Stochastic Timed Systems
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Applying Model Checking in Java Verification
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
A Framework for Automatic Construction of Abstract Promela Models
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Xspin/Project - Integrated Validation Management for Xspin
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Java PathFinder, A Translator from Java to Promela
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Runtime Efficient State Compaction in SPIN
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Embedding a Dialect of SDL in PROMELA
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Analyzing Mode Confusion via Model Checking
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Divide, Abstract, and Model-Check
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Model Checking Knowledge and Time
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Comparing Symbolic and Explicit Model Checking of a Software System
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
SPIN Tutorial: How to Become a SPIN Doctor
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
The Agreement Problem Protocol Verification Environment
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Towards a Characterisation of Finite-State Message-Passing Systems
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
Expressing Graphical User's Input for Test Specifications
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Supporting the Deployment of Object-Oriented Frameworks
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Model Checking-Based Analysis of Multiagent Systems
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Refining Interactions in a Distributed System
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
An Experience in Architectural Extensions: Active Objects in J2EE
FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
A Compositional Sweep-Line State Space Exploration Method
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
C Wolf - A Toolset for Extracting Models from C Programs
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
PV: An Explicit Enumeration Model-Checker
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Effective Lossy Queue Languages
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Formal Modelling of Java GUI Event Handling
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Unified Methodology for Verification and Synthesis of Firewall Configurations
ICICS '01 Proceedings of the Third International Conference on Information and Communications Security
World-Modeling vs. World-Axiomatizing
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
On the Construction of Automata from Linear Arithmetic Constraints
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Checking for CFFD-Preorder with Tester Processes
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Industrial Applications of Model Checking
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Testing Transition Systems: An Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
A Sweep-Line Method for State Space Exploration
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Temporal Debugging for Concurrent Systems
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Routing Information Protocol in HOL/SPIN
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Synchronous Closing of Timed SDL Systems for Model Checking
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Automating Modular Verification
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Testing Concurrent Systems: A Formal Approach
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Lazy Compositional Verification
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Coverability Analysis Using Symbolic Model Checking
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
A Transformation of SDL Specifications - A Step towards the Verification
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
omega-Regular Languages Are Testable with a Constant Number of Queries
RANDOM '02 Proceedings of the 6th International Workshop on Randomization and Approximation Techniques
Model Checking Communication Protocols
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Simulation of Conference Management Using an Even-Driven Coordination Language
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
On the Verification of Coordination
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Refinement of LTL Formulas for Abstract Model Checking
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Verifying Large SDL-Specifications Using Model Checking
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Protocol Engineering Applied to Formal Analysis of Security Systems
InfraSec '02 Proceedings of the International Conference on Infrastructure Security
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Reasoning about Robot Actions: A Model Checking Approach
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
A Strategy for Improving the Efficiency of Procedure Verification
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Alias Analysis by Means of a Model Checker
CC '01 Proceedings of the 10th International Conference on Compiler Construction
Constraint Logic Programming for Local and Symbolic Model-Checking
CL '00 Proceedings of the First International Conference on Computational Logic
Transacted Memory for Smart Cards
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
A Heuristic for Symmetry Reductions with Scalarsets
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
A Combined Testing and Verification Approach for Software Reliability
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
How to Make FDR Spin LTL Model Checking of CSP by Refinement
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Faithful Translations among Models and Specifications
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Reformulation: A Way to Combine Dynamic Properties and B Refinement
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Improvements in Coverability Analysis
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Verification Using Test Generation Techniques
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
A Generalised Sweep-Line Method for Safety Properties
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Closing Open SDL-Systems for Model Checking with DTSpin
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Verifying Erlang Code: A Resource Locker Case-Study
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
On-the-Fly Verification of Linear Temporal Logic
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Formal Specification and Validation of a Vital Communication Protocol
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Theory and Practice of Time-Space Trade-Offs in Memory Limited Search
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Verification of a Revised WAP Wireless Transaction Protocol
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
TReX: A Tool for Reachability Analysis of Complex Systems
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Efficient Model Checking Via Büchi Tableau Automata
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
EASN: Integrating ASN.1 and Model Checking
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
IF-2.0: A Validation Environment for Component-Based Real-Time Systems
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Symbolic Analysis of Transition Systems
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Packet Analysis in Congested Networks
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
Probability, Parallelism and the State Space Exploration Problem
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Modular Verification for a Class of PLTL Properties
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Anonymous and Confidential Communications from an IP Addressless Computer
HUC '99 Proceedings of the 1st international symposium on Handheld and Ubiquitous Computing
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
A Model Checking Algorithm for Multiagent Systems
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Agents and Roles: Refinement in Alternating-Time Temporal Logic
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Specifying Agent Interaction Protocols with Standard UML
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Extended Modeling Languages for Interaction Protocol Design
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
System Specification and Verification Using High Level Concepts - A Tool Demonstration
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Panel Discussion: Future Directions
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Applying SDL Specifications and Tools to the Verification of Procedures
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
A Framework for Translating Models and Specifications
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Modeling and verification of parallel processes
Industrial applications of model checking
Modeling and verification of parallel processes
Testing transition systems: an annotated bibliography
Modeling and verification of parallel processes
Fault model-driven test derivation from finite state models: annotated bibliography
Modeling and verification of parallel processes
Automated verification using deduction, exploration, and abstraction
Programming methodology
State space reduction based on live variables analysis
Science of Computer Programming - Special issue on static analysis (SAS'99)
Guided synthesis of control programs using UPPAAL
Nordic Journal of Computing
An expressively complete linear time temporal logic for Mazurkiewicz traces
Information and Computation - Special issue: LICS'97
Handbook of automated reasoning
Journal of Systems and Software
Phoenix: a parallel programming model for accommodating dynamically joining/leaving resources
Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
Providing interoperability between IEEE 802.11 and Bluetooth protocols for home area networks
Computer Networks: The International Journal of Computer and Telecommunications Networking - Small and home networks
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Symbolic Protocol Verification with Queue BDDs
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Modular Object-Oriented Design of Distributed Protocols
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Formal validation of virtual finite state machines
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Autolink: A Tool for Automatic Test Generation from SDL Specifications
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Implementing Statecharts in PROMELA/SPIN
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Selection Criteria for Automated TTCN Test Case Generation from SDL
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Using the SCR* Toolset to Specify Software Requirements
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
VirtualWire: A Fault Injection and Analysis Tool for Network Protocols
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Supervision of real-time software systems using optimistic path prediction and rollbacks
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Requirements interaction management
ACM Computing Surveys (CSUR)
Grammar-based Hardware Synthesis of Data Communication Protocols
ISSS '96 Proceedings of the 9th international symposium on System synthesis
Automatic component protocol adaptation with the CoConut/J tool suite
Future Generation Computer Systems - Tools for program development and analysis
Enhancing Partial-Order Reduction via Process Clustering
Proceedings of the 16th IEEE international conference on Automated software engineering
On Reachability Analysis of Communicating Finite State Machines
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Towards scalable compositional analysis by refactoring design models
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Visualizing graphical and textual formalisms
Information Systems
From Pre-Historic to Post-Modern Symbolic Model Checking
Formal Methods in System Design
Design and validation of a message-passing system
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
An incremental approach to reachability analysis of distributed programs
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Journal of Computer Science and Technology
An efficient algorithm for computing bisimulation equivalence
Theoretical Computer Science
OCCN: a NoC modeling framework for design exploration
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Networks on chip
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
KISS: keep it simple and sequential
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal Methods in System Design
Using Forward Reachability Analysis for Verification of Lossy Channel Systems
Formal Methods in System Design
Static Analysis for State-Space Reductions Preserving Temporal Logics
Formal Methods in System Design
Annals of Mathematics and Artificial Intelligence
Cluster-Based Partial-Order Reduction
Automated Software Engineering
A model-based approach to integrating security policies for embedded devices
Proceedings of the 4th ACM international conference on Embedded software
A Mechanically Proved Development Combining B Abstract Systems and Spin
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Model interchange and integration for web services
ACM SIGSOFT Software Engineering Notes
Securing the download of radio configuration files for software defined radio devices
Proceedings of the second international workshop on Mobility management & wireless access protocols
Validating Personal Requirements by Assisted Symbolic Behavior Browsing
Proceedings of the 19th IEEE international conference on Automated software engineering
CHET: A System for Checking Dynamic Specifications
Proceedings of the 19th IEEE international conference on Automated software engineering
Integrated system interoperability testing with applications to VoIP
IEEE/ACM Transactions on Networking (TON)
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Formal prototyping in early stages of protocol design
WITS '05 Proceedings of the 2005 workshop on Issues in the theory of security
Designing Interaction Systems for Distributed Applications
IEEE Distributed Systems Online
ω-Regular languages are testable with a constant number of queries
Theoretical Computer Science
Improved on-the-fly verification with testers
Nordic Journal of Computing
PLTL-partitioned model checking for reactive systems under fairness assumptions
ACM Transactions on Embedded Computing Systems (TECS)
Conformance testing in the presence of multiple faults
SODA '05 Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms
Component Verification with Automatically Generated Assumptions
Automated Software Engineering
Encyclopedia of Computer Science
Towards design tools for protocol development
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Software Model Checking: The VeriSoft Approach
Formal Methods in System Design
Run-time analysis of time-critical systems
Journal of Systems Architecture: the EUROMICRO Journal
Verifying fault-tolerant Erlang programs
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
SynchRuler: A Rule-Based Flexible Synchronization Model with Model Checking
IEEE Transactions on Knowledge and Data Engineering
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
A Method for Specifying Contract Mediated Interactions
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Formal Methods in System Design
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Formalising Control in Robust Spoken Dialogue Systems
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
Using UML models for the performance analysis of network systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Verification of programs with half-duplex communication
Information and Computation
A communication model for structural design objects. II: performatives and protocols
Advances in Engineering Software
Towards supporting the architecture design process through evaluation of design alternatives
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Nested emptiness search for generalized Büchi automata
Fundamenta Informaticae - Special issue on application of concurrency to system design (ACSD'04)
Model checking erlang programs: the functional approach
Proceedings of the 2006 ACM SIGPLAN workshop on Erlang
Prototyping 3APL in the Maude term rewriting language
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Testing methodology for an ad hoc routing protocol
Proceedings of the ACM international workshop on Performance monitoring, measurement, and evaluation of heterogeneous wireless and wired networks
A note on K-state self-stabilization in a ring with K = N
Nordic Journal of Computing
10 papers for the Ph.D. student in networking
ACM SIGCOMM Computer Communication Review
Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures
Journal of Integrated Design & Process Science
Model checking electronic commerce protocols
WOEC'96 Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce - Volume 2
Design time analysis of multiagent protocols
Data & Knowledge Engineering
Scalable solutions for secure group communications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Temporal Logics of Knowledge and their Applications in Security
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Sequentialization of Distributed Systems via Program Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Providing connection-oriented network services to mobile hosts
MLCS Mobile & Location-Independent Computing Symposium on Mobile & Location-Independent Computing Symposium
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
McErlang: a model checker for a distributed functional programming language
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Self-tuned passive testers for grey-box distributed systems with indefinite communication delays
PDCN'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks
The Design of a Multicore Extension of the SPIN Model Checker
IEEE Transactions on Software Engineering
Slede: a domain-specific verification framework for sensor network security protocol implementations
WiSec '08 Proceedings of the first ACM conference on Wireless network security
A language for advanced protocol analysis in automotive networks
Proceedings of the 30th international conference on Software engineering
Security protocols, properties, and their monitoring
Proceedings of the fourth international workshop on Software engineering for secure systems
On The Evolution Of Reliability Methods For Critical Software
Journal of Integrated Design & Process Science - Applications of formal methods
A method and tools for large scale scenarios
Automated Software Engineering
Towards Design Tools for Protocol Development
Agent Communication II
25 Years of Model Checking
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
On the performance of a hybrid intrusion detection architecture for voice over IP systems
Proceedings of the 4th international conference on Security and privacy in communication netowrks
Towards Component-Based Design and Verification of a μ-Controller
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
An Approach to Testing with Embedded Context Using Model Checker
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Milestones: Mythical Signals in UML to Analyze and Monitor Progress
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Validation Aspects of Automatic Service Composition
Service-Oriented Computing - ICSOC 2007 Workshops
Towards seamless source mobility in SSM: design and evaluation of the Tree Morphing protocol
International Journal of Internet Protocol Technology
Towards Verification of Java Programs in perICS
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Model Checking and Artificial Intelligence
Verification Techniques for System-Level Design
Verification Techniques for System-Level Design
A New Approach to Planning in Networks
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Evaluating Fuzzy Controller Robustness Using Model Checking
WILF '09 Proceedings of the 8th International Workshop on Fuzzy Logic and Applications
A Translator of Java Programs to TADDs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Automatic assessment of failure recovery in Erlang applications
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Causal Message Sequence Charts
Theoretical Computer Science
Journal of Artificial Intelligence Research
Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4
Journal of Artificial Intelligence Research
Model checking active networks with SPIN
Computer Communications
Using UML models for the performance analysis of network systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Model checking correctness properties of a middleware service for contract compliance
Proceedings of the 4th International Workshop on Middleware for Service Oriented Computing
Multithreaded java program test generation
IBM Systems Journal
Assessing the impact of a modeling tool and its support for verification and validation
SPECTS'09 Proceedings of the 12th international conference on Symposium on Performance Evaluation of Computer & Telecommunication Systems
Automated Encapsulation of UML Activities for Incremental Development and Verification
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Local Search in Model Checking
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Towards a test cases generation method for security policies
ICT'09 Proceedings of the 16th international conference on Telecommunications
An Input/Output Semantics for Distributed Program Equivalence Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Validation Coverage for a Component-based SDL model of a Railway Signaling System
Electronic Notes in Theoretical Computer Science (ENTCS)
Error Detection in Concurrent Java Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Checking Event-Based Specifications in Java Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Verification of programs with half-duplex communication
Information and Computation
Information and Software Technology
Automatic analysis of requirements consistency with the B method
ACM SIGSOFT Software Engineering Notes
Designing a LTL model-checker based on unfolding graphs
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Validation of multiagent systems by symbolic model checking
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Generating machine processable representations of textual representations of AUML
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Dynamic change in workflow-based coordination of distributed services
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
A framework for inter-society communication in agents
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
Prototyping 3APL in the Maude term rewriting language
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Analysing properties of the resource reservation protocol
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Model checking software via abstraction of loop transitions
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
The verifying compiler: a grand challenge for computing research
CC'03 Proceedings of the 12th international conference on Compiler construction
Requirement analysis for interaction protocols
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Optimal scheduling using branch and bound with SPIN 4.0
SPIN'03 Proceedings of the 10th international conference on Model checking software
A light-weight algorithm for model checking with symmetry reduction and weak fairness
SPIN'03 Proceedings of the 10th international conference on Model checking software
SPIN'03 Proceedings of the 10th international conference on Model checking software
Formalising UML state machines for model checking
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
QBF-based symbolic model checking for knowledge and time
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
Tackling large state spaces in performance modelling
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Generating Petri net state spaces
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Iterative software engineering for multiagent systems: the MASSIVE method
Iterative software engineering for multiagent systems: the MASSIVE method
Partial order reduction for verification of real-time components
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Model checking a video-on-demand server using McErlang
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Test case generation for ultimately periodic paths
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Describing component collaboration using goal sequences
DAIS'08 Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Automatic generation of compatible interfaces from partitioned UML activities
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Secure transaction protocol analysis: models and applications
Secure transaction protocol analysis: models and applications
Towards model checking & simulation of a multi-tier negotiation protocol for service chains
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Journal of Systems and Software
A comprehensive engineering framework for guaranteeing component compatibility
Journal of Systems and Software
Verification of the SIP transaction using coloured petri nets
ACSC '09 Proceedings of the Thirty-Second Australasian Conference on Computer Science - Volume 91
Validation and testing of sC++ applications
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
ACM Computing Surveys (CSUR)
Model-checking Erlang: a comparison between EtomCRL2 and McErlang
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Some notes on the history of protocol engineering
Computer Networks: The International Journal of Computer and Telecommunications Networking
An introduction to network stack design using software design patterns
MACE'10 Proceedings of the 5th IEEE international conference on Modelling autonomic communication environments
Context-bounded translations for concurrent software: an empirical evaluation
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Design verification in model-based μ-controller development using an abstract component
Software and Systems Modeling (SoSyM)
A formal analysis of the web services atomic transaction protocol with UPPAAL
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Run-time verification of networked software
RV'10 Proceedings of the First international conference on Runtime verification
A Case Study on Verifying a Supervisor Component Using McErlang
Electronic Notes in Theoretical Computer Science (ENTCS)
Exploring implicit parallelism in class diagrams
Journal of Systems and Software
Formal verification of SystemCFLspecifications using SPIN
MINO'06 Proceedings of the 5th WSEAS international conference on Microelectronics, nanoelectronics, optoelectronics
Model checking programmable router configurations
Graph transformations and model-driven engineering
Statically-directed dynamic automated test generation
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Don't thrash: how to cache your hash on flash
HotStorage'11 Proceedings of the 3rd USENIX conference on Hot topics in storage and file systems
A developer-friendly approach for the validation of dynamic compositions
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
Formal modeling and analysis of timed systems: technology push or market pull?
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
A toolchain for the detection of structural and behavioral latent system properties
Proceedings of the 14th international conference on Model driven engineering languages and systems
Making software verification tools really work
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Q-score: proactive service quality assessment in a large IPTV system
Proceedings of the 2011 ACM SIGCOMM conference on Internet measurement conference
Abstraction and refinement in model checking
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Scalable fault tolerant protocol for parallel runtime environments
EuroPVM/MPI'06 Proceedings of the 13th European PVM/MPI User's Group conference on Recent advances in parallel virtual machine and message passing interface
An improved case-based approach to LTL model checking
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Analyzing the impact of protocol changes on tests
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
A static communication elimination algorithm for distributed system verification
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Automated model-based testing of χ simulation models with TorX
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Protocol reconfiguration using component-based design
DAIS'05 Proceedings of the 5th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
On-the-Fly branching bisimulation minimization for compositional analysis
CIAA'06 Proceedings of the 11th international conference on Implementation and Application of Automata
Representing agent interaction protocols with agent UML
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
I/O efficient directed model checking
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Modelling parametric contracts and the state space of composite components by graph grammars
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
A compositional approach to service validation
SDL'05 Proceedings of the 12th international conference on Model Driven
Protocol system integration, interface and interoperability
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
Deciding properties of message sequence charts
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
Memory efficient state space storage in explicit software model checking
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Verifying quantitative properties using bound functions
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
A dedicated approach for developing agent interaction protocols
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
Behavioral types for embedded software: a survey
Component-Based Software Development for Embedded Systems
Static slicing of explicitly synchronized languages
Information and Computation
Testing semantics: connecting processes and process logics
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
ISPA'06 Proceedings of the 4th international conference on Parallel and Distributed Processing and Applications
Towards dialogue based shared control of navigating robots
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
A formal framework to reduce communications in communication systems
IICS'04 Proceedings of the 4th international conference on Innovative Internet Community Systems
Minimization of non-deterministic automata with large alphabets
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Implementing temporal logics: tools for execution and proof
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
A comparison of three model checkers applied to a distributed database problem
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Modelling and verification of JXTA peer-topeer network protocols
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
On formal semantics of statecharts as supported by STATEMATE
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Research: Throughput efficiency of an enhanced link management procedure
Computer Communications
Case study: Experiences with the integration of protocol software tools
Computer Communications
Computer Communications
Petri nets for protocol engineering
Computer Communications
Protocol quality engineering: addressing industry concerns about formal methods
Computer Communications
Research: Designing bug-free protocols with SPIN
Computer Communications
Reachability and reverse reachability analysis of CFSMs
Computer Communications
Timing analysis of scenario-based specifications using linear programming
Software Testing, Verification & Reliability
Using Model Checking to Analyze the System Behavior of the LHC Production Grid
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Formal analysis of safety-critical system simulations
Proceedings of the 2nd International Conference on Application and Theory of Automation in Command and Control Systems
Don't thrash: how to cache your hash on flash
Proceedings of the VLDB Endowment
A Translator of Java Programs to TADDs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Towards Verification of Java Programs in perICS
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Nested Emptiness Search for Generalized Büchi Automata
Fundamenta Informaticae - APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD'04)
Formalisation of a Production System Modelling Language The operational semantics of χ Core
Fundamenta Informaticae
Improving Partial Order Reductions for Universal Branching Time Properties
Fundamenta Informaticae
A bounded incremental test generation algorithm for finite state machines
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Intrusion attack tactics for the model checking of e-commerce security guarantees
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Automated semantic analysis of design models
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
ISPA'07 Proceedings of the 5th international conference on Parallel and Distributed Processing and Applications
Designing fault injection experiments using state-based model to test a space software
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
A SIP servlets-based framework for service provisioning in stand-alone MANETs
Journal of Network and Computer Applications
A protocol development framework for SLA negotiations in cloud and service computing
GECON'12 Proceedings of the 9th international conference on Economics of Grids, Clouds, Systems, and Services
Latch-free data structures for DBMS: design, implementation, and evaluation
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Compositional verification of a communication protocol for a remotely operated aircraft
Science of Computer Programming
Using model checking to analyze the system behavior of the LHC production grid
Future Generation Computer Systems
| Hi-index | 0.01 |