Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Analyzing partially-implemented real-time systems
ICSE '97 Proceedings of the 19th international conference on Software engineering
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
Analyzing Partially-Implemented Real-Time Systems
IEEE Transactions on Software Engineering
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
Structured representation of complex stochastic systems
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Checking safety properties using compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Verifying that agents implement a communication language
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Automatic Generation of Invariants
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
Formal Methods in System Design
Agent-oriented software engineering: the state of the art
First international workshop, AOSE 2000 on Agent-oriented software engineering
ACM Transactions on Computational Logic (TOCL)
Synthesis of concurrent programs for an atomic read/write model of computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the construction of a domain language for a class of reactive systems
High integrity software
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
A java toolkit for teaching distributed algorithms
Proceedings of the 7th annual conference on Innovation and technology in computer science education
Proving properties of open agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Model checking multi-agent systems with MABLE
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
A Timed Verification of the IEEE 1394 Leader Election Protocol
Formal Methods in System Design
ACM SIGAPP Applied Computing Review
Validating software pipelining optimizations
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Temporal resolution using a breadth-first search
Annals of Mathematics and Artificial Intelligence
Implicates and reduction techniques for temporal logics
Annals of Mathematics and Artificial Intelligence
Proof planning for strategy development
Annals of Mathematics and Artificial Intelligence
Alternative Translation Techniques for Propositional and First-Order Modal Logics
Journal of Automated Reasoning
Semantic Issues in the Verification of Agent Communication Languages
Autonomous Agents and Multi-Agent Systems
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
From Play-In Scenarios to Code: An Achievable Dream
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Thread-Modular Verification for Shared-Memory Programs
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
An Approach to Compositional Model Checking
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Specifying and verifying a railroad crossing with CafeOBJ
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Monodic fragments of first-order temporal logics: 2000-2001 A.D
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Derivability in Locally Quantified Modal Logics via Translation in Set Theory
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
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
On the Existence of Network Invariants for Verifying Parameterized Systems
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
SLFD Logic: Elimination of Data Redundancy in Knowledge Representation
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Visual Abstractions for Temporal Verification
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Counter-Example Based Predicate Discovery in Predicate Abstraction
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Reasoning about Message Passing in Finite State Environments
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
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
Alternating the Temporal Picture for Safety
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Implicates and Reduction Techniques for Temporal Logics
JELIA '98 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
Abstracting WS1S Systems to Verify Parameterized Networks
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
Synthesis of Linear Ranking Functions
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Incremental Verification by Abstraction
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Technique for Invariant Generation
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Proving Hybrid Protocols Correct
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Automatic Verification of Probabilistic Free Choice
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Specification and Verification of Security Policies in Firewalls
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Compositional Transformational Design for Concurrent Programs
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
The Need for Compositional Proof Systems: A Survey
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Deductive Verification of Modular Systems
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Compositional Real-Time Semantics of STATEMATE Designs
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Compositional Verification in Linear-Time Temporal Logic
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
A System for Object Code Validation
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Verification of the Ricart-Agrawala Algorithm
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
From Falsification to Verification
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
Composing Abstractions of Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
On the Verification of Coordination
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Safety Patterns - The Key to Formal Specification of Safety Requirements
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Verification of Parameterized Systems by Dynamic Induction on Diagrams
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Experience with Predicate Abstraction
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Model Checking of Safety Properties
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Parameterized Verification with Automatically Computed Inductive Assertions
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Practical Methods for Proving Program Termination
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Liveness with (0, 1, infty)-Counter Abstraction
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Verifying Liveness by Augmented Abstraction
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Modelling Change with the Aid of Knowledge and Time
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
Modular Verification for a Class of PLTL Properties
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
The Computational Complexity of Agent Verification
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Guaranteeing Properties for E-commerce Systems
AAMAS '02 Revised Papers from the Workshop on Agent Mediated Electronic Commerce on Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems
A Deductive Proof System for CTL
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
Optimistic and Disjunctive Agent Design Problems
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Formal analysis of Suzuki & Kasami distributed mutual exclusion algorithm
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Computer-assisted assume/guarantee reasoning with VeriSoft
Proceedings of the 25th International Conference on Software Engineering
Integrity constraints in an active database environment
Database integrity
Handbook of automated reasoning
Qualitative spatiotemporal representation and reasoning: a computational perspective
Exploring artificial intelligence in the new millennium
Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ
Proceedings of the 16th IEEE international conference on Automated software engineering
Noninterference Equations for Nondeterministic Systems
CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
A strategy for efficiently verifying requirements
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Runtime safety analysis of multithreaded programs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Compositional verification of knowledge-based task models and problem-solving methods
Knowledge and Information Systems
Non-linear loop invariant generation using Gröbner bases
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compositional Verification of a Multi-Agent System for One-to-Many Negotiation
Applied Intelligence
Building reliable, high-performance networks with the Nuprl proof development system
Journal of Functional Programming
Checking Finite Traces Using Alternating Automata
Formal Methods in System Design
An Overview of the Runtime Verification Tool Java PathExplorer
Formal Methods in System Design
Compositional Abstractions of Hybrid Control Systems
Discrete Event Dynamic Systems
Agent orientation in software engineering
The Knowledge Engineering Review
Deductive Verification of Probabilistic Real-Time Systems
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Efficient Decentralized Monitoring of Safety in Distributed Systems
Proceedings of the 26th International Conference on Software Engineering
Using eternity variables to specify and prove a serializable database interface
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Simulation and verification I: from simulation to verification (and back)
Proceedings of the 35th conference on Winter simulation: driving innovation
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
Transition predicate abstraction and fair termination
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Transition predicate abstraction and fair termination
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Eternity variables to prove simulation of specifications
ACM Transactions on Computational Logic (TOCL)
Specification and verification of data-driven web services
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Rewriting-Based Techniques for Runtime Verification
Automated Software Engineering
Safety assurance via on-line monitoring
Distributed Computing
Verifying mutual exclusion and liveness properties with split preconditions
Journal of Computer Science and Technology
Proving refinement using transduction
Distributed Computing - Special issue: Verification of lazy caching
A verifier for interactive, data-driven web applications
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Formal specification of role-based security policies for clinical information systems
Proceedings of the 2005 ACM symposium on Applied computing
PLTL-partitioned model checking for reactive systems under fairness assumptions
ACM Transactions on Embedded Computing Systems (TECS)
Event-based runtime verification of java programs
WODA '05 Proceedings of the third international workshop on Dynamic analysis
Bridging the gap between fair simulation and trace inclusion
Information and Computation
Collecting Statistics Over Runtime Executions
Formal Methods in System Design
Specifying Urgency in Timed I/O Automata
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Model Checking with Strong Fairness
Formal Methods in System Design
The complexity of agent design problems: Determinism and history dependence
Annals of Mathematics and Artificial Intelligence
Parametric Verification of a Group Membership Algorithm
Theory and Practice of Logic Programming
Automatic verification of timed concurrent constraint programs
Theory and Practice of Logic Programming
Termination proofs for systems code
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Mastering the complexity of reactive systems: the AutoFocus approach
Formal methods for embedded distributed systems
A derivation system and compositional logic for security protocols
Journal of Computer Security
Coverage metrics for requirements-based testing
Proceedings of the 2006 international symposium on Software testing and analysis
BTL2 and the expressive power of ECTL+
Information and Computation
Optimizing slicing of formal specifications by deductive verification
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
SYNERGY: a new algorithm for property checking
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Certifying cryptographic protocols by abstract model-checking and proof concretization
ACM SIGBED Review - Special issues on workshop on innovative techniques for certification of embedded systems
Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A compositional approach to CTL* verification
Theoretical Computer Science - Formal methods for components and objects
Specification and verification of data-driven Web applications
Journal of Computer and System Sciences
Compositional analysis of contract-signing protocols
Theoretical Computer Science - Automated reasoning for security protocol analysis
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
Protocol Composition Logic (PCL)
Electronic Notes in Theoretical Computer Science (ENTCS)
Transition predicate abstraction and fair termination
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special issue on POPL 2005
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
The Challenges of Building Advanced Mechatronic Systems
FOSE '07 2007 Future of Software Engineering
Formal Sequentialization of Distributed Systems via Program Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysis of meeting protocols by formalisation, simulation, and verification
Computational & Mathematical Organization Theory
Applying game theory mechanisms in open agent systems with complete information
Autonomous Agents and Multi-Agent Systems
Specification, analysis and simulation of the dynamics within an organisation
Applied Intelligence
Universal extensions to simulate specifications
Information and Computation
Constructing invariants for hybrid systems
Formal Methods in System Design
Formal driven prototyping approach for multiagent systems
International Journal of Agent-Oriented Software Engineering
A Mechanical Analysis of Program Verification Strategies
Journal of Automated Reasoning
On the use of organisation modelling techniques to address biological organisation
Multiagent and Grid Systems - Multi-agent systems for medicine, computational biology, and bioinformatics
Encoding process algebraic descriptions of web services into BPEL
Web Intelligence and Agent Systems
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulation-based verification using Temporally Attributed Boolean Logic
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Complexity of Verifying Game Equilibria
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Noetherianity and Combination Problems
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
Model Checking and Preprocessing
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
On the Merits of Temporal Testers
25 Years of Model Checking
Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms
ICAISC '08 Proceedings of the 9th international conference on Artificial Intelligence and Soft Computing
Endomorphisms for Non-trivial Non-linear Loop Invariant Generation
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Model-Based Implementation of Real-Time Systems
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
j-POST: a Java Toolchain for Property-Oriented Software Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying liveness for asynchronous programs
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns
Runtime Verification
An Automated Approach for Proving PCL Invariants
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Component Verification in the Generic Component Framework
Electronic Notes in Theoretical Computer Science (ENTCS)
An Algebraic Framework for Modeling of Mobile Systems
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Verifying Reference Counting Implementations
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
From Hilbert's program to a logic tool box
Annals of Mathematics and Artificial Intelligence
Linear Functional Fixed-points
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Model checking temporal logics of knowledge in distributed systems
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Counter Abstraction in the CSP/FDR setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Realizability of Real-Time Logics
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
A relational approach to interprocedural shape analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
International Journal of Advanced Intelligence Paradigms
Temporal Logic for Modeling Discovery and Logical Uncertainty
KES '09 Proceedings of the 13th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems: Part II
Specifying and Verifying Business Processes Using PPML
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Monitoring Algorithms for Metric Temporal Logic Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
An Input/Output Semantics for Distributed Program Equivalence Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Monitoring Interfaces for Faults
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca
Electronic Notes in Theoretical Computer Science (ENTCS)
Bridging the gap between fair simulation and trace inclusion
Information and Computation
Model checking of software for microcontrollers
ACM Transactions on Embedded Computing Systems (TECS)
ACM Inroads
Interactive verification of concurrent systems using symbolic execution
AI Communications - Practical Aspects of Automated Reasoning
On the completeness of compositional reasoning methods
ACM Transactions on Computational Logic (TOCL)
Parameterized verification by probabilistic abstraction
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Compositional circular assume-guarantee rules cannot be sound and complete
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Amir Pnueli and the dawn of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Automatic invariant generation for hybrid systems using ideal fixed points
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
On the automated synthesis of proof-carrying temporal reference monitors
LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation
The definition of a temporal clock operator
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
TCTL inevitability analysis of dense-time systems
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
A logical basis for the specification of reconfigurable component-based systems
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Invariant synthesis for combined theories
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
GOAL: a graphical tool for manipulating Büchi automata and temporal formulae
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Verifying temporal heap properties specified via evolution logic
ESOP'03 Proceedings of the 12th European conference on Programming
Formal specification of an immune based agent architecture
Engineering Applications of Artificial Intelligence
Verifying temporal properties of community designs
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Decomposing integrated specifications for verification
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Adaptation of open component-based systems
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Discovering non-linear ranking functions by solving semi-algebraic systems
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
AMT: a property-based monitoring tool for analog systems
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
PSL for runtime verification: theory and practice
RV'07 Proceedings of the 7th international conference on Runtime verification
The good, the bad, and the ugly, but how ugly is ugly?
RV'07 Proceedings of the 7th international conference on Runtime verification
Component-based standardisation of agent communication
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
On the characterization of until as a fixed point under clocked semantics
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
GOAL extended: towards a research tool for omega automata and temporal logic
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Generating polynomial invariants with DISCOVERER and QEPCAD
Formal methods and hybrid real-time systems
Checking temporal properties of discrete, timed and continuous behaviors
Pillars of computer science
Verification and implementation of software for dependable controllers
International Journal of Critical Computer-Based Systems
Analog property checkers: a DDR2 case study
Formal Methods in System Design
Cybernetics and Systems Analysis
LTL Goal Specifications Revisited
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Experiences in the logical specification of the HIPAA and GLBA privacy laws
Proceedings of the 9th annual ACM workshop on Privacy in the electronic society
Multi-agent logic with distances based on linear temporal frames
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Temporal verification of reactive systems: response
Time for verification
Size-change termination and transition invariants
SAS'10 Proceedings of the 17th international conference on Static analysis
From MTL to deterministic timed automata
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Reasoning and inference rules in basic linear temporal logic BLTL
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part II
Journal of Computer Security - 7th International Workshop on Issues in the Theory of Security (WITS'07)
A framework to compute inference rules valid in agents' temporal logics
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Predicate abstraction and refinement for verifying multi-threaded programs
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Non-monotonic refinement of control abstraction for concurrent programs
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Formal Methods in System Design
Decision procedures for the temporal verification of concurrent lists
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
On symmetries and spotlights: verifying parameterised systems
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
SAT-based model checking without unrolling
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Distributed and predictable software model checking
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
A three-dimensional abstraction framework to compare multi-agent system models
ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume PartI
Simulation refinement for concurrency verification
Science of Computer Programming
Logical classification of distributed algorithms (Bakery algorithms as an example)
Theoretical Computer Science
The theory and practice of SALT
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Instantiation-based invariant discovery
NFM'11 Proceedings of the Third international conference on NASA Formal methods
A theory of skiplists with applications to the verification of concurrent datatypes
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Generalizing the template polyhedral domain
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
Formalizing requirements with object models and temporal constraints
Software and Systems Modeling (SoSyM)
Service Oriented Computing and Applications
Runtime Verification for LTL and TLTL
ACM Transactions on Software Engineering and Methodology (TOSEM)
Inference rules in multi-agents' temporal logics
Transactions on computational collective intelligence IV
Proving safety properties of rewrite theories
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Better algorithms for analyzing and enacting declarative workflow languages using LTL
BPM'11 Proceedings of the 9th international conference on Business process management
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Policy auditing over incomplete logs: theory, implementation and applications
Proceedings of the 18th ACM conference on Computer and communications security
Algebraic approach to linking the semantics of web services
Innovations in Systems and Software Engineering
Using process algebra for web services: early results and perspectives
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
A Decidability Result for the Model Checking of Infinite-State Systems
Journal of Automated Reasoning
Linear temporal logic with until and before on integer numbers, deciding algorithms
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
Invisible safety of distributed protocols
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Formal specification of holonic multi-agent systems framework
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III
A static communication elimination algorithm for distributed system verification
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Real time temporal logic: past, present, future
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
SALT—structured assertion language for temporal logic
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Liveness by invisible invariants
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
Verification constraint problems with strengthening
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Proving ATL* properties of infinite-state systems
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Temporal reasoning for procedural programs
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Regular linear temporal logic with past
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
A formal approach to design and reuse agent and multiagent models
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Scalable analysis of linear systems using mathematical programming
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
A new proof of the GHS minimum spanning tree algorithm
DISC'06 Proceedings of the 20th international conference on Distributed Computing
Separating fairness and well-foundedness for the analysis of fair discrete systems
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Java-MOP: a monitoring oriented programming environment for java
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
What's decidable about arrays?
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Formal verification of pentium ® 4 components with symbolic simulation and inductive invariants
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Formal verification of backward compatibility of microcode
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Efficient monitoring of ω-languages
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
IIV: an invisible invariant verifier
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
A logic for knowledge, correctness, and real time
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Counterexample guided invariant discovery for parameterized cache coherence verification
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
Abstraction refinement for termination
SAS'05 Proceedings of the 12th international conference on Static Analysis
IC3: where monolithic and incremental meet
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
An incremental approach to model checking progress properties
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
Kripke modelling and verification of temporal specifications of a multiple UAV system
Annals of Mathematics and Artificial Intelligence
Thread allocation protocols for distributed real-time and embedded systems
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
PSL model checking and run-time verification via testers
FM'06 Proceedings of the 14th international conference on Formal Methods
Specification of role-based interactions components in multi-agent systems
Software Engineering for Multi-Agent Systems III
The recognition and interpretation of motion in language
CICLing'10 Proceedings of the 11th international conference on Computational Linguistics and Intelligent Text Processing
SLAB: a certifying model checker for infinite-state concurrent systems
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hierarchical reasoning for the verification of parametric systems
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Understanding and protecting privacy: formal semantics and principled audit mechanisms
ICISS'11 Proceedings of the 7th international conference on Information Systems Security
Implementing temporal logics: tools for execution and proof
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
On the composition of compositional reasoning
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Synthesizing efficient controllers
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
Symbolic execution of Reo circuits using constraint automata
Science of Computer Programming
A logic to specify and verify synchronous transitions
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
Synthesizing software verifiers from proof rules
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Incremental verification with mode variable invariants in state machines
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification
Journal of Systems and Software
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation
RV'11 Proceedings of the Second international conference on Runtime verification
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
Generalized property directed reachability
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
From linear temporal logic properties to rewrite propositions
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Timed relational abstractions for sampled data control systems
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
A compositional testing framework driven by partial specifications
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
How to translate efficiently extensions of temporal logics into alternating automata
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
Specifying and verifying declarative fluent temporal logic properties of workflows
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
A formal method for testing reactive system from symbolic model
AICI'12 Proceedings of the 4th international conference on Artificial Intelligence and Computational Intelligence
Invariant generation for parametrized systems using self-reflection
SAS'12 Proceedings of the 19th international conference on Static Analysis
Hyperstream processing systems: nonstandard modeling of continuous-time signals
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
International Journal of Intelligent Information Technologies
Ramsey vs. lexicographic termination proving
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Least-violating control strategy synthesis with safety rules
Proceedings of the 16th international conference on Hybrid systems: computation and control
Proceedings of the 18th ACM symposium on Access control models and technologies
Efficient robust monitoring for STL
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Causality-Based verification of multi-threaded programs
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
A coinductive calculus for asynchronous side-effecting processes
Information and Computation
Synchronous programming in audio processing: A lookup table oscillator case study
ACM Computing Surveys (CSUR)
Specification and Verification of Concurrent Programs Through Refinements
Journal of Automated Reasoning
CSP-based counter abstraction for systems with node identifiers
Science of Computer Programming
On Automation in the Verification of Software Barriers: Experience Report
Journal of Automated Reasoning
Journal of Computer Security - STM'10
| Hi-index | 0.00 |