| |
Author |
Title |
Year |
Publication |
Publisher |
ISSN  |
ISBN |
DOI |
Volume |
Pages |
Links |
|
|
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
On Model Based Synthesis of Embedded Control Software |
2012 |
|
CoRR, Technical Report |
|
|
|
abs/1207.4474 |
|
|
|
|
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems |
2012 |
|
CoRR, Technical Report |
|
|
|
abs/1207.4098 |
|
|
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Model Based Synthesis of Control Software from System Level Formal Specifications |
2013 |
|
CoRR, Technical Report |
|
|
|
abs/1107.5638 |
|
|
|
|
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico |
SyLVaaS: System Level Formal Verification as a Service |
2015 |
Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), special session on Formal Approaches to Parallel and Distributed Systems (4PAD) |
|
|
|
10.1109/PDP.2015.119 |
|
|
|
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters |
2011 |
|
CoRR, Technical Report |
|
|
|
abs/1105.5640 |
|
|
|
|
Kuijpers, Ed; Carotenuto, Luigi; Malapert, Jean-Cristophe; Markov-Vetter, Daniela; Melatti, Igor; Orlandini, Andrea; Pinchuk, Ranni |
Collaboration on ISS Experiment Data and Knowledge Representation |
2012 |
Proc. of IAC 2012 |
|
|
|
|
D.5.11 |
|
|
|
|
Alimguzhin, V.; Mari, F.; Melatti, I.; Tronci, E.; Ebeid, E.; Mikkelsen, S.A.; Jacobsen, R.H.; Gruber, J.K.; Hayes, B.; Huerta, F.; Prodanovic, M. |
A Glimpse of SmartHG Project Test-bed and Communication Infrastructure |
2015 |
Digital System Design (DSD), 2015 Euromicro Conference on |
|
|
|
10.1109/DSD.2015.106 |
|
225-232 |
|
|
|
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico |
Simulator Semantics for System Level Formal Verification |
2015 |
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015), |
|
|
|
10.4204/EPTCS.193.7 |
|
|
|
|
|
Verzino Giovanni ; Cavaliere, Federico; Mari, Federico; Melatti, Igor; Minei, Giovanni; Salvo, Ivano; Yushtein, Yuri; Tronci, Enrico |
Model checking driven simulation of sat procedures |
2012 |
Proceedings of 12th International Conference on Space Operations (SpaceOps 2012) |
|
|
|
10.2514/6.2012-1275611 |
|
|
|
|
|
Mancini, Toni ; Mari, Federico ; Massini, Annalisa; Melatti, Igor; Tronci, Enrico |
System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation |
2014 |
Proc. of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing |
IEEE Computer Society |
|
|
10.1109/PDP.2014.32 |
|
|
|
