clock constraint specification language Latest Research Papers

SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-16722-6_4 ◽

2019 ◽

pp. 61-78 ◽

Cited By ~ 3

Author(s):

Min Zhang ◽

Fu Song ◽

Frédéric Mallet ◽

Xiaohong Chen

Keyword(s):

Schedulability Analysis ◽

Specification Language ◽

Constraint Specification ◽

Clock Constraint Specification Language

Download Full-text

Mechanizing the Denotational Semantics of the Clock Constraint Specification Language

Model and Data Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-00856-7_26 ◽

2018 ◽

pp. 385-400

Author(s):

Mathieu Montin ◽

Marc Pantel

Keyword(s):

Denotational Semantics ◽

Specification Language ◽

Constraint Specification ◽

Clock Constraint Specification Language

Download Full-text

Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems

ACM SIGPLAN Notices ◽

10.1145/3140582.3081035 ◽

2017 ◽

Vol 52 (5) ◽

pp. 61-70 ◽

Cited By ~ 5

Author(s):

Min Zhang ◽

Yunhui Ying

Keyword(s):

Model Checking ◽

Embedded Systems ◽

Real Time ◽

Specification Language ◽

Constraint Specification ◽

Ltl Model Checking ◽

Clock Constraint Specification Language

Download Full-text

Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems

Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems - LCTES 2017 ◽

10.1145/3078633.3081035 ◽

2017 ◽

Cited By ~ 3

Author(s):

Min Zhang ◽

Yunhui Ying

Keyword(s):

Model Checking ◽

Embedded Systems ◽

Real Time ◽

Specification Language ◽

Constraint Specification ◽

Ltl Model Checking ◽

Clock Constraint Specification Language

Download Full-text

An Executable Semantics of Clock Constraint Specification Language and Its Applications

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-29510-7_2 ◽

2016 ◽

pp. 37-51 ◽

Cited By ~ 5

Author(s):

Min Zhang ◽

Frédéric Mallet

Keyword(s):

Specification Language ◽

Constraint Specification ◽

Clock Constraint Specification Language

Download Full-text

Coalgebraic Semantic Model for the Clock Constraint Specification Language

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-17581-2_12 ◽

2015 ◽

pp. 174-188

Author(s):

Frédéric Mallet ◽

Grygoriy Zholtkevych

Keyword(s):

Specification Language ◽

Semantic Model ◽

Constraint Specification ◽

Clock Constraint Specification Language

Download Full-text

Two Semantic Models for Clock Relations in the Clock Constraint Specification Language

Information and Communication Technologies in Education, Research, and Industrial Applications - Communications in Computer and Information Science ◽

10.1007/978-3-319-03998-5_10 ◽

2013 ◽

pp. 190-209 ◽

Cited By ~ 2

Author(s):

Grygoriy Zholtkevych ◽

Frédéric Mallet ◽

Iryna Zaretska ◽

Galyna Zholtkevych

Keyword(s):

Specification Language ◽

Semantic Models ◽

Constraint Specification ◽

Clock Constraint Specification Language

Download Full-text

The clock constraint specification language for building timed causality models

Innovations in Systems and Software Engineering ◽

10.1007/s11334-009-0109-0 ◽

2009 ◽

Vol 6 (1-2) ◽

pp. 99-106 ◽

Cited By ~ 17

Author(s):

Frédéric Mallet ◽

Julien DeAntoni ◽

Charles André ◽

Robert de Simone

Keyword(s):

Specification Language ◽

Constraint Specification ◽

Clock Constraint Specification Language

Download Full-text

Clock constraint specification language: specifying clock constraints with UML/MARTE

Innovations in Systems and Software Engineering ◽

10.1007/s11334-008-0055-2 ◽

2008 ◽

Vol 4 (3) ◽

pp. 309-314 ◽

Cited By ~ 37

Author(s):

Frédéric Mallet

Keyword(s):

Specification Language ◽

Constraint Specification ◽

Uml Marte ◽

Clock Constraint Specification Language

Download Full-text

clock constraint specification language
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language

Mechanizing the Denotational Semantics of the Clock Constraint Specification Language

Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems

Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems

An Executable Semantics of Clock Constraint Specification Language and Its Applications

Coalgebraic Semantic Model for the Clock Constraint Specification Language

Two Semantic Models for Clock Relations in the Clock Constraint Specification Language

The clock constraint specification language for building timed causality models

Clock constraint specification language: specifying clock constraints with UML/MARTE

Export Citation Format

clock constraint specification languageRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language

Mechanizing the Denotational Semantics of the Clock Constraint Specification Language

Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems

Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems

An Executable Semantics of Clock Constraint Specification Language and Its Applications

Coalgebraic Semantic Model for the Clock Constraint Specification Language

Two Semantic Models for Clock Relations in the Clock Constraint Specification Language

The clock constraint specification language for building timed causality models

Clock constraint specification language: specifying clock constraints with UML/MARTE

clock constraint specification language
Recently Published Documents