Sfoglia per Afferenza Dipartimento di Ingegneria e scienze dell'informazione e matematica
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.
Autosimilarita' e trattamento delle immagini
2015-01-01 Leonetti, Francesco; Manetta, Manuela
Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations between UML and Petri Net Models
2018-01-01 Cortellessa, Vittorio; Eramo, Romina; Tucci, Michele
Average Current Mode Control of a DC–DC Boost Converter to Reduce the Decoupling Capacitance at the PV Array Output
2022-01-01 Mohamadian, Sobhan; Buccella, Concettina; Cecati, Carlo
Average Symbol Error Probability in the Presence of Network Interference and Noise
2012-01-01 Merola, C; Guidotti, A; Di Renzo, M; Santucci, Fortunato; Corazza, G. E.
Averaging and large deviation principles for fully-coupled pieceweise deterministic Markov processes and applications to molecular motors
2010-01-01 Faggionato, A; Gabrielli, Davide; RIBEZZI CRIVELLARI, M.
Backscattering UWB/UHF hybrid solutions for multi-reader multi-tag passive RFID systems
2016-01-01 Alesii, Roberto; Marco, Piergiuseppe Di; Santucci, Fortunato; Savazzi, Pietro; Valentini, Roberto; Vizziello, Anna; DI MARCO, Piergiuseppe
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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. | |
Autosimilarita' e trattamento delle immagini | 1-gen-2015 | Leonetti, Francesco; Manetta, Manuela | |
Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations between UML and Petri Net Models | 1-gen-2018 | Cortellessa, Vittorio; Eramo, Romina; Tucci, Michele | |
Average Current Mode Control of a DC–DC Boost Converter to Reduce the Decoupling Capacitance at the PV Array Output | 1-gen-2022 | Mohamadian, Sobhan; Buccella, Concettina; Cecati, Carlo | |
Average Symbol Error Probability in the Presence of Network Interference and Noise | 1-gen-2012 | Merola, C; Guidotti, A; Di Renzo, M; Santucci, Fortunato; Corazza, G. E. | |
Averaging and large deviation principles for fully-coupled pieceweise deterministic Markov processes and applications to molecular motors | 1-gen-2010 | Faggionato, A; Gabrielli, Davide; RIBEZZI CRIVELLARI, M. | |
Backscattering UWB/UHF hybrid solutions for multi-reader multi-tag passive RFID systems | 1-gen-2016 | Alesii, Roberto; Marco, Piergiuseppe Di; Santucci, Fortunato; Savazzi, Pietro; Valentini, Roberto; Vizziello, Anna; DI MARCO, Piergiuseppe |
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