Timing coverification of concurrent embedded real-time systems
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Safety critical systems based on formal models
ACM SIGAda Ada Letters - special issue on presentations from SIGAda 2000
Efficient and User-Friendly Verification
IEEE Transactions on Computers
A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*
Real-Time Systems
CTL* model checking for time Petri nets
Theoretical Computer Science
Model Checking Safety-Critical Systems Using Safecharts
IEEE Transactions on Computers
Modeling and verification of real-time embedded systems with urgency
Journal of Systems and Software
Model checking prioritized timed automata
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Modeling and verification of safety-critical systems using safecharts
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Modeling and automatic failure analysis of safety-critical systems using extended safecharts
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.01 |