Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Y. Pencolé
Timed Diagnosability Analysis Based on Chronicles
IFAC Proceedings Volumes
Related publications
Structural Diagnosability Analysis of Dynamic Models
IFAC Proceedings Volumes
Set-Membership Functional Diagnosability: Definitions and Analysis
A Theoretical and Empirical Analysis of Program Spectra Diagnosability
IEEE Transactions on Software Engineering
Software
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis
Diagnosability Under Weak Fairness
Transactions on Embedded Computing Systems
Hardware
Architecture
Software
Diagnosability Under Weak Fairness
A Reasoning Method for Timed CSP Based on Constraint Solving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Quantitative Robustness Analysis of Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Method for Testing Real-Time System Based on Timed Automata
Ruan Jian Xue Bao/Journal of Software
Software
