The refinement calculus of reactive systems toolset

Iulia Dragomir; Viorel Preoteasa; Stavros Tripakis

doi:10.1007/978-3-319-89963-3_12

The refinement calculus of reactive systems toolset

Iulia Dragomir^*
, Viorel Preoteasa
, Stavros Tripakis

^*Tämän työn vastaava kirjoittaja

CNRS/IN2P3
University of California at Berkeley

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

5 Sitaatiot (Scopus)

239 Lataukset (Pure)

Abstrakti

We present the Refinement Calculus of Reactive Systems Toolset, an environment for compositional modeling and reasoning about reactive systems, built on top of Isabelle, Simulink, and Python.

Alkuperäiskieli	Englanti
Otsikko	Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings
Toimittajat	Dirk Beyer, Marieke Huisman
Kustantaja	Springer
Sivut	201-208
Sivumäärä	8
ISBN (painettu)	9783319899626
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-319-89963-3_12
Tila	Julkaistu - 1 tammik. 2018
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Thessaloniki, Kreikka Kesto: 14 huhtik. 2018 → 20 huhtik. 2018

Julkaisusarja

Nimi	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vuosikerta	10806 LNCS
ISSN (painettu)	0302-9743
ISSN (elektroninen)	1611-3349

Conference

Conference	International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Lyhennettä	TACAS
Maa/Alue	Kreikka
Kaupunki	Thessaloniki
Ajanjakso	14/04/2018 → 20/04/2018

Rahoitus

This work has been supported by the Academy of Finland and the U.S. National Science Foundation (awards #1329759 and #1139138). I. Dragomir—Partially supported by the H2020 Programme SRC ESROCOS and ERGO projects. Grenoble INP—Institute of Engineering Univ. Grenoble Alpes.

Pääsy asiakirjaan

10.1007/978-3-319-89963-3_12Lisenssi: CC BY

SCI_Dragomir2018_Chapter_TheRefinementCalculusOfReactivFinal published version, 528 KBLisenssi: CC BY

Muut tiedostot ja linkit

Link to publication in Scopus

Siteeraa tätä

Dragomir, I., Preoteasa, V., & Tripakis, S. (2018). The refinement calculus of reactive systems toolset. teoksessa D. Beyer, & M. Huisman (Toimittajat), Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings (Sivut 201-208). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 10806 LNCS). Springer. https://doi.org/10.1007/978-3-319-89963-3_12

Dragomir, Iulia ; Preoteasa, Viorel ; Tripakis, Stavros. / The refinement calculus of reactive systems toolset. Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Toimittaja / Dirk Beyer ; Marieke Huisman. Springer, 2018. Sivut 201-208 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{cb9bbed9cfcb43878005370db95c6935,

title = "The refinement calculus of reactive systems toolset",

abstract = "We present the Refinement Calculus of Reactive Systems Toolset, an environment for compositional modeling and reasoning about reactive systems, built on top of Isabelle, Simulink, and Python.",

author = "Iulia Dragomir and Viorel Preoteasa and Stavros Tripakis",

note = "| openaire: EC/H2020/730080/EU//ESROCOS ; International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS ; Conference date: 14-04-2018 Through 20-04-2018",

year = "2018",

month = jan,

day = "1",

doi = "10.1007/978-3-319-89963-3\_12",

language = "English",

isbn = "9783319899626",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "201--208",

editor = "Dirk Beyer and Marieke Huisman",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings",

address = "Germany",

}

Dragomir, I, Preoteasa, V & Tripakis, S 2018, The refinement calculus of reactive systems toolset. julkaisussa D Beyer & M Huisman (toim), Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vuosikerta 10806 LNCS, Springer, Sivut 201-208, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Kreikka, 14/04/2018. https://doi.org/10.1007/978-3-319-89963-3_12

The refinement calculus of reactive systems toolset. / Dragomir, Iulia; Preoteasa, Viorel; Tripakis, Stavros.
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. toim. / Dirk Beyer; Marieke Huisman. Springer, 2018. s. 201-208 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 10806 LNCS).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

T1 - The refinement calculus of reactive systems toolset

AU - Dragomir, Iulia

AU - Preoteasa, Viorel

AU - Tripakis, Stavros

N1 - | openaire: EC/H2020/730080/EU//ESROCOS

PY - 2018/1/1

Y1 - 2018/1/1

N2 - We present the Refinement Calculus of Reactive Systems Toolset, an environment for compositional modeling and reasoning about reactive systems, built on top of Isabelle, Simulink, and Python.

AB - We present the Refinement Calculus of Reactive Systems Toolset, an environment for compositional modeling and reasoning about reactive systems, built on top of Isabelle, Simulink, and Python.

UR - https://www.scopus.com/pages/publications/85045842508

U2 - 10.1007/978-3-319-89963-3_12

DO - 10.1007/978-3-319-89963-3_12

M3 - Conference article in proceedings

AN - SCOPUS:85045842508

SN - 9783319899626

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 201

EP - 208

BT - Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings

A2 - Beyer, Dirk

A2 - Huisman, Marieke

PB - Springer

T2 - International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Y2 - 14 April 2018 through 20 April 2018

ER -

Dragomir I, Preoteasa V, Tripakis S. The refinement calculus of reactive systems toolset. julkaisussa Beyer D, Huisman M, toimittajat, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Springer. 2018. s. 201-208. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-89963-3_12

The refinement calculus of reactive systems toolset

Abstrakti

Julkaisusarja

Conference

Rahoitus

Pääsy asiakirjaan

Muut tiedostot ja linkit

Sormenjälki

Siteeraa tätä