Search results for: Hanifa Boucheneb
The Journal of Supercomputing > 2018 > 74 > 10 > 5199-5230
Real-Time Systems > 2018 > 54 > 2 > 278-306
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Regular Contributions > 73-89
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 211-227
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 6. Time Petri Nets > 265-279
IEEE Transactions on Computers > 2015 > 64 > 4 > 1074 - 1089
Design Automation for Embedded Systems > 2015 > 19 > 3 > 243-275
Information Sciences > 2014 > 282 > Complete > 261-276