L.0: a parallel executable temporal logic language
Conference proceedings on Formal methods in software development
A propositional modal logic of time intervals
Journal of the ACM (JACM)
A model parametric real-time logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Efficient Implementation of Boolean Functions as Self-Timed Circuits
IEEE Transactions on Computers
A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
Automated Proof Support for Interval Logics
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Sharpening the Undecidability of Interval Temporal Logic
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Duration Calculus, a Logical Approach to Real-Time Systems
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
An Automata-Theoretic Completeness Proof for Interval Temporal Logic
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Decidability of Interval Temporal Logics over Split-Frames via Granularity
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Compositional Reasoning Using Interval Temporal Logic and Tempura
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
An Adequate First Order Interval Logic
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Tableau-Based Automated Deduction for Duration Calculus
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Behavioral Model for Co-design
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
A Complete Axiomatization of Interval Temporal Logic with Infinite Time
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Applicative programming and digital design
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Now you may compose temporal logic specifications
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
An approach to analyzing availability properties of security protocols
Nordic Journal of Computing
Using interval logics for temporal analysis of security protocols
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
Decidability of a Hybrid Duration Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-checking the Preservation of Temporal Properties upon Feature Integration
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesising Features by Games
Electronic Notes in Theoretical Computer Science (ENTCS)
Deciding an interval logic with accumulated durations
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
A theory of duration calculus with application
Domain modeling and the duration calculus
Boolean abstraction for temporal logic satisfiability
CAV'07 Proceedings of the 19th international conference on Computer aided verification
A timeband framework for modelling real-time systems
Real-Time Systems
Compositionality of fixpoint logic with chop
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
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 hoare logic for the coinductive trace-based big-step semantics of while
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Axiomatizations Of Interval Logics
Fundamenta Informaticae
Timed traces and strand spaces
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |