Lifetime analysis of a sensor network with hybrid automata modelling
WSNA '02 Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications
Symbolic Model Checking for Rectangular Hybrid Systems
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Behavioral cartography of timed automata
RP'10 Proceedings of the 4th international conference on Reachability problems
Reachability problems for hybrid automata
RP'11 Proceedings of the 5th international conference on Reachability problems
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
On Parameter Synthesis by Parallel Model Checking
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
Bridging boolean and quantitative synthesis using smoothed proof search
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
| Hi-index | 0.00 |