%0 Journal Article
%T Unified verification and monitoring of executable UML specifications. A transformation-free approach
%+ Equipe Processes for Safe and Secure Software and Systems (Lab-STICC_P4S)
%+ École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)
%+ ESEO-ÉRIS (ÉRIS)
%A Besnard, Valentin
%A Teodorov, Ciprian
%A Jouault, Frédéric
%A Brun, Matthias
%A Dhaussy, Philippe
%< avec comité de lecture
%@ 1619-1366
%J Software and Systems Modeling
%I Springer Verlag
%8 2021-11-21
%D 2021
%R 10.1007/s10270-021-00923-9
%Z Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
%Z Computer Science [cs]/Hardware Architecture [cs.AR]
%Z Computer Science [cs]/Embedded Systems
%Z Computer Science [cs]/Modeling and Simulation
%Z Computer Science [cs]/Emerging Technologies [cs.ET]
%Z Computer Science [cs]/Programming Languages [cs.PL]
%Z Computer Science [cs]/Symbolic Computation [cs.SC]
%Z Computer Science [cs]/Software Engineering [cs.SE]Journal articles
%G English
%L hal-03463358
%U https://hal.science/hal-03463358
%~ UNIV-BREST
%~ INSTITUT-TELECOM
%~ ENSTA-BRETAGNE
%~ CNRS
%~ UNIV-UBS
%~ ENSTA-BRETAGNE-STIC
%~ ENIB
%~ LAB-STICC
%~ ESEO-TECH
%~ TDS-MACS
%~ INSTITUTS-TELECOM
%~ ESEO-ERIS
%~ TEST-HALCNRS
%~ LAB-STICC_P4S
%~ LAB-STICC_SHARP