default search action

combined dblp search
author search
venue search
publication search

ask others

Roberto Passerone

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j44]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/TontiniMPG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/TontiniMPG24
Alessandro Tontini, Sonia Mazzucchi, Roberto Passerone, Leonardo Gasparini:
A Post-Processing Histogram Compensation Method for SPAD-Based d-ToF LiDAR Systems for High Photon Flux Measurements. IEEE Access 12: 135390-135397 (2024)
[j43]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/GuptaRP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/GuptaRP24
Sandeep Gupta, Kiran B. Raja, Roberto Passerone:
Visual Prompt Engineering for Enhancing Facial Recognition Systems Robustness Against Evasion Attacks. IEEE Access 12: 152212-152223 (2024)
[j42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/BianchiMP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/BianchiMP24
Cristian Bianchi, Rosario Merlino, Roberto Passerone:
Combining Optimization and Simulation for Next-Generation Off-Road Vehicle E/E Architectural Design. Sensors 24(15): 4889 (2024)
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/KirovNSP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/KirovNSP24
Dmitrii Kirov, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone:
Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(1): 30-43 (2024)
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/ccnc/ShahP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccnc/ShahP24
Ayub Shah, Roberto Passerone:
Architectural Exploration and Design for Ultra-Reliable Low-Latency Indoor Robotics Systems. CCNC 2024: 360-363
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/wfcs/BianchiSMP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wfcs/BianchiSMP24
Cristian Bianchi, Ayub Shah, Chiara Marangoni, Roberto Passerone:
Toward Simulation-Assisted Architecture Design Space Exploration of Indoor Robotics Networks. WFCS 2024: 1-4
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-09229
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-09229
Emiliano Tolotti, Anas Jnini, Flavio Vella, Roberto Passerone:
cuVegas: Accelerate Multidimensional Monte Carlo Integration through a Parallelized CUDA-based Implementation of the VEGAS Enhanced Algorithm. CoRR abs/2408.09229 (2024)
2023
[j40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/GuptaMP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/GuptaMP23
Sandeep Gupta, Carsten Maple, Roberto Passerone:
An Investigation of Cyber-Attacks and Security Mechanisms for Connected and Autonomous Vehicles. IEEE Access 11: 90641-90669 (2023)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/integration/TontiniGMPP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/integration/TontiniGMPP23
Alessandro Tontini, Leonardo Gasparini, Enrico Manuzzato, Matteo Perenzoni, Roberto Passerone:
Comparative evaluation of background-rejection techniques for SPAD-based LiDAR systems. Integr. 90: 1-10 (2023)
[j38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/PistellatoBBGAB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/PistellatoBBGAB23
Mara Pistellato, Filippo Bergamasco, Gianluca Bigaglia, Andrea Gasparetto, Andrea Albarelli, Marco Boschetti, Roberto Passerone:
Quantization-Aware NN Layers with High-throughput FPGA Implementation for Edge AI. Sensors 23(10): 4667 (2023)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/PhilipPYB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/PhilipPYB23
Sebin Shaji Philip, Roberto Passerone, Kasim Sinan Yildirim, Davide Brunelli:
Intermittent Computing Emulation of Ultralow-Power Processors: Evaluation of Backup Strategies for RISC-V. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(1): 82-94 (2023)
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/MasciulloPRP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/MasciulloPRP23
Lorenzo Masciullo, Roberto Passerone, Francesco Regazzoni, Ilia Polian:
Secrets Leaking Through Quicksand: Covert Channels in Approximate Computing. ETS 2023: 1-6
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/BonoraP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/BonoraP23
Matteo Bonora, Roberto Passerone:
Optimized Passive Battery Cell Balancing Algorithm for a Low-Cost Race Car. ISIE 2023: 1-6
2022
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/ccnc/PrastowoSPPP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccnc/PrastowoSPPP22
Tadeus Prastowo, Ayub Shah, Luigi Palopoli, Roberto Passerone, Giuseppe Piro:
Migration-Aware Optimized Resource Allocation in B5G Edge Networks. CCNC 2022: 106-113
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/icphys/TiernoTCP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icphys/TiernoTCP22
Antonio Tierno, Giuliano Turri, Alessandro Cimatti, Roberto Passerone:
Symbolic Encoding of Reliability for the Design of Redundant Architectures. ICPS 2022: 1-6
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/prime/TontiniGMPP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prime/TontiniGMPP22
Alessandro Tontini, Leonardo Gasparini, Enrico Manuzzato, Matteo Perenzoni, Roberto Passerone:
Comparison of background-rejection techniques for SPAD-based LiDAR systems. PRIME 2022: 45-48
2021
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/ChamissoCSPA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/ChamissoCSPA21
Fabrice Mayran de Chamisso, Daniela Cancila, Laurent Soulier, Roberto Passerone, Michaël Aupetit:
Lifelong Exploratory Navigation: An Architecture for Safer Mobile Robots. IEEE Des. Test 38(5): 57-64 (2021)
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/applepies/TiernoTCP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/applepies/TiernoTCP21
Antonio Tierno, Giuliano Turri, Alessandro Cimatti, Roberto Passerone:
Automatic Design Space Exploration of Redundant Architectures. ApplePies 2021: 149-154
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/applepies/PrastowoSPP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/applepies/PrastowoSPP21
Tadeus Prastowo, Ayub Shah, Luigi Palopoli, Roberto Passerone:
Resource Optimization in MEC-Based B5G Networks for Indoor Robotics Environment. ApplePies 2021: 164-172
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/SacconBFFPP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/SacconBFFPP21
Enrico Saccon, Paolo Bevilacqua, Daniele Fontanelli, Marco Frego, Luigi Palopoli, Roberto Passerone:
Robot Motion Planning: can GPUs be a Game Changer? COMPSAC 2021: 21-30
2020
[j35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/CirilloP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/CirilloP20
Gennaro Cirillo, Roberto Passerone:
Packet Length Spectral Analysis for IoT Flow Classification Using Ensemble Learning. IEEE Access 8: 138616-138641 (2020)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/NuzzoBMKPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/NuzzoBMKPS20
Pierluigi Nuzzo, Nikunj Bajaj, Michael Masin, Dmitrii Kirov, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(10): 2109-2123 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/PasseroneCAMPJR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/PasseroneCAMPJR19
Roberto Passerone, Daniela Cancila, Michele Albano, Sebti Mouelhi, Sándor Plósz, Erkki Jantunen, Anna Ryabokon, Mohamed-Emine Laarouchi, Csaba Hegedüs, Pál Varga:
A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles. IEEE Access 7: 125022-125037 (2019)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/tcas/TontiniGMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcas/TontiniGMP19
Alessandro Tontini, Leonardo Gasparini, Nicola Massari, Roberto Passerone:
SPAD-Based Quantum Random Number Generator With an N^t-Order Rank Algorithm on FPGA. IEEE Trans. Circuits Syst. II Express Briefs 66-II(12): 2067-2071 (2019)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/PasseroneRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/PasseroneRS19
Roberto Passerone, Íñigo Íncer Romeo, Alberto L. Sangiovanni-Vincentelli:
Coherent Extension, Composition, and Merging Operators in Contract Models for System Design. ACM Trans. Embed. Comput. Syst. 18(5s): 86:1-86:23 (2019)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/tim/MagnagoPPFM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tim/MagnagoPPFM19
Valerio Magnago, Luigi Palopoli, Roberto Passerone, Daniele Fontanelli, David Macii:
Effective Landmark Placement for Robot Indoor Localization With Position Uncertainty Constraints. IEEE Trans. Instrum. Meas. 68(11): 4443-4455 (2019)
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/applepies/CirilloPPR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/applepies/CirilloPPR19
Gennaro Cirillo, Roberto Passerone, Antonio Posenato, Luca Rizzon:
Statistical Flow Classification for the IoT. ApplePies 2019: 73-79
2018
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/fteda/BenvenisteCNPRR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fteda/BenvenisteCNPRR18
Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen:
Contracts for System Design. Found. Trends Electron. Des. Autom. 12(2-3): 124-400 (2018)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/jolpe/GiacomoGMP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolpe/GiacomoGMP18
Alberini Giacomo, Massimo Gottardi, Nicola Massari, Roberto Passerone:
A Low-Power Clock-Less Pulse Width Modulator Architecture for Smart Imaging. J. Low Power Electron. 14(1): 118-128 (2018)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/tcas/BenettiGMP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcas/BenettiGMP18
Michele Benetti, Massimo Gottardi, Tobias Mayr, Roberto Passerone:
A Low-Power Vision System With Adaptive Background Subtraction and Image Segmentation for Unusual Event Detection. IEEE Trans. Circuits Syst. I Regul. Pap. 65-I(11): 3842-3853 (2018)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/LagoFPF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/LagoFPF18
Loris Dal Lago, Orlando Ferrante, Roberto Passerone, Alberto Ferrari:
Dependability Assessment of SOA-Based CPS With Contracts and Model-Based Fault Injection. IEEE Trans. Ind. Informatics 14(1): 360-369 (2018)
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/KirovNPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/KirovNPS18
Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Optimized selection of wireless network topologies and components via efficient pruning of feasible paths. DAC 2018: 179:1-179:6
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/i2mtc/MagnagoBPPFM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/i2mtc/MagnagoBPPFM18
Valerio Magnago, Paolo Bevilacqua, Luigi Palopoli, Roberto Passerone, Daniele Fontanelli, David Macii:
Optimal landmark placement for indoor positioning using context information and multi-sensor data. I2MTC 2018: 1-6
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/icphys/DalpiazLNPB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icphys/DalpiazLNPB18
Giorgia Dalpiaz, Alessandro Longo, Matteo Nardello, Roberto Passerone, Davide Brunelli:
A battery-free non-intrusive power meter for low-cost energy monitoring. ICPS 2018: 653-658
2017
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/suscom/RossiRPMSB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/suscom/RossiRPMSB17
Maurizio Rossi, Luca Rizzon, Roberto Passerone, Ivan Minakov, Davide Sartori, Davide Brunelli:
Non-invasive cyber-physical system for data center management. Sustain. Comput. Informatics Syst. 16: 66-75 (2017)
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/KirovNPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/KirovNPS17
Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures. DAC 2017: 31:1-31:6
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/giots/MinakovPR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/giots/MinakovPR17
Ivan Minakov, Roberto Passerone, Maurizio Rossi:
Design and energy optimization of a multifunctional IoT solution for connected bikes. GIoTS 2017: 1-6
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/ipin/MagnagoPPFM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipin/MagnagoPPFM17
Valerio Magnago, Luigi Palopoli, Roberto Passerone, Daniele Fontanelli, David Macii:
A nearly optimal landmark deployment for indoor localisation with limited sensing. IPIN 2017: 1-8
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/ngcas/PantPWRL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ngcas/PantPWRL17
Vibha Pant, Roberto Passerone, Michele Welponer, Luca Rizzon, Roberto Lavagnolo:
Efficient Neural Computation on Network Processors for IoT Protocol Classification. NGCAS 2017: 9-12
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/ngcas/NicolaMGR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ngcas/NicolaMGR17
Nicola Massari, Massimo Gottardi, Alberini Giacomo, Roberto Passerone:
A Clock-Less PWM Architecture for Sensor Imaging. NGCAS 2017: 169-172
2016
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LePFL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LePFL16
Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay:
A tag contract framework for modeling heterogeneous systems. Sci. Comput. Program. 115-116: 225-246 (2016)
[j23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/BrunelliPRRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/BrunelliPRRS16
Davide Brunelli, Roberto Passerone, Luca Rizzon, Maurizio Rossi, Davide Sartori:
Self-Powered WSN for Distributed Data Center Monitoring. Sensors 16(1): 57 (2016)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/LePFL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/LePFL16
Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay:
Contract-Based Requirement Modularization via Synthesis of Correct Decompositions. ACM Trans. Embed. Comput. Syst. 15(2): 33:1-33:26 (2016)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/tosn/MinakovPRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosn/MinakovPRS16
Ivan Minakov, Roberto Passerone, Alessandra Rizzardi, Sabrina Sicari:
A Comparative Study of Recent Wireless Sensor Network Simulators. ACM Trans. Sens. Networks 12(3): 20:1-20:39 (2016)
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/KirovPD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/KirovPD16
Dmitrii Kirov, Roberto Passerone, Massimo Donelli:
Statistical characterization of the 2.4 GHz radio channel for WSN in indoor office environments. ETFA 2016: 1-9
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/isc2/MoroAFPPRSTP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isc2/MoroAFPPRSTP16
Federico Moro, Antonella De Angeli, Daniele Fontanelli, Roberto Passerone, Domenico Prattichizzo, Luca Rizzon, Stefano Scheggi, Stefano Targher, Luigi Palopoli:
Sensory stimulation for human guidance in robot walkers: A comparison between haptic and acoustic solutions. ISC2 2016: 1-6
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/RizzonP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/RizzonP16
Luca Rizzon, Roberto Passerone:
Cyber/physical co-design in practice: Case studies in metroII. SIES 2016: 19-28
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/wfcs/MinakovPRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wfcs/MinakovPRS16
Ivan Minakov, Roberto Passerone, Alessandra Rizzardi, Sabrina Sicari:
Routing behavior across WSN simulators: The AODV case study. WFCS 2016: 1-8
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MoroFPPRSTAP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MoroFPPRSTAP16
Federico Moro, Daniele Fontanelli, Roberto Passerone, Domenico Prattichizzo, Luca Rizzon, Stefano Scheggi, Stefano Targher, Antonella De Angeli, Luigi Palopoli:
Follow, listen, feel and go: alternative guidance systems for a walking assistance device. CoRR abs/1601.03915 (2016)
2015
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/isrob/PalopoliABCFLGG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isrob/PalopoliABCFLGG15
Luigi Palopoli, Antonis A. Argyros, Josef A. Birchbauer, Alessio Colombo, Daniele Fontanelli, Axel Legay, Andrea Garulli, Antonello Giannitrapani, David Macii, Federico Moro, Payam Nazemzadeh, Pashalis Padeleris, Roberto Passerone, Georg Poier, Domenico Prattichizzo, Tizar Rizano, Luca Rizzon, Stefano Scheggi, Sean Sedwards:
Navigation assistance and guidance of older adults across complex public spaces: the DALi approach. Intell. Serv. Robotics 8(2): 77-92 (2015)
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/esweek/CancilaZP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esweek/CancilaZP15
Daniela Cancila, Hadi Zaatiti, Roberto Passerone:
Cyber-Physical System and Contract-Based Design: A Three Dimensional View. WESE 2015: 4:1-4:4
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/esweek/TorngrenBMPSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esweek/TorngrenBMPSS15
Martin Törngren, Saddek Bensalem, John A. McDermid, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Bernhard Schätz:
Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering. WESE 2015: 8:1-8:5
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/i2mtc/BaranovSASP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/i2mtc/BaranovSASP15
Alexander Baranov, Denis Spirjakin, Saba Akbari, Andrey Somov, Roberto Passerone:
A wireless carbon monoxide sensor node with hybrid power supply. I2MTC 2015: 1019-1023
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/iot360/MinakovP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iot360/MinakovP15
Ivan Minakov, Roberto Passerone:
exIMUs: An Experimental Inertial Measurement Unit for Shock and Impact Detection in Sport Applications. IoT 360 (2) 2015: 235-249
2014
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/esticas/RossiRFPB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/esticas/RossiRFPB14
Maurizio Rossi, Luca Rizzon, Matteo Fait, Roberto Passerone, Davide Brunelli:
Energy Neutral Wireless Sensing for Server Farms Monitoring. IEEE J. Emerg. Sel. Topics Circuits Syst. 4(3): 324-334 (2014)
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/applepies/RossiRFPB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/applepies/RossiRFPB14
Maurizio Rossi, Luca Rizzon, Matteo Fait, Roberto Passerone, Davide Brunelli:
Self-powered Active Cooling System for High Performance Processors. ApplePies 2014: 25-33
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/applepies/RizzonMPMFNCPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/applepies/RizzonMPMFNCPP14
Luca Rizzon, Federico Moro, Roberto Passerone, David Macii, Daniele Fontanelli, Payam Nazemzadeh, Michele Corrà, Luigi Palopoli, Domenico Prattichizzo:
c-Walker: A Cyber-Physical System for Ambient Assisted Living. ApplePies 2014: 75-82
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/codes/GuoZNPSL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/codes/GuoZNPSL14
Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Edward A. Lee:
Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems. CODES+ISSS 2014: 24:1-24:10
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/MaciiABDCP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/MaciiABDCP14
David Macii, Manuel Avancini, Luigi Benciolini, Stefano Dalpez, Michele Corrà, Roberto Passerone:
Design of a Redundant FPGA-Based Safety System for Railroad Vehicles. DSD 2014: 683-686
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/FerrantePFMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/FerrantePFMS14
Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis:
BCL: A compositional contract language for embedded systems. ETFA 2014: 1-6
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/green/RizzonRPB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/green/RizzonRPB14
Luca Rizzon, Maurizio Rossi, Roberto Passerone, Davide Brunelli:
Energy neutral hybrid cooling system for high performance processors. IGCC 2014: 1-6
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/ivs/CamelliniFMZGPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ivs/CamelliniFMZGPP14
Gabriele Camellini, Mirko Felisa, Paolo Medici, Paolo Zani, Francesco Gregoretti, Claudio Passerone, Roberto Passerone:
3DV - An embedded, dense stereovision-based depth mapping system. Intelligent Vehicles Symposium 2014: 1435-1440
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/LeP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/LeP14
Thi Thieu Hoa Le, Roberto Passerone:
Refinement-based synthesis of correct contract model decompositions. MEMOCODE 2014: 134-143
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/0002PQ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/0002PQ14
Susanne Graf, Roberto Passerone, Sophie Quinton:
Contract-Based Reasoning for Component Systems with Rich Interactions. Embedded Systems Development, From Functional Models to Implementations 2014: 139-154
2013
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/MinakovP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/MinakovP13
Ivan Minakov, Roberto Passerone:
PASES: An energy-aware design space exploration framework for wireless sensor networks. J. Syst. Archit. 59(8): 626-642 (2013)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/jssc/CottiniGMPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jssc/CottiniGMPS13
Nicola Cottini, Massimo Gottardi, Nicola Massari, Roberto Passerone, Zeev Smilansky:
A 33 µW 64×64 Pixel Vision Sensor Embedding Robust Dynamic Background Subtraction for Event Detection and Scene Interpretation. IEEE J. Solid State Circuits 48(3): 850-863 (2013)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/LePPR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/LePPR13
Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian:
Timed-automata based schedulability analysis for distributed firm real-time systems: a case study. Int. J. Softw. Tools Technol. Transf. 15(3): 211-228 (2013)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/DavareDGPSSZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/DavareDGPSSZ13
Abhijit Davare, Douglas Densmore, Liangpeng Guo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Alena Simalatsar, Qi Zhu:
metroII: A design environment for cyber-physical systems. ACM Trans. Embed. Comput. Syst. 12(1s): 49:1-49:31 (2013)
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/LePFL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/LePFL13
Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay:
Tag Machines for Modeling Heterogeneous Systems. ACSD 2013: 186-195
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/applepies/BrunelliTGBPA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/applepies/BrunelliTGBPA13
Davide Brunelli, Alberto Tovazzi, Massimo Gottardi, Michele Benetti, Roberto Passerone, Pamela Abshire:
Energy Autonomous Low Power Vision System. ApplePies 2013: 39-50
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/applepies/RizzonP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/applepies/RizzonP13
Luca Rizzon, Roberto Passerone:
Spatial Sound Rendering for Assisted Living on an Embedded Platform. ApplePies 2013: 61-73
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/esocc/LePFL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esocc/LePFL13
Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay:
A Tag Contract Framework for Heterogeneous Systems. ESOCC Workshops 2013: 204-217
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/RizzonRPB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/RizzonRPB13
Luca Rizzon, Maurizio Rossi, Roberto Passerone, Davide Brunelli:
Wireless sensor networks for environmental monitoring powered by microprocessors heat dissipation. ENSSys@SenSys 2013: 8:1-8:6
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/RizzonP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/RizzonP13
Luca Rizzon, Roberto Passerone:
Embedded soundscape rendering for the visually impaired. SIES 2013: 101-104
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/TovarZPAES13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/TovarZPAES13
Eduardo Tovar, Richard Zurawski, Roberto Passerone, Karl-Erik Årzén, Arvind Easwaran, Luca Santinelli:
Welcome message. SIES 2013
2012
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/ejcon/Sangiovanni-VincentelliDP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ejcon/Sangiovanni-VincentelliDP12
Alberto L. Sangiovanni-Vincentelli, Werner Damm, Roberto Passerone:
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems. Eur. J. Control 18(3): 217-238 (2012)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/NolteP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/NolteP12
Thomas Nolte, Roberto Passerone:
Guest Editorial Special Section on Real-Time and (Networked) Embedded Systems III. IEEE Trans. Ind. Informatics 8(2): 321 (2012)
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/DalpezVPP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/DalpezVPP12
Stefano Dalpez, Alessandro Vaccari, Roberto Passerone, Alberto Penasa:
Design of an innovative proximity detection embedded-system for safety application in industrial machinery. ETFA 2012: 1-8
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/ewsn/SomovHPEW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewsn/SomovHPEW12
Andrey Somov, Christine Ho, Roberto Passerone, James W. Evans, Paul K. Wright:
Towards Extending Sensor Node Lifetime with Printed Supercapacitors. EWSN 2012: 212-227
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/ewsn/SomovBSICPKS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewsn/SomovBSICPKS12
Andrey Somov, Alexander Baranov, Alexey Savkin, Mikhail Ivanov, Lucia Calliari, Roberto Passerone, Evgeny F. Karpov, Alexey Suchkov:
Energy-Aware Gas Sensing Using Wireless Sensor Networks. EWSN 2012: 245-260
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/SimalatsarGBP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/SimalatsarGBP12
Alena Simalatsar, Liangpeng Guo, Marius Bozga, Roberto Passerone:
Integration of correct-by-construction BIP models into the MetroII design space exploration flow. ICCD 2012: 490-491
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/inss/SomovEHWP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inss/SomovEHWP12
Andrey Somov, James W. Evans, Christine Ho, Paul K. Wright, Roberto Passerone:
Printed electrochemical capacitors for energy scavenging sensor networks. INSS 2012: 1-6
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/islped/CottiniGMPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/islped/CottiniGMPS12
Nicola Cottini, Massimo Gottardi, Nicola Massari, Roberto Passerone, Zeev Smilansky:
A 33μW 42 GOPS/W 64x64 pixel vision sensor with dynamic background subtraction for scene interpretation. ISLPED 2012: 315-320
2011
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/RacletBBCLP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/RacletBBCLP11
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone:
A Modal Interface Theory for Component-based Design. Fundam. Informaticae 108(1-2): 119-149 (2011)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/PalopoliPR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/PalopoliPR11
Luigi Palopoli, Roberto Passerone, Tizar Rizano:
Scalable Offline Optimization of Industrial Wireless Sensor Networks. IEEE Trans. Ind. Informatics 7(2): 328-339 (2011)
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/HossainP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/HossainP11
Md. Akbar Hossain, Roberto Passerone:
Power Adaptive Cognitive Pilot Channel for Spectrum Co-existence in Wireless Networks. AINA 2011: 9-16
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/cases/SimalatsarRLPPT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cases/SimalatsarRLPPT11
Alena Simalatsar, Yusi Ramadian, Kai Lampka, Simon Perathoner, Roberto Passerone, Lothar Thiele:
Enabling parametric feasibility analysis in real-time calculus driven performance evaluation. CASES 2011: 155-164
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/RizanoPMP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/RizanoPMP11
Tizar Rizano, Roberto Passerone, David Macii, Luigi Palopoli:
Model-based design of embedded control software for hybrid vehicles. SIES 2011: 75-78
2010
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/CancilaPVP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/CancilaPVP10
Daniela Cancila, Roberto Passerone, Tullio Vardanega, Marco Panunzio:
Ensuring Correctness in the Specification and Handling of Non-Functional Attributes in High-Integrity Real-Time Embedded Systems. IEEE Trans. Ind. Informatics 6(2): 181-194 (2010)
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/eenergy/SomovSIKPBS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eenergy/SomovSIKPBS10
Andrey Somov, Denis Spirjakin, Mikhail Ivanov, Igor Khromushin, Roberto Passerone, Alexander Baranov, Alexey Savkin:
Combustible gases and early fire detection: an autonomous system for wireless sensor networks. e-Energy 2010: 85-93
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/LePPRC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/LePPRC10
Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian, Alessandro Cimatti:
Parametric analysis of distributed firm real-time systems: A case study. ETFA 2010: 1-8
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/DalpezPCT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/DalpezPCT10
Stefano Dalpez, Roberto Passerone, Daniela Cancila, François Terrier:
An Industrial Case Study Using an MBE Approach: From Architecture to Safety Analysis. ISORC Workshops 2010: 116-122

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/PasseroneHGBCCGTDFMJPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/PasseroneHGBCCGTDFMJPS09
Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli:
Metamodels in Europe: Languages, Tools, and Applications. IEEE Des. Test Comput. 26(3): 38-53 (2009)
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/RacletBBCP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/RacletBBCP09
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone:
Why Are Modalities Good for Interface Theories?. ACSD 2009: 119-127
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/FontanelliPP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/FontanelliPP09
Daniele Fontanelli, Luigi Palopoli, Roberto Passerone:
On the global convergence of a class of distributed algorithms for maximizing the coverage of a WSN. CDC 2009: 7885-7890
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/date/DensmoreSDPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/DensmoreSDPS09
Douglas Densmore, Alena Simalatsar, Abhijit Davare, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
UMTS MPSoC design evaluation using a system level design framework. DATE 2009: 478-483
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/RacletBBCLP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/RacletBBCLP09
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone:
Modal interfaces: unifying interface automata and modal specifications. EMSOFT 2009: 87-96
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/SomovMSFP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/SomovMSFP09
Andrey Somov, Ivan Minakov, Alena Simalatsar, Giorgio Fontana, Roberto Passerone:
A Methodology for Power Consumption Evaluation of Wireless Sensor Networks. ETFA 2009: 1-8
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ewsn/PalopoliPMPG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewsn/PalopoliPMPG09
Luigi Palopoli, Roberto Passerone, Amy L. Murphy, Gian Pietro Picco, Alessandro Giusti:
Solving the Wake-Up Scattering Problem Optimally. EWSN 2009: 166-182
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/FontanelliPP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/FontanelliPP09
Daniele Fontanelli, Luigi Palopoli, Roberto Passerone:
Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem. HSCC 2009: 180-193
2008
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/PasseroneS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/PasseroneS08
Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Approximating Behaviors in Embedded System Design. Concurrency, Graphs and Models 2008: 721-742
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/CancilaP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/CancilaP08
Daniela Cancila, Roberto Passerone:
Functional and structural properties in the Model-Driven Engineering approach. ETFA 2008: 809-816
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/KhanPM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/KhanPM08
Md. Rezaul Hoque Khan, Roberto Passerone, David Macii:
FZepel: RF-level power consumption measurement (RF-PM) for Zigbee wireless sensor network-towards cross layer optimization. ETFA 2008: 959-966
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/BenvenutiFMMPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/BenvenutiFMMPS08
Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis:
A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). FDL 2008: 142-147
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/iwsos/SomovSP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwsos/SomovSP08
Andrey Somov, Vinay Sachidananda, Roberto Passerone:
A Self-powered Module with Localization and Tracking System for Paintball. IWSOS 2008: 182-193
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/SimalatsarPD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/SimalatsarPD08
Alena Simalatsar, Roberto Passerone, Douglas Densmore:
A methodology for architecture exploration and performance analysis using system level design languages and rapid architecture profiling. SIES 2008: 95-102
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/uksim/KhanP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uksim/KhanP08
Md. Rezaul Hoque Khan, Roberto Passerone:
Performance of Energy Efficient Source Coding and Interference Reduction in Wireless Sensor Network Systems. UKSim 2008: 342-347
2007
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/PasseroneBS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/PasseroneBS07
Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli:
Refinement preserving approximations for the design and verification of heterogeneous systems. Formal Methods Syst. Des. 31(1): 1-33 (2007)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/BalarinP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/BalarinP07
Felice Balarin, Roberto Passerone:
Specification, Synthesis, and Simulation of Transactor Processes. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(10): 1749-1762 (2007)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/BenvenisteCFMPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/BenvenisteCFMPS07
Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis:
Multiple Viewpoint Contract-Based Specification and Design. FMCO 2007: 200-225
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0706-1456
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0706-1456
Albert Benveniste, Benoît Caillaud, Roberto Passerone:
A Generic Model of Contracts for Embedded Systems. CoRR abs/0706.1456 (2007)
2006
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/DensmoreP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/DensmoreP06
Douglas Densmore, Roberto Passerone:
A Platform-Based Taxonomy for ESL Design. IEEE Des. Test Comput. 23(5): 359-374 (2006)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/fteda/CarloniPPS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fteda/CarloniPPS06
Luca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli:
Languages and Tools for Hybrid Systems Design. Found. Trends Electron. Des. Autom. 1(1/2) (2006)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/todaes/PintoBSPS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/todaes/PintoBSPS06
Alessandro Pinto, Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Marco Sgroi:
System level design paradigms: Platform-based design and communication synthesis. ACM Trans. Design Autom. Electr. Syst. 11(3): 537-563 (2006)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/date/BalarinP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/BalarinP06
Felice Balarin, Roberto Passerone:
Functional verification methodology based on formal interface specification and transactor generation. DATE 2006: 1013-1018
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/PintoCPS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/PintoCPS06
Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Interchange Format for Hybrid Systems: Abstract Semantics. HSCC 2006: 491-506
2005
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/PintoSCP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/PintoSCP05
Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone:
Interchange Formats for Hybrid Systems: Review and Proposal. HSCC 2005: 526-541
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/BalarinPPS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/BalarinPPS05
Felice Balarin, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli:
A formal approach to system level design: metamodels and unified design environments. MEMOCODE 2005: 155-163
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/crc/Passerone05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/Passerone05
Roberto Passerone:
Interface Specification and Converter Synthesis. Embedded Systems Handbook 2005
2004
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/PasseroneBS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/PasseroneBS04
Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli:
Conservative approximations for heterogeneous design. EMSOFT 2004: 155-164
2002
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/PasseroneAHS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/PasseroneAHS02
Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli:
Convertibility verification and converter synthesis: two faces of the same coin. ICCAD 2002: 132-139
2001
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/vlsisp/GregorettiPRS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlsisp/GregorettiPRS01
Francesco Gregoretti, Roberto Passerone, Leonardo Maria Reyneri, Claudio Sansoè:
A High Speed VLSI Architecture for Handwriting Recognition. J. VLSI Signal Process. 28(3): 259-278 (2001)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/BurchPS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/BurchPS01
Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems. ACSD 2001: 13-
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/BurchPS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/BurchPS01
Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Using Multiple Levels of Abstractions in Embedded Software Design. EMSOFT 2001: 324-343
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/BalarinBLWPS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/BalarinBLWPS01
Felice Balarin, Jerry R. Burch, Luciano Lavagno, Yosinori Watanabe, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Constraints specification at higher levels of abstraction. HLDVT 2001: 129-133

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/todaes/PasseroneSLMMPS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/todaes/PasseroneSLMMPS98
Claudio Passerone, Claudio Sansoè, Luciano Lavagno, Patrick C. McGeer, Jonathan Martin, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Modeling reactive systems in Java. ACM Trans. Design Autom. Electr. Syst. 3(4): 515-523 (1998)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/vlsisp/BroggiCGSPR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlsisp/BroggiCGSPR98
Alberto Broggi, Gianni Conte, Francesco Gregoretti, Claudio Sansoè, Roberto Passerone, Leonardo Maria Reyneri:
Design and Implementation of the PAPRICA Parallel Architecture. J. VLSI Signal Process. 19(1): 5-18 (1998)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/codes/PasseronePSMSM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/codes/PasseronePSMSM98
Claudio Passerone, Roberto Passerone, Claudio Sansoè, Jonathan Martin, Alberto L. Sangiovanni-Vincentelli, Rick McGeer:
Modeling reactive systems in Java. CODES 1998: 15-19
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/PasseroneRS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/PasseroneRS98
Roberto Passerone, James A. Rowson, Alberto L. Sangiovanni-Vincentelli:
Automatic Synthesis of Interfaces Between Incompatible Protocols. DAC 1998: 8-13
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/isss/FilippiLLMPPSS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isss/FilippiLLMPPSS98
Enrica Filippi, Luciano Lavagno, L. Licciardi, Archille Montanaro, Maurizio Paolini, Roberto Passerone, Marco Sgroi, Alberto L. Sangiovanni-Vincentelli:
Intellectual Property Re-use in Embedded System Co-design: An Industrial Case Study. ISSS 1998: 37-42
1996
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/pdp/GregorettiILPR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdp/GregorettiILPR96
Francesco Gregoretti, F. Intini, Luciano Lavagno, Roberto Passerone, Leonardo Maria Reyneri:
Design and Implementation of the Control Structure of the PAPRICA-3 Processor. PDP 1996: 290-296

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.