Efficient temporal reasoning (extended abstract)
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Detecting Unsafe Error Recovery Schedules
IEEE Transactions on Software Engineering
Inductive definitions, semantics and abstract interpretations
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the feasibility of checking temporal integrity constraints
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Distributed real-time system specification and verification in APTL
ACM Transactions on Software Engineering and Methodology (TOSEM)
A unified approach to language containment and fair CTL model checking
DAC '93 Proceedings of the 30th international Design Automation Conference
Incremental formal design verification
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
The complexity of verification
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
A time abstraction method for efficient verification of communicating systems
DAC '94 Proceedings of the 31st annual Design Automation Conference
A verification method based on homomorphic model abstractions (abstract)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
Sequential synthesis using S1S
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
Temporal versus first-order logic to query temporal databases
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The MENTOR workbench for enterprise-wide workflow management
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Relative liveness and behavior abstraction (extended abstract)
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
Formal verification of FIRE: a case study
DAC '97 Proceedings of the 34th annual Design Automation Conference
Synthesis of concurrent systems with many similar processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Relational transducers for electronic commerce
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Handling temporal grouping and pattern-matching queries in a temporal object model
Proceedings of the seventh international conference on Information and knowledge management
Qualitative simulation as a temporally-extended constraint satisfaction problem
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Liveness-preserving simulation relations
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Automatic compositional minimization in CTL model checking
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Formalization of Workflows and Correctness Issues in the Presence of Concurrency
Distributed and Parallel Databases - Special issue on electronic commerce
Specification and verification of fault-tolerance, timing, and scheduling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symbolic Protocol Verification with Queue BDDs
Formal Methods in System Design
Enforcing trace properties by program transformation
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Verification of relational tranducers for electronic commerce
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Reachability and connectivity queries in constraint databases
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Logic representation of processes in work activity coordination
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Symbolic guided search for CTL model checking
Proceedings of the 37th Annual Design Automation Conference
Model-checking continuous-time Markov chains
ACM Transactions on Computational Logic (TOCL)
Simulation-guided property checking based on a multi-valued AR-automata
Proceedings of the conference on Design, automation and test in Europe
Formal specification in VHDL for hardware verification
Proceedings of the conference on Design, automation and test in Europe
ACM Transactions on Computational Logic (TOCL)
Formalization of commitment-based agent interaction
Proceedings of the 2001 ACM symposium on Applied computing
Parametric temporal logic for “model measuring”
ACM Transactions on Computational Logic (TOCL)
Static checking of interrupt-driven software
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Synthesis of concurrent programs for an atomic read/write model of computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Datalog LITE: a deductive query language with linear time model checking
ACM Transactions on Computational Logic (TOCL)
An infinite hierarchy of temporal logics over branching time
Information and Computation
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
The abc of rational agent modelling
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Tractable multiagent planning for epistemic goals
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
Linear time datalog and branching time logic
Logic-based artificial intelligence
Model Checking of Safety Properties
Formal Methods in System Design
SIVA: A System for Coverage-Directed State Space Search
Journal of Electronic Testing: Theory and Applications
A Logical Theory of Interfaces and Objects
IEEE Transactions on Software Engineering
The complexity of propositional linear temporal logics in simple cases
Information and Computation
Secure calling contexts for stack inspection
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Software model checking in practice: an industrial case study
Proceedings of the 24th International Conference on Software Engineering
Jeeg: a programming language for concurrent objects synchronization
JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Alternating-time temporal logic
Journal of the ACM (JACM)
Planning for temporally extended goals
Annals of Mathematics and Artificial Intelligence
Focusing qualitative simulation using temporal logic: theoretical foundations
Annals of Mathematics and Artificial Intelligence
Route generation and description using a logical and an analogical framework
Annals of Mathematics and Artificial Intelligence
TALplanner: A temporal logic based forward chaining planner
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Construction of an Automaton From a Formula of the Monadic First-Order Theory of Natural Numbers
Cybernetics and Systems Analysis
Toupie: The µ-calculus over Finite Domains as a Constraint Language
Journal of Automated Reasoning
Strategies in Model-based Diagnosis
Journal of Automated Reasoning
An Extended Branching-Time Ockhamist Temporal Logic
Journal of Logic, Language and Information
Query Processing Techniques for Multimedia Presentations
Multimedia Tools and Applications
On Verifying Distributed Multithreaded Java Programs
Software Quality Control
A type system for lock-free processes
Information and Computation - IFIP TCS2000
Clausal resolution in a logic of rational agency
Artificial Intelligence
Formula-Dependent Equivalence for Compositional CTL Model Checking
Formal Methods in System Design
Silicon Debug of a PowerPC™ Microprocessor Using Model Checking
Formal Methods in System Design
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
Semantic Issues in the Verification of Agent Communication Languages
Autonomous Agents and Multi-Agent Systems
On the Relationship Between BDI Logics and Standard Logics of Concurrency
Autonomous Agents and Multi-Agent Systems
A Logic for Characterizing Multiple Bounded Agents
Autonomous Agents and Multi-Agent Systems
Temporal and Real-Time Databases: A Survey
IEEE Transactions on Knowledge and Data Engineering
Knowledge-Based Image Retrieval with Spatial and Temporal Constructs
IEEE Transactions on Knowledge and Data Engineering
Querying Multimedia Presentations Based on Content
IEEE Transactions on Knowledge and Data Engineering
On-the-fly model checking from interval logic specifications
ACM SIGPLAN Notices
Model Generation by Moderated Regular Extrapolation
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
An Approach to Compositional Model Checking
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Reasoning about Evolving Nonmonotonic Knowledge Bases
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Monodic fragments of first-order temporal logics: 2000-2001 A.D
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Improving Automata Generation for Linear Temporal Logic by Considering the Automaton Hierarchy
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
On the Structure of the Monadic Logic of the Binary Tree
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Why so Many Temporal Logics Climb up the Trees?
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
State Generation in the PARMC Model Checker
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Linear Temporal Logic and Finite Semigroups
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Model Checking and Abstraction
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Annotated Temporal Logics Delta*tau
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
Analyzing Mode Confusion via Model Checking
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Model Checking Knowledge and Time
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Concurrent Embedded Real-Time Software Verification
COMPSAC '00 24th International Computer Software and Applications Conference
Proceedings of the 13th International Symposium on Distributed Computing
On Solving Temporal Logic Queries
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Representing "Just Invalid" Knowledge
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Verification of Payment Protocols via MultiAgent Model Checking
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Parametric Temporal Logic for "Model Measuring"
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Evolving Objects: Conceptual Description of Adaptive Information Systems
FoMLaDO/DEMM 2000 Selected papers from the 9th International Workshop on Foundations of Models and Languages for Data and Objects, Database Schema Evolution and Meta-Modeling
A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Bounded Model Checking for Timed Systems
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Model Reductions and a Case Study
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Model Checking of Unrestricted Hierarchical State Machines
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Formal Modelling of Java GUI Event Handling
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
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
Complexity of Multi-agent Systems Behavior
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Scheduling System Verification
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Symbolic Model Checking for Rectangular Hybrid Systems
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Coverage Metrics for Temporal Logic Model Checking
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Branching vs. Linear Time: Final Showdown
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
The ForSpec Temporal Logic: A New Temporal Property-Specification Language
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A HOL Conversion for Translating Linear Time Temporal Logic to omega-Automata
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Agent Specification Using Multi-context Systems
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Agents with Bounded Temporal Resources
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Nesting Until and Since in Linear Temporal Logic
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
A Parametric Analysis of the State Explosion Problem in Model Checking
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Behavior-Based Model Construction
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Towards a Proof-Theoretic Foundation for Actor Specification and Verification
Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
Exercises in Coalgebraic Specification
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Synthesis of Large Concurrent Programs via Pairwise Composition
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Generalized Model Checking: Reasoning about Partial State Spaces
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Model Checking with Finite Complete Prefixes Is PSPACE-Complete
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Open Systems in Reactive Environments: Control and Synthesis
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Expressive Power of Temporal Logics
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Local Model Checking Games for Fixed Point Logic with Chop
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Reducing Model Checking from Multi-valued {\rm CTL}^{\ast} to {\rm CTL}^{\ast}
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Lazy Compositional Verification
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Vacuity Detection in Temporal Model Checking
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Model Checking CTL+ and FCTL is Hard
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
On Model Checking Durational Kripke Structures
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Model Checking Fixed Point Logic with Chop
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
On Expressive and Model Checking Power of Propositional Program Logics
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Towards Bounded Model Checking for the Universal Fragment of TCTL
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Implicit Temporal Query Languages: Towards Completeness
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Model Checking CTL Properties of Pushdown Systems
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
A Decidable Dense Branching-Time Temporal Logic
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Hybrid Systems' Properties - Classification and Relation to Computer Science
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Equivalence-Checking with Infinite-State Systems: Techniques and Results
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Model-Checking: A Tutorial Introduction
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Moving Objects: Logical Relationships and Queries
SSTD '01 Proceedings of the 7th International Symposium on Advances in Spatial and Temporal Databases
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A Request Language for Web-Services Based on Planning and Constraint Satisfaction
TES '02 Proceedings of the Third International Workshop on Technologies for E-Services
Synthesizing State-Based Object Systems from LSC Specifications
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Alternating Automata and Logics over Infinite Words
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Validation of Control System Specifications with Abstract Plant Models
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Progressive Planning for Mobile Robots (A Progress Report)
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
A Strategy for Improving the Efficiency of Procedure Verification
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Constraint Logic Programming for Local and Symbolic Model-Checking
CL '00 Proceedings of the First International Conference on Computational Logic
Perfect Model Checking via Unfold/Fold Transformations
CL '00 Proceedings of the First International Conference on Computational Logic
A Heuristic for Symmetry Reductions with Scalarsets
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Avoiding State Explosion for Distributed Systems with Timestamps
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Interference Analysis for Dependable Systems Using Refinement and Abstraction
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Model Checking Partial State Spaces with 3-Valued Temporal Logics
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Automatic Verification of Abstract State Machines
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Stutter-Invariant Languages, omega-Automata, and Temporal Logic
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Efficient Decision Procedures for Model Checking of Linear Time Logic Properties
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
On Stubborn Sets in the Verification of Linear Time Temporal Properties
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Condensed State Spaces for Timed Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Model Checking with Formula-Dependent Abstract Models
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Model Checking Abstract State Machines and Beyond
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Synchronized Product of Linear Bounded Machines
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Model Checking Object-Z Using ASM
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
On the Relationship Between BDI Logics and Standard Logics of Concurrency
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Representing Abstract Agent Architectures
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Model-Checking Based Data Retrieval
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Symbolic Model Checking of Biochemical Networks
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
A Deductive Proof System for CTL
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Introducing Mutual Exclusion in Esterel
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Applying SDL Specifications and Tools to the Verification of Procedures
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Symmetry and Reduced Symmetry in Model Checking
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Decidable Classes of the Verification Problem in a Timed Predicate Logic
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay
Theoretical Computer Science - Category theory and computer science
Exercises in coalgebraic specification
Algebraic and coalgebraic methods in the mathematics of program construction
Algebraic and coalgebraic methods in the mathematics of program construction
Automated verification using deduction, exploration, and abstraction
Programming methodology
Journal of Automata, Languages and Combinatorics - Selected papers of the workshop on logic and algebra for concurrency
Finite automata on timed ω-trees
Theoretical Computer Science
Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL
Theoretical Computer Science
An n! lower bound on formula size
ACM Transactions on Computational Logic (TOCL)
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the expressivity and complexity of quantitative branching-time temporal logics
Theoretical Computer Science - Latin American theoretical informatics
Undecidable problems in unreliable computations
Theoretical Computer Science - Latin American theoretical informatics
Symbolic model checking of Dual Transition Petri Nets
Proceedings of the tenth international symposium on Hardware/software codesign
Planning with a language for extended goals
Eighteenth national conference on Artificial intelligence
A model checker for verifying ConGolog programs
Eighteenth national conference on Artificial intelligence
Handbook of automated reasoning
The complexity of achievement and maintenance problems in agent-based systems
Artificial Intelligence
Design and implementation of a string database query language
Information Systems - Special issue: Data management in bioinformatics
Modelling large railway interlockings and model checking small ones
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Verifying real-time properties of MOS-transistor circuits
EDTC '95 Proceedings of the 1995 European conference on Design and Test
Relating word and tree automata
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Partial-Order Methods for Model Checking: From Linear Time to Branching Time
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
An Until Hierarchy for Temporal Logic
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Symbolic Protocol Verification with Queue BDDs
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
The complexity of the temporal logic with "until" over general linear time
Journal of Computer and System Sciences
Symbolic Verification and Analysis of Discrete Timed Systems
Formal Methods in System Design
Formal Verification of Digital Systems
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
Analyzing a PowerPC" 620 Microprocessor Silicon Failure using Model Checking
ITC '97 Proceedings of the 1997 IEEE International Test Conference
Verification of relational transducers for electronic commerce
Journal of Computer and System Sciences - Special issue on PODS 2000
Reachability and connectivity queries in constraint databases
Journal of Computer and System Sciences - Special issue on PODS 2000
Verifying epistemic properties of multi-agent systems via bounded model checking
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Engineering commitment-based multiagent systems: a temporal logic approach
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Distributed enactment of multiagent workflows: temporal logic for web service composition
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
On feasible cases of checking multi-agent systems behavior
Theoretical Computer Science - Logic and complexity in computer science
On temporal logic versus datalog
Theoretical Computer Science - Logic and complexity in computer science
A lattice-theoretic characterization of safety and liveness
Proceedings of the twenty-second annual symposium on Principles of distributed computing
Weak, strong, and strong cyclic planning via symbolic model checking
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Undecidability of a multi-agent logic
Fundamenta Informaticae - Concurrency specification and programming
The complexity of bisimilarity-checking for one-counter processes
Theoretical Computer Science
Verifying epistemic properties of multi-agent systems via bounded model checking
Fundamenta Informaticae - Concurrency specification and programming
Model checking stochastic automata
ACM Transactions on Computational Logic (TOCL)
Automata logics, and infinite games
IEEE Internet Computing
Specification of business components using temporal OCL
UML and the unified process
Synthesis of fault-tolerant concurrent programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deterministic generators and games for Ltl fragments
ACM Transactions on Computational Logic (TOCL)
An algorithmic approach to knowledge evolution
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
The temporal logic of coalgebras via Galois algebras
Mathematical Structures in Computer Science
Proof-theoretic foundations for the design of actor systems
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
A functional reactive animation of a lift using Fran
Journal of Functional Programming
TEMPOS: A Platform for Developing Temporal Applications on Top of Object DBMS
IEEE Transactions on Knowledge and Data Engineering
Enhanced Diameter Bounding via Structural
Proceedings of the conference on Design, automation and test in Europe - Volume 1
DP Lower bounds for equivalence-checking and model-checking of one-counter automata
Information and Computation
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
Journal of Computer Science and Technology
Inductively Verifying Invariant Properties of Parameterized Systems
Automated Software Engineering
Properties of Hybrid Systems—A Computer Science Perspective
Formal Methods in System Design
Model Checking for Combined Logics with an Application to Mobile Systems
Automated Software Engineering
Tools for design of composite Web services
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Static Analysis for State-Space Reductions Preserving Temporal Logics
Formal Methods in System Design
Annals of Mathematics and Artificial Intelligence
Symmetry and reduced symmetry in model checking
ACM Transactions on Programming Languages and Systems (TOPLAS)
CTR-S: a logic for specifying contracts in semantic web services
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Temporalized logics and automata for time granularity
Theory and Practice of Logic Programming
Review of "Agency and deontic logic by John Horty" Oxford university press 2001
Artificial Intelligence and Law
A Logical Model for Commitment and Argument Network for Agent Communication
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Towards a Control-Theoretical Approach to Software Fault-Tolerance
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Deadline Analysis of Interrupt-Driven Software
IEEE Transactions on Software Engineering
Coalition games and alternating temporal logics
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Sound development of secure service-based systems
Proceedings of the 2nd international conference on Service oriented computing
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
Modeling and querying biomolecular interaction networks
Theoretical Computer Science - Special issue: Computational systems biology
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
Theoretical Computer Science - Special issue: Computational systems biology
A classification of symbolic transition systems
ACM Transactions on Computational Logic (TOCL)
Interfaces for stack inspection
Journal of Functional Programming
Protocols for processes: programming in the large for open systems
ACM SIGPLAN Notices
Theoretical Computer Science - Implementation and application of automata
A Coordinated Spatio-Temporal Access Control Model for Mobile Computing in Coalition Environments
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 17 - Volume 18
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
Reasoning about evolving nonmonotonic knowledge bases
ACM Transactions on Computational Logic (TOCL)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Interactive and Probabilistic Proof of Mobile Code Safety
Automated Software Engineering
Journal of Computer Security - Special issue on ACM conference on computer and communications security, 2001
On the logic of cooperation and propositional control
Artificial Intelligence
Understanding planning with incomplete information and sensing
Artificial Intelligence
The relative completeness of a version of CTL
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
A logic for strategic reasoning
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A commitment-based communicative act library
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Information and Computation
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Modal logics for timed control
CONCUR 2005 - Concurrency Theory
A new modality for almost everywhere properties in timed automata
CONCUR 2005 - Concurrency Theory
A fixpoint calculus for local and global program flows
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
On relating functional specifications to architectural specifications: a case study
Science of Computer Programming
Dual Flow Nets: Modeling the control/data-flow relation in embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
A clausal resolution method for branching-time logic ECTL+
Annals of Mathematics and Artificial Intelligence
Analysis of communication models in web service compositions
Proceedings of the 15th international conference on World Wide Web
XFM: extreme formal method for capturing formal specification into abstract models
Formal methods and models for system design
Verification of communicating data-driven web services
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Complete axiomatization and decidability of alternating-time temporal logic
Theoretical Computer Science
Efficient timed model checking for discrete-time systems
Theoretical Computer Science
Modeling and verification of adaptive navigation in web applications
ICWE '06 Proceedings of the 6th international conference on Web engineering
A parametric analysis of the state-explosion problem in model checking
Journal of Computer and System Sciences
Tool support for checking railway interlocking designs
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
BTL2 and the expressive power of ECTL+
Information and Computation
On the complexity of practical ATL model checking
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Checking content consistency of integrated web documents
Journal of Computer Science and Technology - Special section on China AVS standard
Feature interaction detection by pairwise analysis of LTL properties: a case study
Formal Methods in System Design
Question-guided stubborn set methods for state properties
Formal Methods in System Design
An intruder model for verifying liveness in security protocols
Proceedings of the fourth ACM workshop on Formal methods in security
Addressing concurrency in object-oriented software development
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
On the analysis of interacting pushdown systems
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A compositional approach to CTL* verification
Theoretical Computer Science - Formal methods for components and objects
A Fixed-point Characterization of a Deontic Logic of Regular Action
Fundamenta Informaticae - Deontic Logic in Computer Science
Quantitative temporal logics over the reals: PSpace and below
Information and Computation
A power-set construction for reducing Büchi automata to non-determinism degree two
Information Processing Letters
Specification and verification of data-driven Web applications
Journal of Computer and System Sciences
Extending temporal databases to deal with telic/atelic medical data
Artificial Intelligence in Medicine
Compositional Synthesis of Generalized Mealy Machines
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Rational Teams: Logical Aspects of Multi-Agent Systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
Logical Analysis of Biological Systems
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Expressing and Verifying Temporal and Structural Properties of Mobile Agents
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
A Strong Completeness Result for a MAS Logic
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Update and Abstraction in Model Checking of Knowledge and Branching Time
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Model checking the Java metalocking algorithm
ACM Transactions on Software Engineering and Methodology (TOSEM)
Ultraproducts and possible worlds semantics in institutions
Theoretical Computer Science
Verification of Medical Guidelines Using Background Knowledge in Task Networks
IEEE Transactions on Knowledge and Data Engineering
Towards a framework for handling disputes in payment systems
WOEC'98 Proceedings of the 3rd conference on USENIX Workshop on Electronic Commerce - Volume 3
Temporal Logics of Knowledge and their Applications in Security
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulation Machines for Checking Action System Refinements
Electronic Notes in Theoretical Computer Science (ENTCS)
Stochastic processes and temporal data mining
Proceedings of the 13th ACM SIGKDD international conference on Knowledge discovery and data mining
A Formal Analysis of Auditing Principles for Electronic Trade Procedures
International Journal of Electronic Commerce
Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties
ACM Transactions on Computational Logic (TOCL)
Towards Trace Visualization and Exploration for Reactive Systems
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Diconic addition of failsafe fault-tolerance
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Alternating-time temporal logics with irrevocable strategies
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Alternating-time temporal logic with explicit strategies
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Temporal linear logic as a basis for flexible agent interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Agents, beliefs, and plausible behavior in a temporal setting
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
ACTLW - An action-based computation tree logic with unless operator
Information Sciences: an International Journal
Service-Oriented Mediation with jETI/jABC: Verification and Export
WI-IATW '07 Proceedings of the 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops
Using Model Checking to Automatically Find Retrieve Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning about non-immediate triggers in biological networks
Annals of Mathematics and Artificial Intelligence
Bounded Model Checking for the Existential Fragment of TCTL_{-G} and Diagonal Timed Automata
Fundamenta Informaticae
On First-Order Fragments for Mazurkiewicz Traces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Slicing for model reduction in adaptive embedded systems development
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Synthesising verified access control systems through model checking
Journal of Computer Security
Aspect-oriented in-lined reference monitors
Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security
Static analysis of active XML systems
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Maintenance goals of agents in a dynamic environment: Formulation and policy construction
Artificial Intelligence
Open answer set programming with guarded programs
ACM Transactions on Computational Logic (TOCL)
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Proving Correctness of an Efficient Abstraction for Interrupt Handling
Electronic Notes in Theoretical Computer Science (ENTCS)
Arity hierarchy for temporal logics
Theoretical Computer Science
A temporal logic for Markov chains
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Goals in agent systems: a unifying framework
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Semantic matchmaking of web services using model checking
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Verification of scope-dependent hierarchical state machines
Information and Computation
Embedding finite automata within regular expressions
Theoretical Computer Science
A Commitment-Based Communicative Act Library
Agent Communication II
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
Verified Software: Theories, Tools, Experiments
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis
Model Checking and Artificial Intelligence
Commitment Monitoring in a Multiagent System
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
MASL: A Logic for the Specification of Multiagent Real-Time Systems
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Temporal Logic with Capacity Constraints
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
Curricula Modeling and Checking
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
Specification and Verification of Artifact Behaviors in Business Process Models
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
The Beginning of Model Checking: A Personal Perspective
25 Years of Model Checking
Model Checking: From Tools to Theory
25 Years of Model Checking
Formula-Dependent Abstraction for CTL Model Checking
ICCSA '08 Proceedings of the international conference on Computational Science and Its Applications, Part II
A Logical Analysis of the Interaction between `Obligation-to-do' and `Knowingly Doing'
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Ranking Automata and Games for Prioritized Requirements
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
ATL* Satisfiability Is 2EXPTIME-Complete
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Property Preservation along Embedding of Biological Regulatory Networks
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Improving Trust in Composite eServices Via Run-Time Participants Testing
EGOV '08 Proceedings of the 7th international conference on Electronic Government
GOAL Agents Instantiate Intention Logic
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Extending open core protocol to support system-level cache coherence
CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis
Dynamic composition and optimization of Web services
Distributed and Parallel Databases
Data & Knowledge Engineering
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems
Journal of Systems and Software
FPGA based tester tool for hybrid real-time systems
Microprocessors & Microsystems
CPO semantics of timed interactive actor networks
Theoretical Computer Science
Classical Knowledge for Quantum Cryptographic Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Comments on temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Reasoning about coalitional games
Artificial Intelligence
A Logic of Strategic Ability Under Bounded Memory
Journal of Logic, Language and Information
Exploring the Future with Resource-Bounded Agents
Journal of Logic, Language and Information
Practical Efficient Modular Linear-Time Model-Checking
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
A Logic for Reasoning about Rational Agents
Computational Logic in Multi-Agent Systems
Formal Modelling of Emotions in BDI Agents
Computational Logic in Multi-Agent Systems
Applying model-checking to solve queries on semistructured data
Computer Languages, Systems and Structures
Original papers: Model-checking for adventure videogames
Information and Software Technology
The Complexity of Satisfiability for Fragments of CTL and CTL*;
Electronic Notes in Theoretical Computer Science (ENTCS)
Toward an AgentSpeak(L) Theory of Commitment and Intentional Learning
MICAI '08 Proceedings of the 7th Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Formal Methods in System Design
A Temporal Logic for Stochastic Multi-Agent Systems
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Verification from Declarative Specifications Using Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Hierarchical Classifiers for Complex Spatio-temporal Concepts
Transactions on Rough Sets IX
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
Declarative Agent Languages and Technologies VI
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
Declarative Agent Languages and Technologies VI
Design and Analysis of the Composed Telecom Services
Service-Oriented Computing - ICSOC 2007 Workshops
A Labeled Natural Deduction System for a Fragment of CTL*
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Towards the automated verification of semi-structured documents
Data & Knowledge Engineering
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
How big must complete XML query languages be?
Proceedings of the 12th International Conference on Database Theory
Automatic verification of data-centric business processes
Proceedings of the 12th International Conference on Database Theory
Completeness and Complexity of Multi-modal CTL
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Methods in System Design
Survey on Directed Model Checking
Model Checking and Artificial Intelligence
Temporal Verification of Fault-Tolerant Protocols
Methods, Models and Tools for Fault Tolerance
A Context-Based Institutional Normative Environment
Coordination, Organizations, Institutions and Norms in Agent Systems IV
CTL AgentSpeak(L): A specification language for agent programs
Journal of Algorithms
A note on stutter-invariant PLTL
Information Processing Letters
Equational Abstractions for Reducing the State Space of Rewrite Theories
Electronic Notes in Theoretical Computer Science (ENTCS)
Code patterns for agent-oriented programming
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Agent programming with temporally extended goals
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Rational play and rational beliefs under uncertainty
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Applied Temporal RDF: Efficient Temporal Querying of RDF Data with SPARQL
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Language engineering techniques for the development of e-learning applications
Journal of Network and Computer Applications
A Note on Non-Alethic Temporal Logics
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
On the Multimodal Logic of Elementary Normative Systems
Proceedings of the 2007 conference on Artificial Intelligence Research and Development
Automatic Enforcement of Security in Computer Networks
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
Synthesis and Composition of Web Services
Formal Methods for Web Services
Developing parallel programs: A design-oriented perspective
IWMSE '09 Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering
Verifying Action Semantics Specifications in UML Behavioral Models
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Issues in Designing Logical Models for Norm Change
Organized Adaption in Multi-Agent Systems
Temporal Reasoning in Urban Growth Simulation
RSKT '09 Proceedings of the 4th International Conference on Rough Sets and Knowledge Technology
Automated deduction for verification
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Model checking: algorithmic verification and debugging
Communications of the ACM - Scratch Programming for All
Information and Computation
Counterexamples in Probabilistic LTL Model Checking for Markov Chains
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Tableau-based decision procedures for logics of strategic ability in multiagent systems
ACM Transactions on Computational Logic (TOCL)
A Refined Resolution Calculus for CTL
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Fair Derivations in Monodic Temporal Reasoning
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Computational Logic in Multi-Agent Systems
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
The semantics of potential intentions
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Issues in reasoning about interaction networks in cells: necessity of event ordering knowledge
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Logic for automated mechanism design: a progress report
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Semantical considerations on dialectical and practical commitments
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Fusing procedural and declarative planning goals for nondeterministic domains
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Decision-theoretic planning with non-Markovian rewards
Journal of Artificial Intelligence Research
The planning spectrum: one, two, three, infinity
Journal of Artificial Intelligence Research
A model-theoretic approach to the verification of situated reasoning systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Implementing BDI-like systems by direct execution
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Programming resource-bounded deliberative agents
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Non-monotonic temporal logics for goal specification
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On the logic of normative systems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Planning for temporally extended goals as propositional satisfiability
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
The semantics of intention maintenance for rational agents
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Synthesizing plant controllers using real-time goals
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Handling mixed-criticality in SoC-based real-time embedded systems
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Formal verification of diagnosability via symbolic model checking
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A stit-Logic for Extensive Form Group Strategies
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
On the Logic of Cellular Reactive Systems
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Conditional progressive planning under uncertainty
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Planning as model checking for extended goals in non-deterministic domains
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Computational complexity of planning with temporal goals
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Automated Verification of Multi-Agent Programs
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems
Autonomous Agents and Multi-Agent Systems
On the logic of cooperation and propositional control
Artificial Intelligence
Understanding planning with incomplete information and sensing
Artificial Intelligence
Modeling, specification and verification of ad-hoc sensor networks using SPIN
Computer Standards & Interfaces
FLAVERS: a finite state verification technique for software systems
IBM Systems Journal
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
International Journal of Advanced Intelligence Paradigms
Formal verification of PLC controlled systems using sensor graphs
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Synthesis of Fault-Tolerant Distributed Systems
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Stream Reasoning: A Survey and Further Research Directions
FQAS '09 Proceedings of the 8th International Conference on Flexible Query Answering Systems
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Optimizing Web Service Composition While Enforcing Regulations
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Adopting model checking techniques for clinical guidelines verification
Artificial Intelligence in Medicine
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
A Logical Approach to Security in the Context of Ambient Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic Verification of Fault-Tolerant Register Emulations
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence
A probabilistic approach to navigation in Hypertext
Information Sciences: an International Journal
Semi-distributed LTL model checking for actor based modeling languages
SoftCOM'09 Proceedings of the 17th international conference on Software, Telecommunications and Computer Networks
Model checking of software for microcontrollers
ACM Transactions on Embedded Computing Systems (TECS)
Synthesis of output feedback control for motion planning based on LTL specifications
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
Implementing a fair monodic temporal logic prover
AI Communications - Practical Aspects of Automated Reasoning
CTL-RP: A computation tree logic resolution prover
AI Communications - Practical Aspects of Automated Reasoning
On the distributivity of LTL specifications
ACM Transactions on Computational Logic (TOCL)
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Automatic verification of sequential infinite-state processes
Automatic verification of sequential infinite-state processes
Validation of multiagent systems by symbolic model checking
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Receding horizon control for temporal logic specifications
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Comparison between two languages used to express planning goals: CTL and EAGLE
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
Oracle circuits for branching-time model checking
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
On the expressiveness and complexity of ATL
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Well-structured model checking of multiagent systems
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
On simulations and bisimulations of general flow systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Hierarchical synthesis of hybrid controllers from temporal logic specifications
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Proving temporal properties of Z specifications using abstraction
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Compositional verification for object-Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Combining abstraction refinement and SAT-based model checking
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Genetic programming with fitness based on model checking
EuroGP'07 Proceedings of the 10th European conference on Genetic programming
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Bounded model checking for past LTL
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Formal modeling of dynamic environments for real-time agents
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
A light-weight algorithm for model checking with symmetry reduction and weak fairness
SPIN'03 Proceedings of the 10th international conference on Model checking software
Model checking LTL over controllable linear systems is decidable
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
A pattern-based approach for modeling and analyzing error recovery
Architecting dependable systems IV
On first-order fragments for words and Mazurkiewicz traces: a survey
DLT'07 Proceedings of the 11th international conference on Developments in language theory
Boolean abstraction for temporal logic satisfiability
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Proceedings of the 14th international SPIN conference on Model checking software
A heterogeneous approach to service-oriented systems specification
Proceedings of the 2010 ACM Symposium on Applied Computing
Rebeca: theory, applications, and tools
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Completeness for flat modal fixpoint logics
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Robust sampling for MITL specifications
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
On the expressiveness of MTL variants over dense time
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
A model checking-based approach for location query processing in pervasive computing environments
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Propositional dynamic logic for message-passing systems
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Model checking almost all paths can be less expensive than checking all paths
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Formalization of CTL* in calculus of inductive constructions
ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
Towards a tool for generating aspects from MEDL and PEDL specifications for runtime verification
RV'07 Proceedings of the 7th international conference on Runtime verification
Translation validation of system abstractions
RV'07 Proceedings of the 7th international conference on Runtime verification
Modeling agents' choices in temporal linear logic
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Hybrid systems and biology: continuous and discrete modeling for systems biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Delayed nondeterminism in model checking embedded systems assembly code
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
From LTL to symbolically represented deterministic automata
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Objective coordination in multi-agent system engineering: design and implementation
Objective coordination in multi-agent system engineering: design and implementation
MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Ready simulation for concurrency: It's logical!
Information and Computation
Logic-based knowledge representation
Artificial intelligence today
Craig interpolation for linear temporal languages
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
On the complexity of branching-time logics
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Model checking firewall policy configurations
POLICY'09 Proceedings of the 10th IEEE international conference on Policies for distributed systems and networks
Actor-based slicing techniques for efficient reduction of Rebeca models
Science of Computer Programming
Ontology support for Agent-based Simulation of Organizations
Multiagent and Grid Systems
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
CTL.STIT: enhancing ATL to express important multi-agent system verification properties
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Verifying agents with memory is harder than it seemed
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Formalizing organizational constraints: a semantic approach
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Reasoning about strategies of multi-agent programs
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Updating action domain descriptions
Artificial Intelligence
Executable specifications of resource-bounded agents
Autonomous Agents and Multi-Agent Systems
Behavior-Oriented Commitment-based Protocols
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Trajectory constraints in qualitative simulation
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Planning for temporally extended goals
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Modeling synchronized time series
Proceedings of the Fourteenth International Database Engineering & Applications Symposium
FlowChecker: configuration analysis and verification of federated openflow infrastructures
Proceedings of the 3rd ACM workshop on Assurable and usable security configuration
Structured solution methods for non-Markovian decision processes
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Temporal model-based diagnostics generation for HVAC control systems
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Sysfier: Actor-based formal verification of SystemC
ACM Transactions on Embedded Computing Systems (TECS)
Lossy counter machines decidability cheat sheet
RP'10 Proceedings of the 4th international conference on Reachability problems
Directed deadline obligations in agent-based business contracts
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Constraints-based complex behavior in rich environments
IVA'10 Proceedings of the 10th international conference on Intelligent virtual agents
Verifying the consistency of web-based technical documentations
Journal of Symbolic Computation
Providing RIA user interfaces with accessibility properties
Journal of Symbolic Computation
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Model checking agent programs by using the program interpreter
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
A proof system for time-dependent multi-agents
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Model checking the security of multi-protocol systems
CTS'05 Proceedings of the 2005 international conference on Collaborative technologies and systems
Verifying agents with memory is harder than it seemed
AI Communications - European Workshop on Multi-Agent Systems (EUMAS) 2009
A distributed platform based on web services for multimedia resource discovery
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
InstQL: a query language for virtual institutions using answer set programming
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Using model checking for analyzing distributed power control problems
EURASIP Journal on Wireless Communications and Networking
Symbolic model-checking of optimistic replication algorithms
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
A sequent calculus for 3-dimensional space
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
A proof system for temporal reasoning with sequential information
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
Comparing workflow specification languages: a matter of views
Proceedings of the 14th International Conference on Database Theory
You should better enforce than verify
RV'10 Proceedings of the First international conference on Runtime verification
Automating cut-off for multi-parameterized systems
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Business process monitoring with BPath
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Expressiveness of propositional projection temporal logic with star
Theoretical Computer Science
Property transformation under specification change
Frontiers of Computer Science in China
A formal specification for organizational adaptation
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Timed Modal Logics for Real-Time Systems
Journal of Logic, Language and Information
Regular relations for temporal propositions
Natural Language Engineering
Complexity of fairness constraints for the Dolev-Yao attacker model
Proceedings of the 2011 ACM Symposium on Applied Computing
Applying restricted english grammar on automotive requirements: does it work? a case study
REFSQ'11 Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality
On lifecycle constraints of artifact-centric workflows
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
A quest for beauty and wealth (or, business processes for database researchers)
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Commitment-based protocols with behavioral rules and correctness properties of MAS
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Communications of the ACM
A multi-encoding approach for LTL symbolic satisfiability checking
FM'11 Proceedings of the 17th international conference on Formal methods
Combined logics of knowledge, time, and actions for reasoning about multi-agent systems
KONT'07/KPP'07 Proceedings of the First international conference on Knowledge processing and data analysis
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Pattern-based modeling and formalizing of business process quality constraints
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
The modal µ-calculus caught off guard
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
Rich goal types in agent programming
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Program sketching via CTL* model checking
Proceedings of the 18th international SPIN conference on Model checking software
Annals of Mathematics and Artificial Intelligence
Past time LTL runtime verification for microcontroller binary code
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
An exploratory method for effective deployment of programmable logic controllers (PLCs)
WSEAS Transactions on Systems and Control
Synchronized Linear-Time Temporal Logic
Studia Logica
Software and Systems Modeling (SoSyM)
Reasoning about threads with bounded lock chains
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Two variable vs. linear temporal logic in model checking and games
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Methodologies for model-driven development and deployment: an overview
Rigorous software engineering for service-oriented systems
On the computational complexity of behavioral description-based web service composition
Theoretical Computer Science
A branching time logic with two types of probability operators
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Size-change termination and satisfiability for linear-time temporal logics
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Evaluating LTL satisfiability solvers
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Expressiveness of Hybrid Temporal Logic on Data Words
Electronic Notes in Theoretical Computer Science (ENTCS)
A self-updating model for analysing system reconfigurability
Engineering Applications of Artificial Intelligence
Robust Vacuity for Branching Temporal Logic
ACM Transactions on Computational Logic (TOCL)
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
Ten years of analyzing actors: Rebeca experience
Formal modeling
Programming groups of rational agents
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Ontology-based matchmaking in e-marketplace with web services
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
An improved case-based approach to LTL model checking
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
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
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
A fully automated framework for control of linear systems from LTL specifications
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Synthesis from temporal specifications using preferred answer set programming
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Model checking strategic abilities of agents under incomplete information
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Concepts of automata construction from LTL
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A modal semantics for an argumentation-based pragmatics for agent communication
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Intentions and strategies in game-like scenarios
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Semantics and pragmatics for agent communication
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Reducing model checking of the few to the one
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
A structural/temporal query language for Business Processes
Journal of Computer and System Sciences
Retaining consistency in temporal knowledge bases
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
Reasoning about inconsistent concurrent systems: a non-classical temporal logic
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Finite-State temporal projection
CIAA'06 Proceedings of the 11th international conference on Implementation and Application of Automata
Planning under uncertainty and its applications
Reasoning, Action and Interaction in AI Theories and Systems
Model checking agent programming languages
Automated Software Engineering
Satisfiability judgement under incomplete information
Transactions on Rough Sets XI
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
Game-based verification of multi-party contract signing protocols
FAST'09 Proceedings of the 6th international conference on Formal Aspects in Security and Trust
Dealing with time in content language expressions
AC'04 Proceedings of the 2004 international conference on Agent Communication
CTL model checking for boolean program
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IV
Characteristic patterns for LTL
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
ICWE'05 Proceedings of the 5th international conference on Web Engineering
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Reasoning about quantum knowledge
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Minimizing generalized büchi automata
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Synthesis revisited: generating statechart models from scenario-based requirements
Formal Methods in Software and Systems Modeling
Meeting the deadline: why, when and how
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
TIWTE '11 Proceedings of the TextInfer 2011 Workshop on Textual Entailment
Using language inference to verify omega-regular properties
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Temporal logic for scenario-based specifications
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A new algorithm for strategy synthesis in LTL games
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Shortest counterexamples for symbolic model checking of LTL with past
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
An automata-theoretic approach for model-checking systems with unspecified components
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Detecting malicious code by model checking
DIMVA'05 Proceedings of the Second international conference on Detection of Intrusions and Malware, and Vulnerability Assessment
Guarded open answer set programming with generalized literals
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Deciding monodic fragments by temporal resolution
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Model checking z specifications using SAL
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Lightweight formal methods for scenario-based software engineering
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
A logic for knowledge, correctness, and real time
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Model checking biological systems described using ambient calculus
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
An analysis of SAT-based model checking techniques in an industrial environment
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
WSCMon: runtime monitoring of web service orchestration based on refinement checking
Service Oriented Computing and Applications
Conformance of navigational behavioural to requirements using animation
International Journal of Web Engineering and Technology
Revising UNITY programs: possibilities and limitations
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
Lazy semiring neighbours and some applications
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
A novel approach to programming: agent based software engineering
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
Parametric metric interval temporal logic
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Temporal constraints with multiple granularities in smart homes
Designing Smart Homes
Component-Based Software Development for Embedded 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
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Concurrency, Compositionality, and Correctness
Deterministic dynamic monitors for linear-time assertions
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Robustness of temporal logic specifications
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Monitoring directed obligations with flexible deadlines: a rule-based approach
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
A decision procedure for CTL* based on tableaux and automata
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Normative pragmatics for agent communication languages
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Experiments with deterministic ω-automata for formulas of linear temporal logic
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Implementing temporal logics: tools for execution and proof
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Querying schemas with access restrictions
Proceedings of the VLDB Endowment
Designing normative behaviour via landmarks
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Verification of medical guidelines by model checking – a case study
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Comparing workflow specification languages: A matter of views
ACM Transactions on Database Systems (TODS)
Symbolic execution of Reo circuits using constraint automata
Science of Computer Programming
Towards a notion of unsatisfiable and unrealizable cores for LTL
Science of Computer Programming
Analyzing temporal properties of abstract models
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Finite-state representations embodying temporal relations
FSMNLP '11 Proceedings of the 9th International Workshop on Finite State Methods and Natural Language Processing
Defining Fairness in Reactive and Concurrent Systems
Journal of the ACM (JACM)
Aggregation of transitions in marking graph generation based on maximality semantics for petri nets
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Improving testbench evaluation using normalized formal properties
VECoS'09 Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication Systems
Towards formal methods for agent-based systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Extending a logic-based retrieval model with algebraic knowledge
MIRO'95 Proceedings of the Final conference on Multimedia Information Retrieval
Automatica (Journal of IFAC)
Formalizing production systems with rule-based ontologies
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
An asymptotically correct finite path semantics for LTL
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Effective characterizations of simple fragments of temporal logic using prophetic automata
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Automated model repair for distributed programs
ACM SIGACT News
Agents, actions and goals in dynamic environments
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Modeling attempt and action failure in probabilistic stit logic
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Employing symmetry reductions in model checking
Computer Languages, Systems and Structures
Survey: Linear Temporal Logic Symbolic Model Checking
Computer Science Review
Interrelations between the BDI primitives: Towards heterogeneous agents
Cognitive Systems Research
Game-based verification of contract signing protocols with minimal messages
Innovations in Systems and Software Engineering
Artifact systems with data dependencies and arithmetic
ACM Transactions on Database Systems (TODS)
The importance of the past in interval temporal logics: the case of propositional neighborhood logic
Logic Programs, Norms and Action
GOAL agents instantiate intention logic
Logic Programs, Norms and Action
Exponential acceleration of model checking for perfect recall systems
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Automated test-trace inspection for microcontroller binary code
RV'11 Proceedings of the Second international conference on Runtime verification
Open issues for normative multi-agent systems
AI Communications
Ten problems of deontic logic and normative reasoning in computer science
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
Specification and verification of multi-agent systems
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
On parallel software verification using boolean equation systems
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
Bounded Model Checking for the Existential Fragment of TCTL$_{-G}$ and Diagonal Timed Automata
Fundamenta Informaticae
On the realizability of contracts in dishonest systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
On First-Order Fragments for Mazurkiewicz Traces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Reasoning about time-dependent multi-agents: foundations of theorem proving and model checking
Transactions on Compuational Collective Intelligence VI
Expressing and Verifying Temporal and Structural Properties of Mobile Agents
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
A Strong Completeness Result for a MAS Logic
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Update and Abstraction in Model Checking of Knowledge and Branching Time
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Verifying conformance of multi-agent commitment-based protocols
Expert Systems with Applications: An International Journal
Logical Analysis of Biological Systems
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Compositional Synthesis of Generalized Mealy Machines
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Rational Teams: Logical Aspects of Multi-Agent Systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
Undecidability of a Multi-Agent Logic
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
A Fixed-point Characterization of a Deontic Logic of Regular Action
Fundamenta Informaticae - Deontic Logic in Computer Science
Completeness And Soundness Of Axiomatizations For Temporal Logics Without Next
Fundamenta Informaticae
Symbolic model checking composite Web services using operational and control behaviors
Expert Systems with Applications: An International Journal
Timed concurrent game structures
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Transition graphs of rewriting systems over unranked trees
MFCS'07 Proceedings of the 32nd international conference on Mathematical Foundations of Computer Science
Using deductive cause-consequence analysis (DCCA) with SCADE
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Reasoning-based curriculum sequencing and validation: integration in a service-oriented architecture
EC-TEL'07 Proceedings of the Second European conference on Technology Enhanced Learning: creating new learning experiences on a global scale
Curriculum model checking: declarative representation and verification of properties
EC-TEL'07 Proceedings of the Second European conference on Technology Enhanced Learning: creating new learning experiences on a global scale
Ready simulation for concurrency: it's logical!
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
On the complexity of LTL model-checking of recursive state machines
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
A propositional probabilistic logic with discrete linear time for reasoning about evidence
Annals of Mathematics and Artificial Intelligence
Time petri nets for schedulability analysis of the transactional event handlers of P-FRP
Proceedings of the 2012 ACM Research in Applied Computation Symposium
Towards automated forensic event reconstruction of malicious code (poster abstract)
RAID'12 Proceedings of the 15th international conference on Research in Attacks, Intrusions, and Defenses
Alternating-Time temporal logic in the calculus of (co)inductive constructions
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
An approach for network information flow analysis for systems of embedded components
MMM-ACNS'12 Proceedings of the 6th international conference on Mathematical Methods, Models and Architectures for Computer Network Security: computer network security
Future Generation Computer Systems
Leveraging actors for privacy compliance
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Programming and Computing Software
Configuring private data management as access restrictions: from design to enforcement
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Ensuring well-formed conversations between control and operational behaviors of web services
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
PLPV '13 Proceedings of the 7th workshop on Programming languages meets program verification
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Software simulation and verification to increase the reliability of Intelligent Environments
Advances in Engineering Software
Probabilistic stit logic and its decomposition
International Journal of Approximate Reasoning
PROTOSS: A Run Time Tool for Detecting Privacy Violations in Online Social Networks
ASONAM '12 Proceedings of the 2012 International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2012)
Proceedings of the 18th ACM symposium on Access control models and technologies
Collaborative data-driven workflows: think global, act local
Proceedings of the 32nd symposium on Principles of database systems
Behavioural description based web service composition using abstraction and refinement
International Journal of Web and Grid Services
A defeasible logic of intention
MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Agent reasoning for norm compliance: a semantic approach
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
AT'13 Proceedings of the Second international conference on Agreement Technologies
Combined model checking for temporal, probabilistic, and real-time logics
Theoretical Computer Science
Deterministic compilation of temporal safety properties in explicit state model checking
HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
A resolution calculus for the branching-time temporal logic CTL
ACM Transactions on Computational Logic (TOCL)
Time Petri Nets with Action Duration: A True Concurrency Real-Time Model
International Journal of Embedded and Real-Time Communication Systems
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Scenario-based verification in presence of variability using a synchronous approach
Frontiers of Computer Science: Selected Publications from Chinese Universities
Computational & Mathematical Organization Theory
Quantitative reactive modeling and verification
Computer Science - Research and Development
The actor's view of automated planning and acting: A position paper
Artificial Intelligence
t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
Annals of Mathematics and Artificial Intelligence
Synthesis of hierarchical systems
Science of Computer Programming
Reducing the verification cost of evolving product families using static analysis techniques
Science of Computer Programming
Computable fixpoints in well-structured symbolic model checking
Formal Methods in System Design
Analyzing probabilistic pushdown automata
Formal Methods in System Design
Detecting and predicting privacy violations in online social networks
Distributed and Parallel Databases
Towards interactive smart spaces
Journal of Ambient Intelligence and Smart Environments - Context Awareness
The formal REA model at the operational level
Applied Ontology
Synthesizing Concurrent Programs Using Answer Set Programming
Fundamenta Informaticae - Concurrency Specification and Programming CS&P
A Goal-Directed Decision Procedure for Hybrid PDL
Journal of Automated Reasoning
Hi-index | 0.03 |