Distributed real-time system specification and verification in APTL
ACM Transactions on Software Engineering and Methodology (TOSEM)
Synthesis of concurrent systems with many similar processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synthesis of fault-tolerant concurrent programs
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Integrated architectural modeling and analysis for high-assurance command and control system design
Annals of Software Engineering
Specifying and Enforcing Intertask Dependencies
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
On Model Checking Durational Kripke Structures
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
SIMBA: An Approach for Real-Time Multi-agent Systems
CCIA '02 Proceedings of the 5th Catalonian Conference on AI: Topics in Artificial Intelligence
On the expressivity and complexity of quantitative branching-time temporal logics
Theoretical Computer Science - Latin American theoretical informatics
An Efficient Algorithm for Real-Time Symbolic Model Checking
EDTC '96 Proceedings of the 1996 European conference on Design and Test
A Modal Mu-Calculus for Durational Transition Systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Symbolic Verification and Analysis of Discrete Timed Systems
Formal Methods in System Design
Towards the compositional verification of real-time UML designs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Synthesis of fault-tolerant concurrent programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Collecting Statistics Over Runtime Executions
Formal Methods in System Design
Efficient timed model checking for discrete-time systems
Theoretical Computer Science
Statistical probabilistic model checking with a focus on time-bounded properties
Information and Computation
Quantitative temporal logics over the reals: PSpace and below
Information and Computation
Model checking of analog systems using an analog specification language
Proceedings of the conference on Design, automation and test in Europe
Graded-CTL: Satisfiability and Symbolic Model Checking
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Model Checking for a Class of Weighted Automata
Discrete Event Dynamic 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
Introducing time in an industrial application of model-checking
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
The BMC method for the existential part of RTCTLK and interleaved interpreted systems
EPIA'11 Proceedings of the 15th Portugese conference on Progress in artificial intelligence
Interoperability of constrained finite state automata
ACM SIGSOFT Software Engineering Notes
Model-checking timed ATL for durational concurrent game structures
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Model checking durational probabilistic systems
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Bounded model checking for the existential part of real-time CTL and knowledge
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
SAT-Based bounded model checking for deontic interleaved interpreted systems
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
MAS: qualitative and quantitative reasoning
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Time constraints with temporal logic programming
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
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 |