Sign in
Mirko Flamminj
Publication Activity (10 Years)
Years Active: 2011-2017
Publications (10 Years): 1
Top Topics
Metamodel
Description Language
Delay Insensitive
Bounded Model Checking
Top Venues
Inf. Softw. Technol.
</>
Publications
</>
Martina De Sanctis
,
Catia Trubiani
,
Vittorio Cortellessa
,
Antinisca Di Marco
,
Mirko Flamminj
A model-driven approach to catch performance antipatterns in ADL specifications.
Inf. Softw. Technol.
83 (2017)
Marco Bernardo
,
Vittorio Cortellessa
,
Mirko Flamminj
TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks.
EPEW
(2011)