Scalable and Precise Refinement of Cache Timing Analysis via Model Checking

2011 IEEE 32nd Real-Time Systems Symposium ◽

10.1109/rtss.2011.25 ◽

2011 ◽

Cited By ~ 14

Author(s):

Sudipta Chattopadhyay ◽

Abhik Roychoudhury

Keyword(s):

Model Checking ◽

Timing Analysis

Timing Analysis of Distributed End-to-End Task Graphs with Model-Checking

Embedded and Ubiquitous Computing – EUC 2005 - Lecture Notes in Computer Science ◽

10.1007/11596356_24 ◽

2005 ◽

pp. 214-223 ◽

Cited By ~ 2

Author(s):

Zonghua Gu

Keyword(s):

Model Checking ◽

Timing Analysis ◽

Task Graphs ◽

End To End

Quantitative Timing Analysis of UML Activity Diagrams Using Statistical Model Checking

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) ◽

10.3850/9783981537079_0339 ◽

2016 ◽

Cited By ~ 5

Author(s):

Fan Gu ◽

Xinqian Zhang ◽

Mingsong Chen ◽

Daniel Große ◽

Rolf Drechsler

Keyword(s):

Model Checking ◽

Statistical Model ◽

Timing Analysis ◽

Statistical Model Checking ◽

Activity Diagrams ◽

Uml Activity Diagrams

Experimental Evaluation of Statistical Model Checking Methods for Probabilistic Timing Analysis of Multiprocessor Systems

10.1109/dsd53832.2021.00032 ◽

2021 ◽

Author(s):

Hai-Dang Vu ◽

Sebastien Le Nours ◽

Sebastien Pillement

Keyword(s):

Model Checking ◽

Statistical Model ◽

Experimental Evaluation ◽

Timing Analysis ◽

Multiprocessor Systems ◽

Statistical Model Checking ◽

Probabilistic Timing Analysis ◽

Probabilistic Timing

Symbolic execution and timed automata model checking for timing analysis of Java real-time systems

EURASIP Journal on Embedded Systems ◽

10.1186/s13639-015-0020-8 ◽

2015 ◽

Vol 2015 (1) ◽

Cited By ~ 9

Author(s):

Kasper S. Luckow ◽

Corina S. Păsăreanu ◽

Bent Thomsen

Keyword(s):

Model Checking ◽

Real Time ◽

Timed Automata ◽

Timing Analysis ◽

Symbolic Execution ◽

Real Time Systems ◽

Time Systems

Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software

2010 31st IEEE Real-Time Systems Symposium ◽

10.1109/rtss.2010.30 ◽

2010 ◽

Cited By ~ 45

Author(s):

Mingsong Lv ◽

Wang Yi ◽

Nan Guan ◽

Ge Yu

Keyword(s):

Model Checking ◽

Abstract Interpretation ◽

Timing Analysis

Model-Checking of Infinite Graphs Defined by Graph Grammars

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)01231-4 ◽

2000 ◽

Vol 5 ◽

pp. 1 ◽

Cited By ~ 2

Author(s):

O BURKART ◽

Y QUEMENER

Keyword(s):

Model Checking ◽

Infinite Graphs ◽

Graph Grammars

Using task analytic models and phenotypes of erroneous human behavior to discover system failures using model checking

PsycEXTRA Dataset ◽

10.1037/e578742012-006 ◽

2010 ◽

Author(s):

Matthew L. Bolton ◽

Ellen J. Bass

Keyword(s):

Model Checking ◽

Human Behavior ◽

System Failures ◽

Analytic Models

Power-Supply-Noise-Aware Timing Analysis and Test Pattern Regeneration

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e99.a.2320 ◽

2016 ◽

Vol E99.A (12) ◽

pp. 2320-2327

Author(s):

Cheng-Yu HAN ◽

Yu-Ching LI ◽

Hao-Tien KAN ◽

James Chien-Mo LI

Keyword(s):

Power Supply ◽

Test Pattern ◽

Timing Analysis ◽

Power Supply Noise ◽

Supply Noise

Statistical Model Checking of Approximate Circuits: Challenges and Opportunities

2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) ◽

10.23919/date48585.2020.9116207 ◽

2020 ◽

Author(s):

Josef Strnadel

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking ◽

Challenges And Opportunities

Towards the improvement of model checking

Advanced Computer Control ◽

10.2495/icacc130031 ◽

2014 ◽

Author(s):

Peiyu Huang

Keyword(s):

Model Checking