 |
Conference papers
Unified LTL Verification and Embedded Execution of UML Models
Valentin Besnard
1
Matthias Brun
1
Frédéric Jouault
1
Ciprian Teodorov
2
Philippe Dhaussy
2
2
Lab-STICC_ENSTAB_ CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Valentin Besnard 1
Author IdHAL : valentin-besnard
Matthias Brun 1
Author
Frédéric Jouault 1
Author IdHAL : frederic-jouault IdRef : https://www.idref.fr/110218140 ORCID : https://orcid.org/0000-0002-2395-9623
Ciprian Teodorov 2
Author IdHAL : ciprian-teodorov
Philippe Dhaussy 2
Author
1
ÉRIS - ESEO-ÉRIS (France)
- ESEO-Tech (10 boulevard Jeanneteau
CS 90717
49107 Angers cedex 2 - France)
- UBL - Université Bretagne Loire (Cité Internationale, 1 place Paul Ricoeur - CS 54417 35044 RENNES CEDEX - France)
2
Lab-STICC_ENSTAB_ CACS_MOCS (France)
- Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise CS 83818 29238 BREST cedex 3 - France)
- ENIB - École Nationale d'Ingénieurs de Brest (945 avenue du Technopole - 29280 Plouzané - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne (2 rue François Verny, 29806 Brest cedex 9 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6285 (France)
- UBL - Université Bretagne Loire (Cité Internationale, 1 place Paul Ricoeur - CS 54417 35044 RENNES CEDEX - France)
- IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -
Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -
Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
Document type :
Conference papers
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01887948
Contributor : Nathalie Renois <>
Submitted on : Thursday, October 4, 2018 - 3:47:22 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:52 PM
Contributor : Nathalie Renois <>
Submitted on : Thursday, October 4, 2018 - 3:47:22 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:52 PM
Identifiers
- HAL Id : hal-01887948, version 1
Collections
CNRS | UNIV-BREST | INSTITUT-TELECOM | ENIB | LAB-STICC | ESEO-TECH | ENSTA-BRETAGNE | ENSTA-BRETAGNE-STIC | ESEO-ERIS
Citation
Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy. Unified LTL Verification and Embedded Execution of UML Models. 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark. ⟨hal-01887948⟩
Metrics
Record views