On the completeness and decidability of duration calculus with iteration
Theoretical Computer Science
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Axiomatisation and decidability of multi-dimensional Duration Calculus
Information and Computation
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)
Automatic Verification of Combined Specifications: An Overview
Electronic Notes in Theoretical Computer Science (ENTCS)
On Verification of Linear Occurrence Properties of Real-Time Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A verification system for timed interval calculus
Proceedings of the 30th international conference on Software engineering
A system model for formal verification of TLM based transaction properties
SpringSim '07 Proceedings of the 2007 spring simulaiton multiconference - Volume 1
Integrating real-time analysis with the dendritic cell algorithm through segmentation
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Exploration of the Dendritic Cell Algorithm Using the Duration Calculus
ICARIS '09 Proceedings of the 8th International Conference on Artificial Immune Systems
Sharpening the Incompleteness of the Duration Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search
Electronic Notes in Theoretical Computer Science (ENTCS)
A verification system for interval-based specification languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formalising scheduling theories in duration calculus
Nordic Journal of Computing
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
Automating verification of cooperation, control, and design in traffic applications
Formal methods and hybrid real-time systems
Formal methods and hybrid real-time systems
Cybernetics and Systems Analysis
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
rt-inconsistency: a new property for real-time requirements
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Cybernetics and Systems Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying linear duration constraints of timed automata
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Duration calculus: a real-time semantic for B
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
A calculus for shapes in time and space
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Applying timed interval calculus to simulink diagrams
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Spatio-temporal model checking for mobile real-time systems
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Model checking linear duration invariants of networks of automata
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Model-checking of specifications integrating processes, data and time
FM'05 Proceedings of the 2005 international conference on Formal Methods
Modal strength reduction in quantified discrete duration calculus
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
The timer cascade: functional modelling and real time calculi
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
A robust interpretation of duration calculus
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
Ten commandments ten years on: lessons for ASM, B, Z and VSR-net
Rigorous Methods for Software Construction and Analysis
Rôle of domain engineering in software development—why current requirements engineering is flawed !
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Formalization and analysis of real-time requirements: a feasibility study at BOSCH
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
An assume/guarantee based compositional calculus for hybrid CSP
TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation
Rely/Guarantee reasoning for teleo-reactive programs over multiple time bands
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Deriving real-time action systems controllers from multiscale system specifications
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Timed traces and strand spaces
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Towards an algebra for real-time programs
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Bounded model-checking of discrete duration calculus
Proceedings of the 16th international conference on Hybrid systems: computation and control
Specifying safety-critical systems with a decidable duration logic
Science of Computer Programming
| Hi-index | 0.00 |