clock constraint specification language Recently Published Documents

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 ◽

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 ◽

Ltl Model Checking ◽

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

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

10.1145/3078633.3081035 ◽

2017 ◽

Cited By ~ 3

Author(s):

Min Zhang ◽

Yunhui Ying

Keyword(s):

Model Checking ◽

Embedded Systems ◽

Real Time ◽

Specification Language ◽

Ltl Model Checking ◽

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

An Executable Semantics of Clock Constraint Specification Language and Its Applications

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 ◽

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

Coalgebraic Semantic Model for the Clock Constraint Specification Language

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 ◽

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

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

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 ◽

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 ◽

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 ◽

Uml Marte ◽