Communicating sequential processes
Communicating sequential processes
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Implementing mathematics with the Nuprl proof development system
Implementing mathematics with the Nuprl proof development system
Automatic Verification of Sequential Circuits Using Temporal Logic
IEEE Transactions on Computers
Systematic software development using VDM
Systematic software development using VDM
Artificial Intelligence
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
A computational logic handbook
A computational logic handbook
m-EVES: A tool for verifying software
ICSE '88 Proceedings of the 10th international conference on Software engineering
Parallel program design: a foundation
Parallel program design: a foundation
Formal Verification of Fault Tolerance Using Theorem-Proving Techniques
IEEE Transactions on Computers
The RAISE language, methods and tools
Formal Aspects of Computing
Formal Methods Applied to a Floating-Point Number System
IEEE Transactions on Software Engineering
Inductive methods for reasoning about abstract data types
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Design and validation of computer protocols
Design and validation of computer protocols
ICSE '90 Proceedings of the 12th international conference on Software engineering
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Practical methods for the formal validation of SDL specifications
Computer Communications - Special issue on practical use of FDTs in communications & distributed systems
Model checking and abstraction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symbolic model checking for real-time systems
Information and Computation
Experience with Formal Methods in Critical Systems
IEEE Software
Computer-aided verification of coordinating processes: the automata-theoretic approach
Computer-aided verification of coordinating processes: the automata-theoretic approach
Model checking, abstraction, and compositional verification
Model checking, abstraction, and compositional verification
The complexity of verification
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
A classical mind
Verity—a formal verification program for custom CMOS circuits
IBM Journal of Research and Development - Special issue: IBM CMOS technology
Specification and Validation of a Security Policy Model
IEEE Transactions on Software Engineering
Model Checking in Practice: The T9000 Virtual Channel Processor
IEEE Transactions on Software Engineering
Formal Methods Reality Check: Industrial Usage
IEEE Transactions on Software Engineering
Specifying a Safety-Critical Control System in Z
IEEE Transactions on Software Engineering
Automated proofs of object code for a widely used microprocessor
Journal of the ACM (JACM)
A formal approach to reactive systems software: a telecommunications application in ESTEREL
Formal Methods in System Design
IEEE Spectrum
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Specification and verification of VHDL-based system-level hardware designs
Specification and validation methods
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Observations on industrial practice using formal methods
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Modeling and verifying active structural control systems
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Tabular representations in relational documents
Relational methods in computer science
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
Symbolic Model Checking
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Practical Formal Methods for Hardware Design
Practical Formal Methods for Hardware Design
Computer experiments with the REVE term rewriting system generator
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Formal Specification of an Oscilloscope
IEEE Software
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Protocol Verification as a Hardware Design Aid
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Validating SDL Specifications: an Experiment
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
Simple on-the-fly automatic verification of linear temporal logic
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
An improvement in formal verification
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
Secrets of Call Forwarding: A Specification Case Study
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
ACL2 Theorems About Commercial Microprocessors
FMCAD '96 Proceedings of the First International Conference on Formal Methods in Computer-Aided Design
Formal Methods at AT&T - An Industrial Usage Report
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
A Front-End Generator for Verification Tools
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Breaking Through the V and V Bottleneck
Proceedings of the Second International Eurospace - Ada-Europe Symposium on Ada in Europe
Semantics of a verification-oriented subset of VHDL
CHARME '95 Proceedings of the IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Verification of an Audio Control Protocol
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Specification and verification of concurrent systems in CESAR
Proceedings of the 5th Colloquium on International Symposium on Programming
Formalising British Rail's Signalling Rules
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
CICS Project Report: Experiences and Results from the use of Z in IBM
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Verification of a Multiplier: 64 Bits and Beyond
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Combining Partial Order Reductions with On-the-fly Model-Checking
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Automated Analysis of an Audio Control Protocol
Proceedings of the 7th International Conference on Computer Aided Verification
An Integration of Model Checking with Automated Proof Checking
Proceedings of the 7th International Conference on Computer Aided Verification
Modular Verification of SRT Division
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Verification of an Audio Protocol with Bus Collision Using UPPAAL
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Verifying the SRT Division Algorithm Using Theorem Proving Techniques
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
VIS: A System for Verification and Synthesis
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Verification of the Futurebus+ Cache Coherence Protocol
CHDL '93 Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications
PVS: A Prototype Verification System
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
The CMU Master of Software Engineering Core Curriculum
Proceedings of the 8th SEI CSEE Conference on Software Engineering Education
BDD-Based Debugging Of Design Using Language Containment and Fair CTL
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Two examples of verification of multirate timed automata with Kronos
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Formal verification of a PowerPC microprocessor
ICCD '95 Proceedings of the 1995 International Conference on Computer Design: VLSI in Computers and Processors
HIERARCHICAL CORRECTNESS PROOFS FOR DISTRIBUTED ALGORITHMS
HIERARCHICAL CORRECTNESS PROOFS FOR DISTRIBUTED ALGORITHMS
Model Checking for UNITY
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
Parallel Algorithms for Relational Coarsest Partition Problems
IEEE Transactions on Parallel and Distributed Systems
Formalizing space shuttle software requirements: four case studies
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model checking of hierarchical state machines
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modeling deflection networks: design and specification
Proceedings of the 1999 ACM symposium on Applied computing
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
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
Specification-consistent coordination model for computations
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
New directions in computer-aided verification
ACM SIGSOFT Software Engineering Notes
TACCLE: a methodology for object-oriented software testing at the class and cluster levels
ACM Transactions on Software Engineering and Methodology (TOSEM)
Coordinating interaction patterns
Proceedings of the 2001 ACM symposium on Applied computing
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Using SCR to specify requirements of the BART advanced automated train control system
High integrity software
Model checking of hierarchical state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Support for teaching formal methods
ACM SIGCSE Bulletin
Support for teaching formal methods
Working group reports from ITiCSE on Innovation and technology in computer science education
Striving for mathematical thinking
Working group reports from ITiCSE on Innovation and technology in computer science education
Striving for mathematical thinking
ACM SIGCSE Bulletin
Predictable programs in barcodes
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering
Explanation-Based Scenario Generation for Reactive System Models
Automated Software Engineering
Efficient Computation and Representation of Large Reachability Sets for Composed Automata
Discrete Event Dynamic Systems
Geoinformatica
Model-based analysis of configuration vulnerabilities
Journal of Computer Security
Using Simplicity to Control Complexity
IEEE Software
Automatically verifying an object-oriented specification of the steam-boiler system
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
A Framework for Model-Based Design of Agent-Oriented Software
IEEE Transactions on Software Engineering
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
An Abductive Approach for Analysing Event-Based Requirements Specifications
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
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
Runtime Efficient State Compaction in SPIN
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Vacuity Checking in the Modal Mu-Calculus
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
A Formal and Executable Specification of the Internet Open Trading Protocol
EC-WEB '02 Proceedings of the Third International Conference on E-Commerce and Web Technologies
APT Agents: Agents That Are Adaptive, Predictable, and Timely
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
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
A Specification and Validation Technique Based on STATEMATE and FNLOG
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Formal Analysis of Real-Time Systems with SAM
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
The KeY Approach: Integrating Object Oriented Design and Formal Verification
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for 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
A Formal Definition of Stuctured Analysis with Programmable Graph Grammars
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Techniques for Embedding Executable Specifications in Software Component Interfaces
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
A Dynamic Logic for the Formal Verification of Java Card Programs
JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security
Verifying Large SDL-Specifications Using Model Checking
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Formal Methods: The Problem Is Education
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
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
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
Efficient Model Checking Via Büchi Tableau Automata
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Automated Derivation of Complex Agent Architectures from Analysis Specifications
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models
Proceedings of the 17th International Conference on Logic Programming
Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Metamodelig architectures and interoperability of web-enabled information systems
Web-enabled systems integration
Applying information-retrieval methods to software reuse: a case study
Information Processing and Management: an International Journal
Formal modeling in a commercial setting: a case study
Journal of Systems and Software
Verification in loosely synchronous queue-connected discrete timed automata
Theoretical Computer Science
SC(R)3: towards usability of formal methods
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
Composite Propositions: Toward Support for Formal Specification of System Properties
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
Model Checking Implicit-Invocation Systems
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Coverage testing software architectural design in SDL
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Weak, strong, and strong cyclic planning via symbolic model checking
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Evolution of strategies for resource protection problems
Advances in evolutionary computing
On Inspection and Verification of Software with Timing Requirements
IEEE Transactions on Software Engineering
Behaviour model elaboration using partial labelled transition systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling and verification of a class of real-time systems by the use of high level petri nets
Journal of Systems and Software
SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
SAT-Solving the Coverability Problem for Petri Nets
Formal Methods in System Design
An improved formal specification of the Internet Open Trading Pprotocol
Proceedings of the 2004 ACM symposium on Applied computing
Java-MaC: A Run-Time Assurance Approach for Java Programs
Formal Methods in System Design
IEEE/ACM Transactions on Networking (TON)
Formally analyzing software architectural specifications using SAM
Journal of Systems and Software
A model-checking verification environment for mobile processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
A model-based approach to integrating security policies for embedded devices
Proceedings of the 4th ACM international conference on Embedded software
Merging partial behavioural models
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
A semantically-derived subset of English for hardware verification
ACL '99 Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics
Conformant planning via symbolic model checking and heuristic search
Artificial Intelligence
Formal methods for computer systems
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Formal Verification and its Impact on the Snooping versus Directory Protocol Debate
ICCD '05 Proceedings of the 2005 International Conference on Computer Design
From Live Sequence Charts to State Machines and Back: A Guided Tour
IEEE Transactions on Software Engineering
Symbolic model checking of UML activity diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
Symmetry in temporal logic model checking
ACM Computing Surveys (CSUR)
Strong planning under partial observability
Artificial Intelligence
ICWE '06 Proceedings of the 6th international conference on Web engineering
A foundation for behavioural conformance in software product line architectures
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Coalgebraic minimization of HD-automata for the π-calculus using polymorphic types
Theoretical Computer Science - Formal methods for components and objects
Analyzing static and temporal properties of simulation models
Proceedings of the 38th conference on Winter simulation
Bounded model checking of infinite state systems
Formal Methods in System Design
Trusting trusted hardware: towards a formal model for programmable secure coprocessors
WOEC'98 Proceedings of the 3rd conference on USENIX Workshop on Electronic Commerce - Volume 3
Creating and Validating Embedded Assertion Statecharts
IEEE Distributed Systems Online
Integrating UML and Formal Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
MOAS'07 Proceedings of the 18th conference on Proceedings of the 18th IASTED International Conference: modelling and simulation
Lazy buffer semantics for partial order scenarios
Automated Software Engineering
MTSA: Eclipse support for modal transition systems construction, analysis and elaboration
Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange
A logic-based agent that plans for extended reachability goals
Autonomous Agents and Multi-Agent Systems
VDMTools: advances in support for formal modeling in VDM
ACM SIGPLAN Notices
Algorithm of Translation of MSC-specified System into Petri Net
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Experience applying the SPIN model checker to an industrial telecommunications system
Proceedings of the 30th international conference on Software engineering
Transforming sources to petri nets: a way to analyze execution of parallel programs
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
Engineering Systems Which Generate Emergent Functionalities
Engineering Environment-Mediated Multi-Agent Systems
Ugo Montanari and Software Verification
Concurrency, Graphs and Models
Automated Evaluation of Secure Route Discovery in MANET Protocols
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
A defect prediction method for software versioning
Software Quality Control
Formal Verification of Graph Grammars using Mathematical Induction
Electronic Notes in Theoretical Computer Science (ENTCS)
Embedding Intelligence into EDA Tools
Proceedings of the 2006 conference on Integrated Intelligent Systems for Engineering Design
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Typestate protocol specification in JML
Proceedings of the 8th international workshop on Specification and verification of component-based systems
Hierarchical Morphological Composition Of Web Hosting System
Journal of Integrated Design & Process Science
Journal of Artificial Intelligence Research
Conformant planning via symbolic model checking
Journal of Artificial Intelligence Research
Automated verification: graphs, logic, and automata
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Strong planning under partial observability
Artificial Intelligence
A tool for addressing the ramification problem in spatial databases: A solution implemented in SQL
Expert Systems with Applications: An International Journal
Model checking active networks with SPIN
Computer Communications
FLAVERS: a finite state verification technique for software systems
IBM Systems Journal
MS '07 The 18th IASTED International Conference on Modelling and Simulation
Industrial Practice in Formal Methods: A Review
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Explicit-Symbolic Modelling for Formal Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
A Coordination-based Methodology for Security Protocol Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Integration of Reliability and Performance Analyses for Active Network Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling Web Applications by the Multiple Levels of Integrity Policy
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking for a Class of Weighted Automata
Discrete Event Dynamic Systems
Models and tools for managing development processes
Models and tools for managing development processes
Dynamic change in workflow-based coordination of distributed services
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
Formal interactive systems analysis and usability inspection methods: two incompatible worlds?
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Communicating X-machines: from theory to practice
PCI'01 Proceedings of the 8th Panhellenic conference on Informatics
PCI'01 Proceedings of the 8th Panhellenic conference on Informatics
Automata-theoretic model checking revisited
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Formalization and verification of a mail server in Coq
ISSS'02 Proceedings of the 2002 Mext-NSF-JSPS international conference on Software security: theories and systems
Model checking publish-subscribe systems
SPIN'03 Proceedings of the 10th international conference on Model checking software
Linear-time model checking: automata theory in practice
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
"integrare", a collaborative environment for behavior-oriented design
CDVE'07 Proceedings of the 4th international conference on Cooperative design, visualization, and engineering
Verification of program properties using different theorem provers: a case study
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Towards faithful model extraction based on contexts
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Toward patient safety in closed-loop medical device systems
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Secure transaction protocol analysis: models and applications
Secure transaction protocol analysis: models and applications
A formal approach to enforcing consistency in self-adaptive systems
ECSA'10 Proceedings of the 4th European conference on Software architecture
COMBINE: a tool on combined formal methods for bindingly verification
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Fractal Coherence: Scalably Verifiable Cache Coherence
MICRO '43 Proceedings of the 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture
Design verification in model-based μ-controller development using an abstract component
Software and Systems Modeling (SoSyM)
Bisimulation conversion and verification procedure for goal-based control systems
Formal Methods in System Design
Developing artificial agents worthy of trust: "Would you buy a used car from this artificial agent?"
Ethics and Information Technology
Towards verification of SubCprograms with side effects
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Scientific Theories of Computational Systems in Model Checking
Minds and Machines
Context-aware services engineering: Models, transformations, and verification
ACM Transactions on Internet Technology (TOIT)
A verifiable formal specification for RBAC model with constraints of separation of duty
Inscrypt'06 Proceedings of the Second SKLOIS conference on Information Security and Cryptology
Weak Alphabet Merging of Partial Behavior Models
ACM Transactions on Software Engineering and Methodology (TOSEM)
Tool for translating simulink models into input language of a model checker
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Bounded rational search for on-the-fly model checking of LTL properties
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
PN-based formal modeling and verification for ASIP architecture
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Model checking for database theoreticians
ICDT'05 Proceedings of the 10th international conference on Database Theory
From graph transformation to software engineering and back
Formal Methods in Software and Systems Modeling
Verification of graph grammars using a logical approach
Science of Computer Programming
Model checking for nominal calculi
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Manager-client pairing: a framework for implementing coherence hierarchies
Proceedings of the 44th Annual IEEE/ACM International Symposium on Microarchitecture
Model-based security engineering for real
FM'06 Proceedings of the 14th international conference on Formal Methods
Combining ranking concept and social network analysis to detect collusive groups in online auctions
Expert Systems with Applications: An International Journal
On the integration of formal methods: events and Scenarios in PVS and VDM
IW-FM'99 Proceedings of the 3rd 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
Formal methods and standards: an idiosyncratic view
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Ten years of saturation: a petri net perspective
Transactions on Petri Nets and Other Models of Concurrency V
Survey: Combating online in-auction fraud: Clues, techniques and challenges
Computer Science Review
Large-scale formal verification in practice: a process perspective
Proceedings of the 34th International Conference on Software Engineering
Algorithm of Translation of MSC-specified System into Petri Net
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Safety demonstration and software development
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Modeling and Analysis of TinyOS Sensor Node Firmware: A CSP Approach
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Model-Driven v&v processes for computer based control systems: a unifying perspective
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Towards a formal verification methodology for collective robotic systems
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Proceeings of the 2nd International Workshop on Worst-Case Traversal Time
Fuzzy rule optimization for online auction frauds detection based on genetic algorithm
Electronic Commerce Research
Modelling of an automatic call distributor in a multi-site call centre
Proceedings of the 14th International Conference on Computer Systems and Technologies
The actor's view of automated planning and acting: A position paper
Artificial Intelligence
| Hi-index | 0.00 |