Sfoglia per Afferenza Dipartimento di Ingegneria e scienze dell'informazione e matematica
Automatic synthesis of behavior protocols for composable web-services
2009-01-01 Bertolino, A; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
Automatic synthesis of coordinators of COTS group-ware applications: an example
2003-01-01 Inverardi, Paola; Tivoli, Massimo; Bucchiarone, A.
Automatic Synthesis of Deadlock free connectors for COM/DCOM Applications
2001-01-01 Inverardi, Paola; Tivoli, Massimo
Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns
2013-01-01 Inverardi, Paola; Tivoli, Massimo
Automatic Synthesis of Robust Numerical Controllers
2007-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Daniele, Magazzeni; Alberto, Tofani; Enrico, Tronci
Automatic Synthesis via Tulip of an Autonomous Vehicle Controller Ensuring Collision Avoidance
2018-01-01 Kabbani, T.; DI GENNARO, S
Automatic verication of temporal properties of Air Traffic Management procedures using Hybrid Systems
2008-01-01 DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; A., Petriccone
Automatic Verication of Wireless Control in a Mining Ventilation System
2008-01-01 DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; E., Serra; E., Witrant
Automatic Verification of a Turbogas Control System with the Murphi Verifier
2003-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Michele, Minichino; Ester, Ciancamerla; Andrea, Parisse; Enrico, Tronci; MARISA VENTURINI, Zilli
Automatically Bridging UML Profiles to MOF Metamodels
2015-01-01 Malavolta, Ivano; Muccini, Henry; Sebastiani, Marco
Automating Co-evolution in Model-Driven Engineering
2008-01-01 Cicchetti, A; DI RUSCIO, Davide; Eramo, R; Pierantonio, Alfonso
Automating Performance Antipattern Detection and Software Refactoring in UML Models
2019-01-01 Arcelli, D.; Cortellessa, V.; Pompeo, D. D.
Automatizing Parametric Reasoning on Distributed Concurrent Systems
1994-01-01 Inverardi, Paola; Priami, Corrado; Yankelevich, Daniel
Automotive Architecture Framework: The experience of Volvo Cars
2017-01-01 Pelliccione, Patrizio; Knauss, Eric; Heldal, Rogardt; Magnus Ågren, S.; Mallozzi, Piergiuseppe; Alminger, Anders; Borgentun, Daniel
Automotive Engine and Power-train Control: a Comprehensive Hybrid Model
2000-01-01 A., Balluchi; L., Benvenuti; DI BENEDETTO, MARIA DOMENICA; A. L., Sangiovanni Vincentelli
Automotive Engine Control and Hybrid Systems: Challenges and Opportunities
2000-01-01 A., Balluchi; L., Benvenuti; DI BENEDETTO, MARIA DOMENICA; C., Pinello; A. L., SANGIOVANNI VINCENTELLI
Autonomic Rejuvenation of Cloud Applications as a Countermeasure to Software Anomalies
2021-01-01 DI SANZO, Pierangelo; Avresky, Dimiter R.; Pellegrini, Alessandro
Autonomous robot for cleaning photovoltaic panels in desert zones
2020-01-01 Antonelli, Michele Gabrio; Beomonte Zobel, Pierluigi; De Marcellis, Andrea; Palange, Elia
Autonomous Shuttle-as-a-Service (ASaaS): Challenges, Opportunities, and Social Implications
2021-01-01 Bucchiarone, Antonio; Battisti, Sandro; Marconi, Annapaola; Maldacea, Roberto; Cardona Ponce, Diego
AUTOPILOT: Integrated System for Automatic Personal Identification and Indoor Localization and Tracking.
2011-01-01 Tennina, S.; Pomante, L.; Graziosi, F.; Di Renzo, M.; Alesii, R.; Santucci, F.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Automatic synthesis of behavior protocols for composable web-services | 1-gen-2009 | Bertolino, A; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo | |
Automatic synthesis of coordinators of COTS group-ware applications: an example | 1-gen-2003 | Inverardi, Paola; Tivoli, Massimo; Bucchiarone, A. | |
Automatic Synthesis of Deadlock free connectors for COM/DCOM Applications | 1-gen-2001 | Inverardi, Paola; Tivoli, Massimo | |
Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns | 1-gen-2013 | Inverardi, Paola; Tivoli, Massimo | |
Automatic Synthesis of Robust Numerical Controllers | 1-gen-2007 | DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Daniele, Magazzeni; Alberto, Tofani; Enrico, Tronci | |
Automatic Synthesis via Tulip of an Autonomous Vehicle Controller Ensuring Collision Avoidance | 1-gen-2018 | Kabbani, T.; DI GENNARO, S | |
Automatic verication of temporal properties of Air Traffic Management procedures using Hybrid Systems | 1-gen-2008 | DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; A., Petriccone | |
Automatic Verication of Wireless Control in a Mining Ventilation System | 1-gen-2008 | DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; E., Serra; E., Witrant | |
Automatic Verification of a Turbogas Control System with the Murphi Verifier | 1-gen-2003 | DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Michele, Minichino; Ester, Ciancamerla; Andrea, Parisse; Enrico, Tronci; MARISA VENTURINI, Zilli | |
Automatically Bridging UML Profiles to MOF Metamodels | 1-gen-2015 | Malavolta, Ivano; Muccini, Henry; Sebastiani, Marco | |
Automating Co-evolution in Model-Driven Engineering | 1-gen-2008 | Cicchetti, A; DI RUSCIO, Davide; Eramo, R; Pierantonio, Alfonso | |
Automating Performance Antipattern Detection and Software Refactoring in UML Models | 1-gen-2019 | Arcelli, D.; Cortellessa, V.; Pompeo, D. D. | |
Automatizing Parametric Reasoning on Distributed Concurrent Systems | 1-gen-1994 | Inverardi, Paola; Priami, Corrado; Yankelevich, Daniel | |
Automotive Architecture Framework: The experience of Volvo Cars | 1-gen-2017 | Pelliccione, Patrizio; Knauss, Eric; Heldal, Rogardt; Magnus Ågren, S.; Mallozzi, Piergiuseppe; Alminger, Anders; Borgentun, Daniel | |
Automotive Engine and Power-train Control: a Comprehensive Hybrid Model | 1-gen-2000 | A., Balluchi; L., Benvenuti; DI BENEDETTO, MARIA DOMENICA; A. L., Sangiovanni Vincentelli | |
Automotive Engine Control and Hybrid Systems: Challenges and Opportunities | 1-gen-2000 | A., Balluchi; L., Benvenuti; DI BENEDETTO, MARIA DOMENICA; C., Pinello; A. L., SANGIOVANNI VINCENTELLI | |
Autonomic Rejuvenation of Cloud Applications as a Countermeasure to Software Anomalies | 1-gen-2021 | DI SANZO, Pierangelo; Avresky, Dimiter R.; Pellegrini, Alessandro | |
Autonomous robot for cleaning photovoltaic panels in desert zones | 1-gen-2020 | Antonelli, Michele Gabrio; Beomonte Zobel, Pierluigi; De Marcellis, Andrea; Palange, Elia | |
Autonomous Shuttle-as-a-Service (ASaaS): Challenges, Opportunities, and Social Implications | 1-gen-2021 | Bucchiarone, Antonio; Battisti, Sandro; Marconi, Annapaola; Maldacea, Roberto; Cardona Ponce, Diego | |
AUTOPILOT: Integrated System for Automatic Personal Identification and Indoor Localization and Tracking. | 1-gen-2011 | Tennina, S.; Pomante, L.; Graziosi, F.; Di Renzo, M.; Alesii, R.; Santucci, F. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile