toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title (up) Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa Synchronized Regular Expressions 2002 Electr. Notes Theor. Comput. Sci. 62 195-210 details   pdf url
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 2010 Computer Aided Verification Springer Berlin / Heidelberg 10.1007/978-3-642-14295-6_20 180-195 details   pdf doi
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Synthesizing Control Software from Boolean Relations 2012 International Journal on Advances in Software IARIA 1942-2628 vol. 5, nr 3&4 212-223 details   pdf url
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 details   pdf doi
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Merli, Fabio; Tronci, Enrico System Level Formal Verification via Model Checking Driven Simulation 2013 Proceedings of the 25th International Conference on Computer Aided Verification. July 13-19, 2013, Saint Petersburg, Russia Springer - Verlag 0302-9743 978-3-642-39798-1 10.1007/978-3-642-39799-8_21 296-312 details   pdf doi
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems 2012 Theoretical Aspects of Computing – ICTAC 2012 Springer Berlin Heidelberg 978-3-642-32942-5 10.1007/978-3-642-32943-2_19 243-258 details   pdf doi
Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E.; Gruber, J.K.; Hayes, B.; Prodanovic, M.; Elmegaard, L. User Flexibility Aware Price Policy Synthesis for Smart Grids 2015 Digital System Design (DSD), 2015 Euromicro Conference on 10.1109/DSD.2015.35 478-485 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: