Verification of Ada 1/0 statements
ACM SIGCSE Bulletin
Interface specification with temporal logic
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
A model parametric real-time logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Ada/TL specification and verification of a distributed computation
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Validating real-time systems by history-checking TRIO specifications
ICSE '92 Proceedings of the 14th international conference on Software engineering
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
On completeness of historical relational query languages
ACM Transactions on Database Systems (TODS)
Managing business processes as an information resource
IBM Systems Journal
Validating real-time systems by history-checking TRIO specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
Extending Statecharts with Temporal Logic
IEEE Transactions on Software Engineering
Modeling deflection networks: design and specification
Proceedings of the 1999 ACM symposium on Applied computing
Formal reasoning about actor programs using temporal logic
Concurrent object-oriented programming and petri nets
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
Language Portability Across Shared Memory Multiprocessors
IEEE Transactions on Parallel and Distributed Systems
A Group Membership Algorithm with a Practical Specification
IEEE Transactions on Parallel and Distributed Systems
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
A Temporal Relational Algebra as Basis for Temporal Relational Completeness
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Transactional Computation: Overview and Discussion
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Model Checking: A Tutorial Overview
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Nesting Until and Since in Linear Temporal Logic
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Compositional Reasoning Using Interval Temporal Logic and Tempura
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Modeling Interaction by Sheaves and Geometric Logic
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Model checking: a tutorial overview
Modeling and verification of parallel processes
Handbook of automated reasoning
Towards a real-time object-oriented modeling approach
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Concurrency in CoOperative Objects
HIPS '97 Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97)
Development of communication protocols using algebraic and temporal specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
A framed temporal logic programming language
Journal of Computer Science and Technology
Coalgebraic modal logic of finite rank
Mathematical Structures in Computer Science
Norm compliance of protocols in electronic institutions
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Reasoning about real-time statecharts in the presence of semantic variations
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Automatic Modeling and Analysis of MSC-specified Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Framed temporal logic programming
Science of Computer Programming
Tense Operators on MV-Algebras and Łukasiewicz-Moisil Algebras
Fundamenta Informaticae
Programming language elements for correctness proofs
Acta Cybernetica
A Labeled Natural Deduction System for a Fragment of CTL*
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Knowledge-based coordination with a reliable semantic subscription mechanism
Proceedings of the 2009 ACM symposium on Applied Computing
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
A new logical framework for deductive planning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
PHI: a logic-based tool for intelligent help systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Towards a test cases generation method for security policies
ICT'09 Proceedings of the 16th international conference on Telecommunications
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Problems and prospects for quantum computational speed-up
ICCS'03 Proceedings of the 2003 international conference on Computational science
Classifying discrete temporal properties
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of 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
Reasoning and inference rules in basic linear temporal logic BLTL
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part II
Semantics of framed temporal logic programs
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Formal consistency verification of deliberative agents with respect to communication protocols
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
A complete temporal and spatial logic for distributed systems
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Verifying norm compliancy of protocols
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Open issues for normative multi-agent systems
AI Communications
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Tense Operators on MV-Algebras and Łukasiewicz-Moisil Algebras
Fundamenta Informaticae
Automatic Modeling and Analysis of MSC-specified Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
ON NATURAL DEDUCTION IN FIRST-ORDER FIXPOINT LOGICS
Fundamenta Informaticae
A complete proof system for propositional projection temporal logic
Theoretical Computer Science
| Hi-index | 0.00 |