Formalizing Timing Diagram Requirements in Discrete Duration Calculus

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-66197-1_16 ◽

2017 ◽

pp. 253-268 ◽

Author(s):

Raj Mohan Matteplackel ◽

Paritosh K. Pandya ◽

Amol Wakankar

Keyword(s):

Duration Calculus ◽

Download Full-text

Robust Controller Synthesis for Duration Calculus

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59152-6_24 ◽

2020 ◽

pp. 429-446

Author(s):

Kalyani Dole ◽

Ashutosh Gupta ◽

Shankara Narayanan Krishna

Keyword(s):

Controller Synthesis ◽

Robust Controller ◽

Duration Calculus

Download Full-text

A Robust Interpretation of Duration Calculus

Theoretical Aspects of Computing – ICTAC 2005 - Lecture Notes in Computer Science ◽

10.1007/11560647_17 ◽

2005 ◽

pp. 257-271 ◽

Author(s):

Martin Fränzle ◽

Michael R. Hansen

Keyword(s):

Duration Calculus

Download Full-text

Modeling software requirement with timing diagram and Simulink Stateflow

Information and Software Technology ◽

10.1016/j.infsof.2010.11.012 ◽

2011 ◽

Vol 53 (5) ◽

pp. 484-493 ◽

Author(s):

Hongsuk Lee ◽

Kihyun Chung ◽

Hyunsang Park ◽

Kyunghee Choi

Keyword(s):

Software Requirement ◽

Timing Diagram ◽

Modeling Software

Download Full-text

Synthesis of checker EFSMs from timing diagram specifications

ISCAS'99. Proceedings of the 1999 IEEE International Symposium on Circuits and Systems VLSI (Cat. No.99CH36349) ◽

10.1109/iscas.1999.777794 ◽

2003 ◽

Author(s):

E.K. Ogoubi ◽

E. Cerny

Keyword(s):

Download Full-text

Semantics and completeness of Duration Calculus

Real-Time: Theory in Practice - Lecture Notes in Computer Science ◽

10.1007/bfb0031994 ◽

1992 ◽

pp. 209-225 ◽

Author(s):

Michael R. Hansen ◽

Zhou Chaochen

Keyword(s):

Duration Calculus

Download Full-text

Duration Calculus

Duration Calculus - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-662-06784-0_3 ◽

2004 ◽

pp. 41-65 ◽

Author(s):

Zhou Chaochen ◽

Michael R. Hansen

Keyword(s):

Duration Calculus

Download Full-text

Towards a formal semantics of verilog using duration calculus

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/bfb0055355 ◽

1998 ◽

pp. 282-293 ◽

Author(s):

Gerardo Schneider ◽

Qiwen Xu

Keyword(s):

Formal Semantics ◽

Duration Calculus

Download Full-text

Tableau-Based Automated Deduction for Duration Calculus

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/3-540-45616-3_5 ◽

2002 ◽

pp. 53-69 ◽

Author(s):

Nathalie Chetcuti-Sperandio

Keyword(s):

Automated Deduction ◽

Duration Calculus

Download Full-text

Duration calculus specification of scheduling for tasks with shared resources

Algorithms, Concurrency and Knowledge - Lecture Notes in Computer Science ◽

10.1007/3-540-60688-2_56 ◽

1995 ◽

pp. 365-380 ◽

Author(s):

Philip Chan ◽

Dang Van Hung

Keyword(s):

Shared Resources ◽

Duration Calculus

Download Full-text

Completeness of Higher-Order Duration Calculus

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-44622-2_30 ◽

2000 ◽

pp. 442-456 ◽

Author(s):

Zhan Naijun

Keyword(s):

Higher Order ◽

Duration Calculus

Download Full-text