ACM Transactions on Programming Languages and Systems (TOPLAS)
Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
Formal Methods in System Design
Theoretical Computer Science
Theoretical Computer Science
An Adequate First Order Interval Logic
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
Formal Hazard Analysis of Hybrid Systems in cTLA
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Modular design and verification of component-based mechatronic systems with online-reconfiguration
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Distributed Computing - Special issue: Verification of lazy caching
Completeness of neighbourhood logic
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Modular verification of safe online-reconfiguration for proactive components in mechatronic UML
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
| Hi-index | 0.00 |