Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
IEEE Transactions on Software Engineering
Using CSP to Detect Errors in the TMN Protocol
IEEE Transactions on Software Engineering
Avoiding Packaging Mismatch with Flexible Packaging
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Model checking railway interlocking systems
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering
Design and Verification of Distributed Recovery Blocks with CSP
Formal Methods in System Design
Specifying Authentication Protocols Using Rewriting and Strategies
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Combining Methods for the Livelock Analysis of a Fault-Tolerant System
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Classification of Security Properties (Part I: Information Flow)
FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
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
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Model Checking TLA+ Specifications
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Combining Specification Techniques for Processes, Data and Time
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Modeling and verification of parallel processes
CSP-OZ-DC: a combination of specification techniques for processes, data and time
Nordic Journal of Computing
Comparing Two Information Flow Security Properties
CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
Action Systems for Security Specification
CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
Intensional specifications of security protocols
CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
An Interface Specification Language For Automatically Analyzing Cryptographic Protocols
SNDSS '97 Proceedings of the 1997 Symposium on Network and Distributed System Security
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Noninterference Equations for Nondeterministic Systems
CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
From Bisimulation to Simulation: Coarsest Partition Problems
Journal of Automated Reasoning
Reliable and accountable system design
The Knowledge Engineering Review
An efficient algorithm for computing bisimulation equivalence
Theoretical Computer Science
Combining the Box Structure Development Method and CSP
Proceedings of the 19th IEEE international conference on Automated software engineering
A hierarchy of failures-based models: theory and application
Theoretical Computer Science - Expressiveness in concurrency
Specification and (property) inheritance in CSP-OZ
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Converging CSP specifications and C++ programming via selective formalism
ACM Transactions on Embedded Computing Systems (TECS)
Fluent temporal logic for discrete-time event-based models
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Formalising Control in Robust Spoken Dialogue Systems
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Towards proving preservation of behaviour of refactoring of UML models
SAICSIT '05 Proceedings of the 2005 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
Feature interaction detection by pairwise analysis of LTL properties: a case study
Formal Methods in System Design
Specifying and analyzing security automata using CSP-OZ
ASIACCS '07 Proceedings of the 2nd ACM symposium on Information, computer and communications security
Fast, automatic checking of security protocols
WOEC'96 Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce - Volume 2
Electronic Notes in Theoretical Computer Science (ENTCS)
A comparative analysis of parallel disk-based Methods for enumerating implicit graphs
Proceedings of the 2007 international workshop on Parallel symbolic computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed Extended Beam Search for Quantitative Model Checking
Model Checking and Artificial Intelligence
25 Years of Model Checking
On correct and complete strong merging of partial behaviour models
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Linear-time disk-based implicit graph search
Journal of the ACM (JACM)
Model Checking LTL Formulae in RAISE with FDR
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
The impact of requirements changes on specifications and state machines
Software—Practice & Experience
LTS semantics for use case models
Proceedings of the 2009 ACM symposium on Applied Computing
Best-first frontier search with delayed duplicate detection
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
On CSP Refinement Tests That Run Multiple Copies of a Process
Electronic Notes in Theoretical Computer Science (ENTCS)
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Large-scale parallel breadth-first search
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
An axiom system for sequence-based specification
Theoretical Computer Science
Local Search in Model Checking
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Model Checking Linearizability via Refinement
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Rule-based Programming in Java For Protocol Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Combining the Box Structure Development Method and CSP for Software Development
Electronic Notes in Theoretical Computer Science (ENTCS)
The verifying compiler: a grand challenge for computing research
CC'03 Proceedings of the 12th international conference on Compiler construction
Decomposing integrated specifications for verification
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Modelling watermark communication protocols using the CASPER modelling language
Proceedings of the 12th ACM workshop on Multimedia and security
Developing model checkers using PAT
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Model checking hierarchical probabilistic systems
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Taking our own medicine: applying the refinement calculus to state-rich refinement model checking
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
SeVe: automatic tool for verification of security protocols
Frontiers of Computer Science in China
Operational semantics for model checking circus
FM'05 Proceedings of the 2005 international conference on Formal Methods
Time-Efficient model checking with magnetic disk
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
BDD-Based hardware verification
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
Retracing the semantics of CSP
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Modeling asynchronous message passing for c programs
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
A comparison of three model checkers applied to a distributed database problem
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
On the automatic verification of non-standard measures of consistency
IWFM'03 Proceedings of the 6th international conference on Formal Methods
SAT-solving in CSP trace refinement
Science of Computer Programming
IWDW'11 Proceedings of the 10th international conference on Digital-Forensics and Watermarking
Parallel model checking using abstraction
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
More anti-chain based refinement checking
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Use case and task models: An integrated development methodology and its formal foundation
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Theories of Programming and Formal Methods
Modelling temporal behaviour in complex systems with Timebands
Formal Methods in System Design
Hi-index | 0.00 |