A Real-Time Service-Oriented Architecture for Industrial Automation
Cucinotta, T., Mancina, A., Anastasi, G.F., Lipari, G., Mangeruca, L., Checcozzo, R., Rusina, F.
Published in IEEE transactions on industrial informatics (01.08.2009)
Published in IEEE transactions on industrial informatics (01.08.2009)
Get full text
Journal Article
Semantics-Preserving Design of Embedded Control Software from Synchronous Models
Mangeruca, L., Baleani, M., Ferrari, A., Sangiovanni-Vincentelli, A.
Published in IEEE transactions on software engineering (01.08.2007)
Published in IEEE transactions on software engineering (01.08.2007)
Get full text
Journal Article
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development
Baleani, M., Ferrari, A., Mangeruca, L., Sangiovanni-Vincentelli, A. L., Freund, U., Schlenker, E., Wolff, H.-J.
Published in Design, Automation and Test in Europe (07.03.2005)
Published in Design, Automation and Test in Europe (07.03.2005)
Get full text
Conference Proceeding
Data communication management in system specification
Curatelli, F., Mangeruca, L., Chirico, M.
Published in Microprocessors and microsystems (01.12.1999)
Published in Microprocessors and microsystems (01.12.1999)
Get full text
Journal Article
System level design of embedded controllers: knock detection, a case study in the automotive domain
Mangeruca, L., Ferrari, A., Sangiovanni-Vincentelli, A., Pierantoni, A., Pennese, M.
Published in 2003 Design, Automation and Test in Europe Conference and Exhibition (2003)
Published in 2003 Design, Automation and Test in Europe Conference and Exhibition (2003)
Get full text
Conference Proceeding
Metamodels in Europe: Languages, Tools, and Applications
Passerone, R., Damm, W., Ben Hafaiedh, I., Graf, S., Ferrari, A., Mangeruca, L., Benveniste, A., Josko, B., Peikenkamp, T., Cancila, D., Cuccuru, A., Gerard, S., Terrier, F., Sangiovanni-Vincentelli, A.
Published in IEEE design & test of computers (01.05.2009)
Published in IEEE design & test of computers (01.05.2009)
Get full text
Journal Article
System level design of embedded controllers: knock detection, a case study in the automotive domain
Mangeruca, L., Ferrari, A., Sangiovanni-Vincentelli, A., Pierantoni, A., Pennese, M.
Published in 2003 Design, Automation and Test in Europe Conference and Exhibition (2003)
Published in 2003 Design, Automation and Test in Europe Conference and Exhibition (2003)
Get full text
Conference Proceeding
Specification and management of timing constraints in behavioral VHDL
Curatelli, F., Chirico, M., Mangeruca, L.
Published in Proceedings of the conference on European design automation (20.09.1996)
Published in Proceedings of the conference on European design automation (20.09.1996)
Get full text
Conference Proceeding