Broad-spectrum studies of log file analysis
Proceedings of the 22nd international conference on Software engineering
A generic operator over discrete time intervals
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Combining Mobile Processes and Declarative Programming
CL '00 Proceedings of the First International Conference on Computational Logic
Applications of Structural Synthesis of Programs
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Properties of Hybrid Systems—A Computer Science Perspective
Formal Methods in System Design
Temporal Extensions of OCL Revisited
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Automatic Test Generation for LUSTRE/SCADE Programs
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
| Hi-index | 0.00 |