Alessandro Mignogna

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Scalable Distributed

Artifact Centric

Computation Tree Logic

Top Venues

Publications

Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer, Axel Legay, Alexandre Arnold
SoS contract verification using statistical model checking. AiSoS (2013)
Alberto Ferrari, Marco Carloni, Alessandro Mignogna, Francesco Menichelli, David Ginsberg, Eelco Scholte, Dang Nguyen
Scalable virtual prototyping of distributed embedded control in a modern elevator system. SIES (2012)
Alessandro Mignogna, Massimo Conti, M. D'Angelo, Massimo Baleani, Alberto Ferrari
Transaction Level Modeling and Performance Analysis in SystemC of IEEE 802.15.4 Wireless Standard. DSD (2008)