default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Roberto Passerone
@article{DBLP:journals/sensors/BianchiMP24,
author = {Cristian Bianchi and
Rosario Merlino and
Roberto Passerone},
title = {Combining Optimization and Simulation for Next-Generation Off-Road
Vehicle {E/E} Architectural Design},
journal = {Sensors},
volume = {24},
number = {15},
pages = {4889},
year = {2024},
url = {https://doi.org/10.3390/s24154889},
doi = {10.3390/S24154889},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/BianchiMP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/KirovNSP24,
author = {Dmitrii Kirov and
Pierluigi Nuzzo and
Alberto L. Sangiovanni{-}Vincentelli and
Roberto Passerone},
title = {Efficient Encodings for Scalable Exploration of Cyber-Physical System
Architectures},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {43},
number = {1},
pages = {30--43},
year = {2024},
url = {https://doi.org/10.1109/TCAD.2023.3306717},
doi = {10.1109/TCAD.2023.3306717},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/KirovNSP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccnc/ShahP24,
author = {Ayub Shah and
Roberto Passerone},
title = {Architectural Exploration and Design for Ultra-Reliable Low-Latency
Indoor Robotics Systems},
booktitle = {21st {IEEE} Consumer Communications {\&} Networking Conference,
{CCNC} 2024, Las Vegas, NV, USA, January 6-9, 2024},
pages = {360--363},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/CCNC51664.2024.10454762},
doi = {10.1109/CCNC51664.2024.10454762},
timestamp = {Tue, 26 Mar 2024 22:14:36 +0100},
biburl = {https://dblp.org/rec/conf/ccnc/ShahP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wfcs/BianchiSMP24,
author = {Cristian Bianchi and
Ayub Shah and
Chiara Marangoni and
Roberto Passerone},
title = {Toward Simulation-Assisted Architecture Design Space Exploration of
Indoor Robotics Networks},
booktitle = {20th {IEEE} International Conference on Factory Communication Systems,
{WFCS} 2024, Toulouse, France, April 17-19, 2024},
pages = {1--4},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/WFCS60972.2024.10540883},
doi = {10.1109/WFCS60972.2024.10540883},
timestamp = {Wed, 19 Jun 2024 11:19:31 +0200},
biburl = {https://dblp.org/rec/conf/wfcs/BianchiSMP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2408-09229,
author = {Emiliano Tolotti and
Anas Jnini and
Flavio Vella and
Roberto Passerone},
title = {cuVegas: Accelerate Multidimensional Monte Carlo Integration through
a Parallelized CUDA-based Implementation of the {VEGAS} Enhanced Algorithm},
journal = {CoRR},
volume = {abs/2408.09229},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2408.09229},
doi = {10.48550/ARXIV.2408.09229},
eprinttype = {arXiv},
eprint = {2408.09229},
timestamp = {Tue, 24 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-09229.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/GuptaMP23,
author = {Sandeep Gupta and
Carsten Maple and
Roberto Passerone},
title = {An Investigation of Cyber-Attacks and Security Mechanisms for Connected
and Autonomous Vehicles},
journal = {{IEEE} Access},
volume = {11},
pages = {90641--90669},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3307473},
doi = {10.1109/ACCESS.2023.3307473},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/GuptaMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/TontiniGMPP23,
author = {Alessandro Tontini and
Leonardo Gasparini and
Enrico Manuzzato and
Matteo Perenzoni and
Roberto Passerone},
title = {Comparative evaluation of background-rejection techniques for SPAD-based
LiDAR systems},
journal = {Integr.},
volume = {90},
pages = {1--10},
year = {2023},
url = {https://doi.org/10.1016/j.vlsi.2022.12.007},
doi = {10.1016/J.VLSI.2022.12.007},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/integration/TontiniGMPP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/PistellatoBBGAB23,
author = {Mara Pistellato and
Filippo Bergamasco and
Gianluca Bigaglia and
Andrea Gasparetto and
Andrea Albarelli and
Marco Boschetti and
Roberto Passerone},
title = {Quantization-Aware {NN} Layers with High-throughput {FPGA} Implementation
for Edge {AI}},
journal = {Sensors},
volume = {23},
number = {10},
pages = {4667},
year = {2023},
url = {https://doi.org/10.3390/s23104667},
doi = {10.3390/S23104667},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/PistellatoBBGAB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/PhilipPYB23,
author = {Sebin Shaji Philip and
Roberto Passerone and
Kasim Sinan Yildirim and
Davide Brunelli},
title = {Intermittent Computing Emulation of Ultralow-Power Processors: Evaluation
of Backup Strategies for {RISC-V}},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {42},
number = {1},
pages = {82--94},
year = {2023},
url = {https://doi.org/10.1109/TCAD.2022.3169108},
doi = {10.1109/TCAD.2022.3169108},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/PhilipPYB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ets/MasciulloPRP23,
author = {Lorenzo Masciullo and
Roberto Passerone and
Francesco Regazzoni and
Ilia Polian},
title = {Secrets Leaking Through Quicksand: Covert Channels in Approximate
Computing},
booktitle = {{IEEE} European Test Symposium, {ETS} 2023, Venezia, Italy, May 22-26,
2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ETS56758.2023.10174181},
doi = {10.1109/ETS56758.2023.10174181},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ets/MasciulloPRP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isie/BonoraP23,
author = {Matteo Bonora and
Roberto Passerone},
title = {Optimized Passive Battery Cell Balancing Algorithm for a Low-Cost
Race Car},
booktitle = {32nd {IEEE} International Symposium on Industrial Electronics, {ISIE}
2023, Helsinki, Finland, June 19-21, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISIE51358.2023.10228086},
doi = {10.1109/ISIE51358.2023.10228086},
timestamp = {Fri, 08 Sep 2023 15:28:21 +0200},
biburl = {https://dblp.org/rec/conf/isie/BonoraP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccnc/PrastowoSPPP22,
author = {Tadeus Prastowo and
Ayub Shah and
Luigi Palopoli and
Roberto Passerone and
Giuseppe Piro},
title = {Migration-Aware Optimized Resource Allocation in {B5G} Edge Networks},
booktitle = {19th {IEEE} Annual Consumer Communications {\&} Networking Conference,
{CCNC} 2022, Las Vegas, NV, USA, January 8-11, 2022},
pages = {106--113},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CCNC49033.2022.9700644},
doi = {10.1109/CCNC49033.2022.9700644},
timestamp = {Mon, 28 Aug 2023 21:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ccnc/PrastowoSPPP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icphys/TiernoTCP22,
author = {Antonio Tierno and
Giuliano Turri and
Alessandro Cimatti and
Roberto Passerone},
title = {Symbolic Encoding of Reliability for the Design of Redundant Architectures},
booktitle = {5th {IEEE} International Conference on Industrial Cyber-Physical Systems,
{ICPS} 2022, Coventry, United Kingdom, May 24-26, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICPS51978.2022.9816888},
doi = {10.1109/ICPS51978.2022.9816888},
timestamp = {Mon, 06 Nov 2023 13:38:03 +0100},
biburl = {https://dblp.org/rec/conf/icphys/TiernoTCP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prime/TontiniGMPP22,
author = {Alessandro Tontini and
Leonardo Gasparini and
Enrico Manuzzato and
Matteo Perenzoni and
Roberto Passerone},
title = {Comparison of background-rejection techniques for SPAD-based LiDAR
systems},
booktitle = {17th Conference on Ph.D Research in Microelectronics and Electronics,
{PRIME} 2022, Villasimius, SU, Italy, June 12-15, 2022},
pages = {45--48},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/PRIME55000.2022.9816826},
doi = {10.1109/PRIME55000.2022.9816826},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prime/TontiniGMPP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/ChamissoCSPA21,
author = {Fabrice Mayran de Chamisso and
Daniela Cancila and
Laurent Soulier and
Roberto Passerone and
Micha{\"{e}}l Aupetit},
title = {Lifelong Exploratory Navigation: An Architecture for Safer Mobile
Robots},
journal = {{IEEE} Des. Test},
volume = {38},
number = {5},
pages = {57--64},
year = {2021},
url = {https://doi.org/10.1109/MDAT.2019.2952347},
doi = {10.1109/MDAT.2019.2952347},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/ChamissoCSPA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/applepies/TiernoTCP21,
author = {Antonio Tierno and
Giuliano Turri and
Alessandro Cimatti and
Roberto Passerone},
editor = {Sergio Saponara and
Alessandro De Gloria},
title = {Automatic Design Space Exploration of Redundant Architectures},
booktitle = {Applications in Electronics Pervading Industry, Environment and Society
- {APPLEPIES} 2021},
series = {Lecture Notes in Electrical Engineering},
volume = {866},
pages = {149--154},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-95498-7\_21},
doi = {10.1007/978-3-030-95498-7\_21},
timestamp = {Tue, 12 Apr 2022 11:38:04 +0200},
biburl = {https://dblp.org/rec/conf/applepies/TiernoTCP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/applepies/PrastowoSPP21,
author = {Tadeus Prastowo and
Ayub Shah and
Luigi Palopoli and
Roberto Passerone},
editor = {Sergio Saponara and
Alessandro De Gloria},
title = {Resource Optimization in MEC-Based {B5G} Networks for Indoor Robotics
Environment},
booktitle = {Applications in Electronics Pervading Industry, Environment and Society
- {APPLEPIES} 2021},
series = {Lecture Notes in Electrical Engineering},
volume = {866},
pages = {164--172},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-95498-7\_23},
doi = {10.1007/978-3-030-95498-7\_23},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/applepies/PrastowoSPP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SacconBFFPP21,
author = {Enrico Saccon and
Paolo Bevilacqua and
Daniele Fontanelli and
Marco Frego and
Luigi Palopoli and
Roberto Passerone},
title = {Robot Motion Planning: can GPUs be a Game Changer?},
booktitle = {{IEEE} 45th Annual Computers, Software, and Applications Conference,
{COMPSAC} 2021, Madrid, Spain, July 12-16, 2021},
pages = {21--30},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/COMPSAC51774.2021.00015},
doi = {10.1109/COMPSAC51774.2021.00015},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/SacconBFFPP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/CirilloP20,
author = {Gennaro Cirillo and
Roberto Passerone},
title = {Packet Length Spectral Analysis for IoT Flow Classification Using
Ensemble Learning},
journal = {{IEEE} Access},
volume = {8},
pages = {138616--138641},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.3012203},
doi = {10.1109/ACCESS.2020.3012203},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/CirilloP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/NuzzoBMKPS20,
author = {Pierluigi Nuzzo and
Nikunj Bajaj and
Michael Masin and
Dmitrii Kirov and
Roberto Passerone and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Optimized Selection of Reliable and Cost-Effective Safety-Critical
System Architectures},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {39},
number = {10},
pages = {2109--2123},
year = {2020},
url = {https://doi.org/10.1109/TCAD.2019.2963255},
doi = {10.1109/TCAD.2019.2963255},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/NuzzoBMKPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/PasseroneCAMPJR19,
author = {Roberto Passerone and
Daniela Cancila and
Michele Albano and
Sebti Mouelhi and
S{\'{a}}ndor Pl{\'{o}}sz and
Erkki Jantunen and
Anna Ryabokon and
Mohamed{-}Emine Laarouchi and
Csaba Heged{\"{u}}s and
P{\'{a}}l Varga},
title = {A Methodology for the Design of Safety-Compliant and Secure Communication
of Autonomous Vehicles},
journal = {{IEEE} Access},
volume = {7},
pages = {125022--125037},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2937453},
doi = {10.1109/ACCESS.2019.2937453},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/PasseroneCAMPJR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcas/TontiniGMP19,
author = {Alessandro Tontini and
Leonardo Gasparini and
Nicola Massari and
Roberto Passerone},
title = {SPAD-Based Quantum Random Number Generator With an N\({}^{\mbox{t}}\)-Order
Rank Algorithm on {FPGA}},
journal = {{IEEE} Trans. Circuits Syst. {II} Express Briefs},
volume = {66-II},
number = {12},
pages = {2067--2071},
year = {2019},
url = {https://doi.org/10.1109/TCSII.2019.2909013},
doi = {10.1109/TCSII.2019.2909013},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcas/TontiniGMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/PasseroneRS19,
author = {Roberto Passerone and
{\'{I}}{\~{n}}igo {\'{I}}ncer Romeo and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Coherent Extension, Composition, and Merging Operators in Contract
Models for System Design},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {18},
number = {5s},
pages = {86:1--86:23},
year = {2019},
url = {https://doi.org/10.1145/3358216},
doi = {10.1145/3358216},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/PasseroneRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tim/MagnagoPPFM19,
author = {Valerio Magnago and
Luigi Palopoli and
Roberto Passerone and
Daniele Fontanelli and
David Macii},
title = {Effective Landmark Placement for Robot Indoor Localization With Position
Uncertainty Constraints},
journal = {{IEEE} Trans. Instrum. Meas.},
volume = {68},
number = {11},
pages = {4443--4455},
year = {2019},
url = {https://doi.org/10.1109/TIM.2018.2887071},
doi = {10.1109/TIM.2018.2887071},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tim/MagnagoPPFM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/applepies/CirilloPPR19,
author = {Gennaro Cirillo and
Roberto Passerone and
Antonio Posenato and
Luca Rizzon},
editor = {Sergio Saponara and
Alessandro De Gloria},
title = {Statistical Flow Classification for the IoT},
booktitle = {Applications in Electronics Pervading Industry, Environment and Society
- {APPLEPIES} 2019, Pisa, Italy, 11-13 September 2019},
series = {Lecture Notes in Electrical Engineering},
volume = {627},
pages = {73--79},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-37277-4\_9},
doi = {10.1007/978-3-030-37277-4\_9},
timestamp = {Tue, 24 Mar 2020 17:59:05 +0100},
biburl = {https://dblp.org/rec/conf/applepies/CirilloPPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fteda/BenvenisteCNPRR18,
author = {Albert Benveniste and
Beno{\^{\i}}t Caillaud and
Dejan Nickovic and
Roberto Passerone and
Jean{-}Baptiste Raclet and
Philipp Reinkemeier and
Alberto L. Sangiovanni{-}Vincentelli and
Werner Damm and
Thomas A. Henzinger and
Kim G. Larsen},
title = {Contracts for System Design},
journal = {Found. Trends Electron. Des. Autom.},
volume = {12},
number = {2-3},
pages = {124--400},
year = {2018},
url = {https://doi.org/10.1561/1000000053},
doi = {10.1561/1000000053},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fteda/BenvenisteCNPRR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolpe/GiacomoGMP18,
author = {Alberini Giacomo and
Massimo Gottardi and
Nicola Massari and
Roberto Passerone},
title = {A Low-Power Clock-Less Pulse Width Modulator Architecture for Smart
Imaging},
journal = {J. Low Power Electron.},
volume = {14},
number = {1},
pages = {118--128},
year = {2018},
url = {https://doi.org/10.1166/jolpe.2018.1533},
doi = {10.1166/JOLPE.2018.1533},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolpe/GiacomoGMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcas/BenettiGMP18,
author = {Michele Benetti and
Massimo Gottardi and
Tobias Mayr and
Roberto Passerone},
title = {A Low-Power Vision System With Adaptive Background Subtraction and
Image Segmentation for Unusual Event Detection},
journal = {{IEEE} Trans. Circuits Syst. {I} Regul. Pap.},
volume = {65-I},
number = {11},
pages = {3842--3853},
year = {2018},
url = {https://doi.org/10.1109/TCSI.2018.2857562},
doi = {10.1109/TCSI.2018.2857562},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcas/BenettiGMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/LagoFPF18,
author = {Loris Dal Lago and
Orlando Ferrante and
Roberto Passerone and
Alberto Ferrari},
title = {Dependability Assessment of SOA-Based {CPS} With Contracts and Model-Based
Fault Injection},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {14},
number = {1},
pages = {360--369},
year = {2018},
url = {https://doi.org/10.1109/TII.2017.2689337},
doi = {10.1109/TII.2017.2689337},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/LagoFPF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KirovNPS18,
author = {Dmitrii Kirov and
Pierluigi Nuzzo and
Roberto Passerone and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Optimized selection of wireless network topologies and components
via efficient pruning of feasible paths},
booktitle = {Proceedings of the 55th Annual Design Automation Conference, {DAC}
2018, San Francisco, CA, USA, June 24-29, 2018},
pages = {179:1--179:6},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3195970.3196086},
doi = {10.1145/3195970.3196086},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/KirovNPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/i2mtc/MagnagoBPPFM18,
author = {Valerio Magnago and
Paolo Bevilacqua and
Luigi Palopoli and
Roberto Passerone and
Daniele Fontanelli and
David Macii},
title = {Optimal landmark placement for indoor positioning using context information
and multi-sensor data},
booktitle = {{IEEE} International Instrumentation and Measurement Technology Conference,
{I2MTC} 2018, Houston, TX, USA, May 14-17, 2018},
pages = {1--6},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/I2MTC.2018.8409809},
doi = {10.1109/I2MTC.2018.8409809},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/i2mtc/MagnagoBPPFM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icphys/DalpiazLNPB18,
author = {Giorgia Dalpiaz and
Alessandro Longo and
Matteo Nardello and
Roberto Passerone and
Davide Brunelli},
title = {A battery-free non-intrusive power meter for low-cost energy monitoring},
booktitle = {{IEEE} Industrial Cyber-Physical Systems, {ICPS} 2018, Saint Petersburg,
Russia, May 15-18, 2018},
pages = {653--658},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICPHYS.2018.8390784},
doi = {10.1109/ICPHYS.2018.8390784},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icphys/DalpiazLNPB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/suscom/RossiRPMSB17,
author = {Maurizio Rossi and
Luca Rizzon and
Roberto Passerone and
Ivan Minakov and
Davide Sartori and
Davide Brunelli},
title = {Non-invasive cyber-physical system for data center management},
journal = {Sustain. Comput. Informatics Syst.},
volume = {16},
pages = {66--75},
year = {2017},
url = {https://doi.org/10.1016/j.suscom.2017.09.003},
doi = {10.1016/J.SUSCOM.2017.09.003},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/suscom/RossiRPMSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KirovNPS17,
author = {Dmitrii Kirov and
Pierluigi Nuzzo and
Roberto Passerone and
Alberto L. Sangiovanni{-}Vincentelli},
title = {ArchEx: An Extensible Framework for the Exploration of Cyber-Physical
System Architectures},
booktitle = {Proceedings of the 54th Annual Design Automation Conference, {DAC}
2017, Austin, TX, USA, June 18-22, 2017},
pages = {31:1--31:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3061639.3062204},
doi = {10.1145/3061639.3062204},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/KirovNPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/giots/MinakovPR17,
author = {Ivan Minakov and
Roberto Passerone and
Maurizio Rossi},
title = {Design and energy optimization of a multifunctional IoT solution for
connected bikes},
booktitle = {Global Internet of Things Summit, GIoTS 2017, Geneva, Switzerland,
June 6-9, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/GIOTS.2017.8016240},
doi = {10.1109/GIOTS.2017.8016240},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/giots/MinakovPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipin/MagnagoPPFM17,
author = {Valerio Magnago and
Luigi Palopoli and
Roberto Passerone and
Daniele Fontanelli and
David Macii},
title = {A nearly optimal landmark deployment for indoor localisation with
limited sensing},
booktitle = {2017 International Conference on Indoor Positioning and Indoor Navigation,
{IPIN} 2017, Sapporo, Japan, September 18-21, 2017},
pages = {1--8},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/IPIN.2017.8115883},
doi = {10.1109/IPIN.2017.8115883},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipin/MagnagoPPFM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ngcas/PantPWRL17,
author = {Vibha Pant and
Roberto Passerone and
Michele Welponer and
Luca Rizzon and
Roberto Lavagnolo},
title = {Efficient Neural Computation on Network Processors for IoT Protocol
Classification},
booktitle = {New Generation of CAS, {NGCAS} 2017, Genova, Italy, September 6-9,
2017},
pages = {9--12},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/NGCAS.2017.55},
doi = {10.1109/NGCAS.2017.55},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/ngcas/PantPWRL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ngcas/NicolaMGR17,
author = {Nicola Massari and
Massimo Gottardi and
Alberini Giacomo and
Roberto Passerone},
title = {A Clock-Less {PWM} Architecture for Sensor Imaging},
booktitle = {New Generation of CAS, {NGCAS} 2017, Genova, Italy, September 6-9,
2017},
pages = {169--172},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/NGCAS.2017.15},
doi = {10.1109/NGCAS.2017.15},
timestamp = {Wed, 04 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ngcas/NicolaMGR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LePFL16,
author = {Thi Thieu Hoa Le and
Roberto Passerone and
Ulrich Fahrenberg and
Axel Legay},
title = {A tag contract framework for modeling heterogeneous systems},
journal = {Sci. Comput. Program.},
volume = {115-116},
pages = {225--246},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2015.06.004},
doi = {10.1016/J.SCICO.2015.06.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LePFL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/BrunelliPRRS16,
author = {Davide Brunelli and
Roberto Passerone and
Luca Rizzon and
Maurizio Rossi and
Davide Sartori},
title = {Self-Powered {WSN} for Distributed Data Center Monitoring},
journal = {Sensors},
volume = {16},
number = {1},
pages = {57},
year = {2016},
url = {https://doi.org/10.3390/s16010057},
doi = {10.3390/S16010057},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/BrunelliPRRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/LePFL16,
author = {Thi Thieu Hoa Le and
Roberto Passerone and
Uli Fahrenberg and
Axel Legay},
title = {Contract-Based Requirement Modularization via Synthesis of Correct
Decompositions},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {15},
number = {2},
pages = {33:1--33:26},
year = {2016},
url = {https://doi.org/10.1145/2885752},
doi = {10.1145/2885752},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/LePFL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosn/MinakovPRS16,
author = {Ivan Minakov and
Roberto Passerone and
Alessandra Rizzardi and
Sabrina Sicari},
title = {A Comparative Study of Recent Wireless Sensor Network Simulators},
journal = {{ACM} Trans. Sens. Networks},
volume = {12},
number = {3},
pages = {20:1--20:39},
year = {2016},
url = {https://doi.org/10.1145/2903144},
doi = {10.1145/2903144},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosn/MinakovPRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/KirovPD16,
author = {Dmitrii Kirov and
Roberto Passerone and
Massimo Donelli},
title = {Statistical characterization of the 2.4 GHz radio channel for {WSN}
in indoor office environments},
booktitle = {21st {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2016, Berlin, Germany, September 6-9, 2016},
pages = {1--9},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ETFA.2016.7733713},
doi = {10.1109/ETFA.2016.7733713},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/KirovPD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isc2/MoroAFPPRSTP16,
author = {Federico Moro and
Antonella De Angeli and
Daniele Fontanelli and
Roberto Passerone and
Domenico Prattichizzo and
Luca Rizzon and
Stefano Scheggi and
Stefano Targher and
Luigi Palopoli},
title = {Sensory stimulation for human guidance in robot walkers: {A} comparison
between haptic and acoustic solutions},
booktitle = {{IEEE} International Smart Cities Conference, {ISC2} 2016, Trento,
Italy, September 12-15, 2016},
pages = {1--6},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ISC2.2016.7580811},
doi = {10.1109/ISC2.2016.7580811},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isc2/MoroAFPPRSTP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/RizzonP16,
author = {Luca Rizzon and
Roberto Passerone},
title = {Cyber/physical co-design in practice: Case studies in metroII},
booktitle = {11th {IEEE} Symposium on Industrial Embedded Systems, {SIES} 2016,
Krakow, Poland, May 23-25, 2016},
pages = {19--28},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SIES.2016.7509408},
doi = {10.1109/SIES.2016.7509408},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/RizzonP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wfcs/MinakovPRS16,
author = {Ivan Minakov and
Roberto Passerone and
Alessandra Rizzardi and
Sabrina Sicari},
title = {Routing behavior across {WSN} simulators: The {AODV} case study},
booktitle = {{IEEE} World Conference on Factory Communication Systems, {WFCS} 2016,
Aveiro, Portugal, May 3-6, 2016},
pages = {1--8},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WFCS.2016.7496514},
doi = {10.1109/WFCS.2016.7496514},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/wfcs/MinakovPRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MoroFPPRSTAP16,
author = {Federico Moro and
Daniele Fontanelli and
Roberto Passerone and
Domenico Prattichizzo and
Luca Rizzon and
Stefano Scheggi and
Stefano Targher and
Antonella De Angeli and
Luigi Palopoli},
title = {Follow, listen, feel and go: alternative guidance systems for a walking
assistance device},
journal = {CoRR},
volume = {abs/1601.03915},
year = {2016},
url = {http://arxiv.org/abs/1601.03915},
eprinttype = {arXiv},
eprint = {1601.03915},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MoroFPPRSTAP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isrob/PalopoliABCFLGG15,
author = {Luigi Palopoli and
Antonis A. Argyros and
Josef A. Birchbauer and
Alessio Colombo and
Daniele Fontanelli and
Axel Legay and
Andrea Garulli and
Antonello Giannitrapani and
David Macii and
Federico Moro and
Payam Nazemzadeh and
Pashalis Padeleris and
Roberto Passerone and
Georg Poier and
Domenico Prattichizzo and
Tizar Rizano and
Luca Rizzon and
Stefano Scheggi and
Sean Sedwards},
title = {Navigation assistance and guidance of older adults across complex
public spaces: the DALi approach},
journal = {Intell. Serv. Robotics},
volume = {8},
number = {2},
pages = {77--92},
year = {2015},
url = {https://doi.org/10.1007/s11370-015-0169-y},
doi = {10.1007/S11370-015-0169-Y},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isrob/PalopoliABCFLGG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esweek/CancilaZP15,
author = {Daniela Cancila and
Hadi Zaatiti and
Roberto Passerone},
editor = {Martin T{\"{o}}rngren and
Martin Edin Grimheden},
title = {Cyber-Physical System and Contract-Based Design: {A} Three Dimensional
View},
booktitle = {Proceedings of the Workshop on Embedded and Cyber-Physical Systems
Education, {WESE} 2015, Amsterdam, The Netherlands, October 4-9, 2015},
pages = {4:1--4:4},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2832920.2832924},
doi = {10.1145/2832920.2832924},
timestamp = {Mon, 14 Dec 2020 08:24:13 +0100},
biburl = {https://dblp.org/rec/conf/esweek/CancilaZP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esweek/TorngrenBMPSS15,
author = {Martin T{\"{o}}rngren and
Saddek Bensalem and
John A. McDermid and
Roberto Passerone and
Alberto L. Sangiovanni{-}Vincentelli and
Bernhard Sch{\"{a}}tz},
editor = {Martin T{\"{o}}rngren and
Martin Edin Grimheden},
title = {Education and training challenges in the era of Cyber-Physical Systems:
beyond traditional engineering},
booktitle = {Proceedings of the Workshop on Embedded and Cyber-Physical Systems
Education, {WESE} 2015, Amsterdam, The Netherlands, October 4-9, 2015},
pages = {8:1--8:5},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2832920.2832928},
doi = {10.1145/2832920.2832928},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esweek/TorngrenBMPSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/i2mtc/BaranovSASP15,
author = {Alexander Baranov and
Denis Spirjakin and
Saba Akbari and
Andrey Somov and
Roberto Passerone},
title = {A wireless carbon monoxide sensor node with hybrid power supply},
booktitle = {2015 {IEEE} International Instrumentation and Measurement Technology
Conference {(I2MTC)} Proceedings, Pisa, Italy, May 11-14, 2015},
pages = {1019--1023},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/I2MTC.2015.7151410},
doi = {10.1109/I2MTC.2015.7151410},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/i2mtc/BaranovSASP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iot360/MinakovP15,
author = {Ivan Minakov and
Roberto Passerone},
editor = {Benny Mandler and
Johann M{\'{a}}rquez{-}Barja and
Miguel Elias Mitre Campista and
Dagmar Cag{\'{a}}nov{\'{a}} and
Hakima Chaouchi and
Sherali Zeadally and
Mohamad Badra and
Stefano Giordano and
Maria Fazio and
Andrey Somov and
Radu{-}Laurentiu Vieriu},
title = {exIMUs: An Experimental Inertial Measurement Unit for Shock and Impact
Detection in Sport Applications},
booktitle = {Internet of Things. IoT Infrastructures - Second International Summit,
IoT 360{\textdegree} 2015, Rome, Italy, October 27-29, 2015, Revised
Selected Papers, Part {II}},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {170},
pages = {235--249},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-47075-7\_28},
doi = {10.1007/978-3-319-47075-7\_28},
timestamp = {Wed, 14 Nov 2018 10:57:18 +0100},
biburl = {https://dblp.org/rec/conf/iot360/MinakovP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/esticas/RossiRFPB14,
author = {Maurizio Rossi and
Luca Rizzon and
Matteo Fait and
Roberto Passerone and
Davide Brunelli},
title = {Energy Neutral Wireless Sensing for Server Farms Monitoring},
journal = {{IEEE} J. Emerg. Sel. Topics Circuits Syst.},
volume = {4},
number = {3},
pages = {324--334},
year = {2014},
url = {https://doi.org/10.1109/JETCAS.2014.2337171},
doi = {10.1109/JETCAS.2014.2337171},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/esticas/RossiRFPB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/applepies/RossiRFPB14,
author = {Maurizio Rossi and
Luca Rizzon and
Matteo Fait and
Roberto Passerone and
Davide Brunelli},
editor = {Alessandro De Gloria},
title = {Self-powered Active Cooling System for High Performance Processors},
booktitle = {Applications in Electronics Pervading Industry, Environment and Society
- {APPLEPIES} 2014, Rome, Italy, May 5-6, 2014},
series = {Lecture Notes in Electrical Engineering},
volume = {351},
pages = {25--33},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-20227-3\_4},
doi = {10.1007/978-3-319-20227-3\_4},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/applepies/RossiRFPB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/applepies/RizzonMPMFNCPP14,
author = {Luca Rizzon and
Federico Moro and
Roberto Passerone and
David Macii and
Daniele Fontanelli and
Payam Nazemzadeh and
Michele Corr{\`{a}} and
Luigi Palopoli and
Domenico Prattichizzo},
editor = {Alessandro De Gloria},
title = {c-Walker: {A} Cyber-Physical System for Ambient Assisted Living},
booktitle = {Applications in Electronics Pervading Industry, Environment and Society
- {APPLEPIES} 2014, Rome, Italy, May 5-6, 2014},
series = {Lecture Notes in Electrical Engineering},
volume = {351},
pages = {75--82},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-20227-3\_10},
doi = {10.1007/978-3-319-20227-3\_10},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/applepies/RizzonMPMFNCPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/GuoZNPSL14,
author = {Liangpeng Guo and
Qi Zhu and
Pierluigi Nuzzo and
Roberto Passerone and
Alberto L. Sangiovanni{-}Vincentelli and
Edward A. Lee},
editor = {Radu Marculescu and
Gabriela Nicolescu},
title = {Metronomy: {A} function-architecture co-simulation framework for timing
verification of cyber-physical systems},
booktitle = {2014 International Conference on Hardware/Software Codesign and System
Synthesis, {CODES+ISSS} 2014, Uttar Pradesh, India, October 12-17,
2014},
pages = {24:1--24:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2656075.2656093},
doi = {10.1145/2656075.2656093},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codes/GuoZNPSL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/MaciiABDCP14,
author = {David Macii and
Manuel Avancini and
Luigi Benciolini and
Stefano Dalpez and
Michele Corr{\`{a}} and
Roberto Passerone},
title = {Design of a Redundant FPGA-Based Safety System for Railroad Vehicles},
booktitle = {17th Euromicro Conference on Digital System Design, {DSD} 2014, Verona,
Italy, August 27-29, 2014},
pages = {683--686},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/DSD.2014.96},
doi = {10.1109/DSD.2014.96},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/MaciiABDCP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/FerrantePFMS14,
author = {Orlando Ferrante and
Roberto Passerone and
Alberto Ferrari and
Leonardo Mangeruca and
Christos Sofronis},
editor = {Antoni Grau and
Herminio Mart{\'{\i}}nez},
title = {{BCL:} {A} compositional contract language for embedded systems},
booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
{ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
pages = {1--6},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ETFA.2014.7005353},
doi = {10.1109/ETFA.2014.7005353},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/FerrantePFMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/green/RizzonRPB14,
author = {Luca Rizzon and
Maurizio Rossi and
Roberto Passerone and
Davide Brunelli},
title = {Energy neutral hybrid cooling system for high performance processors},
booktitle = {International Green Computing Conference, {IGCC} 2014, Dallas, TX,
USA, November 3-5, 2014},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/IGCC.2014.7039181},
doi = {10.1109/IGCC.2014.7039181},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/green/RizzonRPB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/CamelliniFMZGPP14,
author = {Gabriele Camellini and
Mirko Felisa and
Paolo Medici and
Paolo Zani and
Francesco Gregoretti and
Claudio Passerone and
Roberto Passerone},
title = {3DV - An embedded, dense stereovision-based depth mapping system},
booktitle = {2014 {IEEE} Intelligent Vehicles Symposium Proceedings, Dearborn,
MI, USA, June 8-11, 2014},
pages = {1435--1440},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/IVS.2014.6856563},
doi = {10.1109/IVS.2014.6856563},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ivs/CamelliniFMZGPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/LeP14,
author = {Thi Thieu Hoa Le and
Roberto Passerone},
title = {Refinement-based synthesis of correct contract model decompositions},
booktitle = {Twelfth {ACM/IEEE} International Conference on Formal Methods and
Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October
19-21, 2014},
pages = {134--143},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/MEMCOD.2014.6961851},
doi = {10.1109/MEMCOD.2014.6961851},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/LeP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/0002PQ14,
author = {Susanne Graf and
Roberto Passerone and
Sophie Quinton},
editor = {Alberto L. Sangiovanni{-}Vincentelli and
Haibo Zeng and
Marco Di Natale and
Peter Marwedel},
title = {Contract-Based Reasoning for Component Systems with Rich Interactions},
booktitle = {Embedded Systems Development, From Functional Models to Implementations},
pages = {139--154},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-1-4614-3879-3\_8},
doi = {10.1007/978-1-4614-3879-3\_8},
timestamp = {Fri, 14 Apr 2023 11:09:08 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/0002PQ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/MinakovP13,
author = {Ivan Minakov and
Roberto Passerone},
title = {{PASES:} An energy-aware design space exploration framework for wireless
sensor networks},
journal = {J. Syst. Archit.},
volume = {59},
number = {8},
pages = {626--642},
year = {2013},
url = {https://doi.org/10.1016/j.sysarc.2013.05.020},
doi = {10.1016/J.SYSARC.2013.05.020},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/MinakovP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jssc/CottiniGMPS13,
author = {Nicola Cottini and
Massimo Gottardi and
Nicola Massari and
Roberto Passerone and
Zeev Smilansky},
title = {A 33 {\(\mathrm{\mu}\)}W 64{\texttimes}64 Pixel Vision Sensor Embedding
Robust Dynamic Background Subtraction for Event Detection and Scene
Interpretation},
journal = {{IEEE} J. Solid State Circuits},
volume = {48},
number = {3},
pages = {850--863},
year = {2013},
url = {https://doi.org/10.1109/JSSC.2012.2235031},
doi = {10.1109/JSSC.2012.2235031},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jssc/CottiniGMPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LePPR13,
author = {Thi Thieu Hoa Le and
Luigi Palopoli and
Roberto Passerone and
Yusi Ramadian},
title = {Timed-automata based schedulability analysis for distributed firm
real-time systems: a case study},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {3},
pages = {211--228},
year = {2013},
url = {https://doi.org/10.1007/s10009-012-0245-y},
doi = {10.1007/S10009-012-0245-Y},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/LePPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/DavareDGPSSZ13,
author = {Abhijit Davare and
Douglas Densmore and
Liangpeng Guo and
Roberto Passerone and
Alberto L. Sangiovanni{-}Vincentelli and
Alena Simalatsar and
Qi Zhu},
title = {metroII: {A} design environment for cyber-physical systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {12},
number = {1s},
pages = {49:1--49:31},
year = {2013},
url = {https://doi.org/10.1145/2435227.2435245},
doi = {10.1145/2435227.2435245},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/DavareDGPSSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LePFL13,
author = {Thi Thieu Hoa Le and
Roberto Passerone and
Ulrich Fahrenberg and
Axel Legay},
editor = {Josep Carmona and
Mihai T. Lazarescu and
Marta Pietkiewicz{-}Koutny},
title = {Tag Machines for Modeling Heterogeneous Systems},
booktitle = {13th International Conference on Application of Concurrency to System
Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
pages = {186--195},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ACSD.2013.23},
doi = {10.1109/ACSD.2013.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/LePFL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/applepies/BrunelliTGBPA13,
author = {Davide Brunelli and
Alberto Tovazzi and
Massimo Gottardi and
Michele Benetti and
Roberto Passerone and
Pamela Abshire},
editor = {Alessandro De Gloria},
title = {Energy Autonomous Low Power Vision System},
booktitle = {Applications in Electronics Pervading Industry, Environment and Society
- {APPLEPIES} 2013, Rome, Italy, March 7-8, 2013},
series = {Lecture Notes in Electrical Engineering},
volume = {289},
pages = {39--50},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04370-8\_4},
doi = {10.1007/978-3-319-04370-8\_4},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/applepies/BrunelliTGBPA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/applepies/RizzonP13,
author = {Luca Rizzon and
Roberto Passerone},
editor = {Alessandro De Gloria},
title = {Spatial Sound Rendering for Assisted Living on an Embedded Platform},
booktitle = {Applications in Electronics Pervading Industry, Environment and Society
- {APPLEPIES} 2013, Rome, Italy, March 7-8, 2013},
series = {Lecture Notes in Electrical Engineering},
volume = {289},
pages = {61--73},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04370-8\_6},
doi = {10.1007/978-3-319-04370-8\_6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/applepies/RizzonP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/LePFL13,
author = {Thi Thieu Hoa Le and
Roberto Passerone and
Uli Fahrenberg and
Axel Legay},
editor = {Carlos Canal and
Massimo Villari},
title = {A Tag Contract Framework for Heterogeneous Systems},
booktitle = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
2013, M{\'{a}}laga, Spain, September 11-13, 2013, Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {393},
pages = {204--217},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45364-9\_17},
doi = {10.1007/978-3-642-45364-9\_17},
timestamp = {Sat, 16 Sep 2017 12:08:59 +0200},
biburl = {https://dblp.org/rec/conf/esocc/LePFL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/RizzonRPB13,
author = {Luca Rizzon and
Maurizio Rossi and
Roberto Passerone and
Davide Brunelli},
editor = {Geoff V. Merrett and
Davide Brunelli},
title = {Wireless sensor networks for environmental monitoring powered by microprocessors
heat dissipation},
booktitle = {Proceedings of the 1st International Workshop on Energy Neutral Sensing
Systems, ENSSys 2013, Rome, Italy, November 13, 2013},
pages = {8:1--8:6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2534208.2534216},
doi = {10.1145/2534208.2534216},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sensys/RizzonRPB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/RizzonP13,
author = {Luca Rizzon and
Roberto Passerone},
title = {Embedded soundscape rendering for the visually impaired},
booktitle = {8th {IEEE} International Symposium on Industrial Embedded Systems,
{SIES} 2013, Porto, Portugal, June 19-21, 2013},
pages = {101--104},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SIES.2013.6601480},
doi = {10.1109/SIES.2013.6601480},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/RizzonP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/TovarZPAES13,
author = {Eduardo Tovar and
Richard Zurawski and
Roberto Passerone and
Karl{-}Erik {\AA}rz{\'{e}}n and
Arvind Easwaran and
Luca Santinelli},
title = {Welcome message},
booktitle = {8th {IEEE} International Symposium on Industrial Embedded Systems,
{SIES} 2013, Porto, Portugal, June 19-21, 2013},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SIES.2013.6601461},
doi = {10.1109/SIES.2013.6601461},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sies/TovarZPAES13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejcon/Sangiovanni-VincentelliDP12,
author = {Alberto L. Sangiovanni{-}Vincentelli and
Werner Damm and
Roberto Passerone},
title = {Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical
Systems},
journal = {Eur. J. Control},
volume = {18},
number = {3},
pages = {217--238},
year = {2012},
url = {https://doi.org/10.3166/ejc.18.217-238},
doi = {10.3166/EJC.18.217-238},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejcon/Sangiovanni-VincentelliDP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/NolteP12,
author = {Thomas Nolte and
Roberto Passerone},
title = {Guest Editorial Special Section on Real-Time and (Networked) Embedded
Systems {III}},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {8},
number = {2},
pages = {321},
year = {2012},
url = {https://doi.org/10.1109/TII.2012.2185935},
doi = {10.1109/TII.2012.2185935},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/NolteP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/DalpezVPP12,
author = {Stefano Dalpez and
Alessandro Vaccari and
Roberto Passerone and
Alberto Penasa},
title = {Design of an innovative proximity detection embedded-system for safety
application in industrial machinery},
booktitle = {Proceedings of 2012 {IEEE} 17th International Conference on Emerging
Technologies {\&} Factory Automation, {ETFA} 2012, Krakow, Poland,
September 17-21, 2012},
pages = {1--8},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ETFA.2012.6489582},
doi = {10.1109/ETFA.2012.6489582},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/DalpezVPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsn/SomovHPEW12,
author = {Andrey Somov and
Christine Ho and
Roberto Passerone and
James W. Evans and
Paul K. Wright},
editor = {Gian Pietro Picco and
Wendi B. Heinzelman},
title = {Towards Extending Sensor Node Lifetime with Printed Supercapacitors},
booktitle = {Wireless Sensor Networks - 9th European Conference, {EWSN} 2012, Trento,
Italy, February 15-17, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7158},
pages = {212--227},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28169-3\_14},
doi = {10.1007/978-3-642-28169-3\_14},
timestamp = {Sun, 02 Jun 2019 21:23:30 +0200},
biburl = {https://dblp.org/rec/conf/ewsn/SomovHPEW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsn/SomovBSICPKS12,
author = {Andrey Somov and
Alexander Baranov and
Alexey Savkin and
Mikhail Ivanov and
Lucia Calliari and
Roberto Passerone and
Evgeny F. Karpov and
Alexey Suchkov},
editor = {Gian Pietro Picco and
Wendi B. Heinzelman},
title = {Energy-Aware Gas Sensing Using Wireless Sensor Networks},
booktitle = {Wireless Sensor Networks - 9th European Conference, {EWSN} 2012, Trento,
Italy, February 15-17, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7158},
pages = {245--260},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28169-3\_16},
doi = {10.1007/978-3-642-28169-3\_16},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ewsn/SomovBSICPKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/SimalatsarGBP12,
author = {Alena Simalatsar and
Liangpeng Guo and
Marius Bozga and
Roberto Passerone},
title = {Integration of correct-by-construction {BIP} models into the MetroII
design space exploration flow},
booktitle = {30th International {IEEE} Conference on Computer Design, {ICCD} 2012,
Montreal, QC, Canada, September 30 - Oct. 3, 2012},
pages = {490--491},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICCD.2012.6378688},
doi = {10.1109/ICCD.2012.6378688},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/SimalatsarGBP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inss/SomovEHWP12,
author = {Andrey Somov and
James W. Evans and
Christine Ho and
Paul K. Wright and
Roberto Passerone},
title = {Printed electrochemical capacitors for energy scavenging sensor networks},
booktitle = {Ninth International Conference on Networked Sensing, {INSS} 2012,
Antwerp, Belgium, June 11-14, 2012},
pages = {1--6},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/INSS.2012.6240577},
doi = {10.1109/INSS.2012.6240577},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/inss/SomovEHWP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/islped/CottiniGMPS12,
author = {Nicola Cottini and
Massimo Gottardi and
Nicola Massari and
Roberto Passerone and
Zeev Smilansky},
editor = {Naresh R. Shanbhag and
Massimo Poncino and
Pai H. Chou and
Ajith Amerasekera},
title = {A 33{\(\mu\)}W 42 {GOPS/W} 64x64 pixel vision sensor with dynamic
background subtraction for scene interpretation},
booktitle = {International Symposium on Low Power Electronics and Design, ISLPED'12,
Redondo Beach, CA, {USA} - July 30 - August 01, 2012},
pages = {315--320},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2333660.2333731},
doi = {10.1145/2333660.2333731},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/islped/CottiniGMPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/RacletBBCLP11,
author = {Jean{-}Baptiste Raclet and
{\'{E}}ric Badouel and
Albert Benveniste and
Beno{\^{\i}}t Caillaud and
Axel Legay and
Roberto Passerone},
title = {A Modal Interface Theory for Component-based Design},
journal = {Fundam. Informaticae},
volume = {108},
number = {1-2},
pages = {119--149},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-416},
doi = {10.3233/FI-2011-416},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/RacletBBCLP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/PalopoliPR11,
author = {Luigi Palopoli and
Roberto Passerone and
Tizar Rizano},
title = {Scalable Offline Optimization of Industrial Wireless Sensor Networks},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {7},
number = {2},
pages = {328--339},
year = {2011},
url = {https://doi.org/10.1109/TII.2011.2123904},
doi = {10.1109/TII.2011.2123904},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/PalopoliPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/HossainP11,
author = {Md. Akbar Hossain and
Roberto Passerone},
title = {Power Adaptive Cognitive Pilot Channel for Spectrum Co-existence in
Wireless Networks},
booktitle = {25th {IEEE} International Conference on Advanced Information Networking
and Applications, {AINA} 2011, Biopolis, Singapore, March 22-25, 2011},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/AINA.2011.29},
doi = {10.1109/AINA.2011.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/HossainP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/SimalatsarRLPPT11,
author = {Alena Simalatsar and
Yusi Ramadian and
Kai Lampka and
Simon Perathoner and
Roberto Passerone and
Lothar Thiele},
editor = {Rajesh K. Gupta and
Vincent John Mooney},
title = {Enabling parametric feasibility analysis in real-time calculus driven
performance evaluation},
booktitle = {Proceedings of the 14th International Conference on Compilers, Architecture,
and Synthesis for Embedded Systems, {CASES} 2011, part of the Seventh
Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14,
2011},
pages = {155--164},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038698.2038723},
doi = {10.1145/2038698.2038723},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cases/SimalatsarRLPPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/RizanoPMP11,
author = {Tizar Rizano and
Roberto Passerone and
David Macii and
Luigi Palopoli},
title = {Model-based design of embedded control software for hybrid vehicles},
booktitle = {Industrial Embedded Systems (SIES), 2011 6th {IEEE} International
Symposium on, {SIES} 2011. Vasteras, Sweden, June 15-17, 2011},
pages = {75--78},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/SIES.2011.5953684},
doi = {10.1109/SIES.2011.5953684},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sies/RizanoPMP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/CancilaPVP10,
author = {Daniela Cancila and
Roberto Passerone and
Tullio Vardanega and
Marco Panunzio},
title = {Ensuring Correctness in the Specification and Handling of Non-Functional
Attributes in High-Integrity Real-Time Embedded Systems},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {6},
number = {2},
pages = {181--194},
year = {2010},
url = {https://doi.org/10.1109/TII.2010.2043741},
doi = {10.1109/TII.2010.2043741},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/CancilaPVP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eenergy/SomovSIKPBS10,
author = {Andrey Somov and
Denis Spirjakin and
Mikhail Ivanov and
Igor Khromushin and
Roberto Passerone and
Alexander Baranov and
Alexey Savkin},
editor = {Hermann de Meer and
Suresh Singh and
Torsten Braun},
title = {Combustible gases and early fire detection: an autonomous system for
wireless sensor networks},
booktitle = {Proceedings of the 1st International Conference on Energy-Efficient
Computing and Networking, e-Energy 2010, Passau, Germany, April 13-15,
2010},
pages = {85--93},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1791314.1791327},
doi = {10.1145/1791314.1791327},
timestamp = {Wed, 04 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eenergy/SomovSIKPBS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/LePPRC10,
author = {Thi Thieu Hoa Le and
Luigi Palopoli and
Roberto Passerone and
Yusi Ramadian and
Alessandro Cimatti},
title = {Parametric analysis of distributed firm real-time systems: {A} case
study},
booktitle = {Proceedings of 15th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2010, September 13-16, 2010, Bilbao,
Spain},
pages = {1--8},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ETFA.2010.5641315},
doi = {10.1109/ETFA.2010.5641315},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/LePPRC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/DalpezPCT10,
author = {Stefano Dalpez and
Roberto Passerone and
Daniela Cancila and
Fran{\c{c}}ois Terrier},
title = {An Industrial Case Study Using an {MBE} Approach: From Architecture
to Safety Analysis},
booktitle = {13th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2010,
Carmona, Sevilla, Spain, May 4-7, 2010},
pages = {116--122},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ISORCW.2010.11},
doi = {10.1109/ISORCW.2010.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/DalpezPCT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/PasseroneHGBCCGTDFMJPS09,
author = {Roberto Passerone and
Imene Ben Hafaiedh and
Susanne Graf and
Albert Benveniste and
Daniela Cancila and
Arnaud Cuccuru and
Sebastien Gerard and
Fran{\c{c}}ois Terrier and
Werner Damm and
Alberto Ferrari and
Leonardo Mangeruca and
Bernhard Josko and
Thomas Peikenkamp and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Metamodels in Europe: Languages, Tools, and Applications},
journal = {{IEEE} Des. Test Comput.},
volume = {26},
number = {3},
pages = {38--53},
year = {2009},
url = {https://doi.org/10.1109/MDT.2009.64},
doi = {10.1109/MDT.2009.64},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/PasseroneHGBCCGTDFMJPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/RacletBBCP09,
author = {Jean{-}Baptiste Raclet and
{\'{E}}ric Badouel and
Albert Benveniste and
Beno{\^{\i}}t Caillaud and
Roberto Passerone},
title = {Why Are Modalities Good for Interface Theories?},
booktitle = {Ninth International Conference on Application of Concurrency to System
Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
pages = {119--127},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ACSD.2009.22},
doi = {10.1109/ACSD.2009.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/RacletBBCP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/FontanelliPP09,
author = {Daniele Fontanelli and
Luigi Palopoli and
Roberto Passerone},
title = {On the global convergence of a class of distributed algorithms for
maximizing the coverage of a {WSN}},
booktitle = {Proceedings of the 48th {IEEE} Conference on Decision and Control,
{CDC} 2009, combined withe the 28th Chinese Control Conference, December
16-18, 2009, Shanghai, China},
pages = {7885--7890},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CDC.2009.5400522},
doi = {10.1109/CDC.2009.5400522},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/FontanelliPP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/DensmoreSDPS09,
author = {Douglas Densmore and
Alena Simalatsar and
Abhijit Davare and
Roberto Passerone and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Luca Benini and
Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller},
title = {{UMTS} MPSoC design evaluation using a system level design framework},
booktitle = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
April 20-24, 2009},
pages = {478--483},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/DATE.2009.5090712},
doi = {10.1109/DATE.2009.5090712},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/DensmoreSDPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/RacletBBCLP09,
author = {Jean{-}Baptiste Raclet and
{\'{E}}ric Badouel and
Albert Benveniste and
Beno{\^{\i}}t Caillaud and
Axel Legay and
Roberto Passerone},
editor = {Samarjit Chakraborty and
Nicolas Halbwachs},
title = {Modal interfaces: unifying interface automata and modal specifications},
booktitle = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
2009},
pages = {87--96},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629335.1629348},
doi = {10.1145/1629335.1629348},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/RacletBBCLP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/SomovMSFP09,
author = {Andrey Somov and
Ivan Minakov and
Alena Simalatsar and
Giorgio Fontana and
Roberto Passerone},
title = {A Methodology for Power Consumption Evaluation of Wireless Sensor
Networks},
booktitle = {Proceedings of 12th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2009, September 22-25, 2008, Palma
de Mallorca, Spain},
pages = {1--8},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ETFA.2009.5347152},
doi = {10.1109/ETFA.2009.5347152},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/SomovMSFP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsn/PalopoliPMPG09,
author = {Luigi Palopoli and
Roberto Passerone and
Amy L. Murphy and
Gian Pietro Picco and
Alessandro Giusti},
editor = {Utz Roedig and
Cormac J. Sreenan},
title = {Solving the Wake-Up Scattering Problem Optimally},
booktitle = {Wireless Sensor Networks, 6th European Conference, {EWSN} 2009, Cork,
Ireland, February 11-13, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5432},
pages = {166--182},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00224-3\_11},
doi = {10.1007/978-3-642-00224-3\_11},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ewsn/PalopoliPMPG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/FontanelliPP09,
author = {Daniele Fontanelli and
Luigi Palopoli and
Roberto Passerone},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Convergence of Distributed {WSN} Algorithms: The Wake-Up Scattering
Problem},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {180--193},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_13},
doi = {10.1007/978-3-642-00602-9\_13},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/FontanelliPP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PasseroneS08,
author = {Roberto Passerone and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {Approximating Behaviors in Embedded System Design},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {721--742},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_44},
doi = {10.1007/978-3-540-68679-8\_44},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/PasseroneS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/CancilaP08,
author = {Daniela Cancila and
Roberto Passerone},
title = {Functional and structural properties in the Model-Driven Engineering
approach},
booktitle = {Proceedings of 13th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2008, September 15-18, 2008, Hamburg,
Germany},
pages = {809--816},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ETFA.2008.4638491},
doi = {10.1109/ETFA.2008.4638491},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/CancilaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/KhanPM08,
author = {Md. Rezaul Hoque Khan and
Roberto Passerone and
David Macii},
title = {FZepel: RF-level power consumption measurement {(RF-PM)} for Zigbee
wireless sensor network-towards cross layer optimization},
booktitle = {Proceedings of 13th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2008, September 15-18, 2008, Hamburg,
Germany},
pages = {959--966},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ETFA.2008.4638510},
doi = {10.1109/ETFA.2008.4638510},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/KhanPM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/BenvenutiFMMPS08,
author = {Luca Benvenuti and
Alberto Ferrari and
Leonardo Mangeruca and
Emanuele Mazzi and
Roberto Passerone and
Christos Sofronis},
title = {A Contract-based Formalism for the Specification of Heterogeneous
Systems (invited)},
booktitle = {Forum on specification and Design Languages, {FDL} 2008, September
23-25, 2008, Stuttgart, Germany, Proceedings},
pages = {142--147},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/FDL.2008.4641436},
doi = {10.1109/FDL.2008.4641436},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/fdl/BenvenutiFMMPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsos/SomovSP08,
author = {Andrey Somov and
Vinay Sachidananda and
Roberto Passerone},
editor = {Karin Anna Hummel and
James P. G. Sterbenz},
title = {A Self-powered Module with Localization and Tracking System for Paintball},
booktitle = {Self-Organizing Systems, Third International Workshop, {IWSOS} 2008,
Vienna, Austria, December 10-12, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5343},
pages = {182--193},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-92157-8\_16},
doi = {10.1007/978-3-540-92157-8\_16},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/iwsos/SomovSP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/SimalatsarPD08,
author = {Alena Simalatsar and
Roberto Passerone and
Douglas Densmore},
title = {A methodology for architecture exploration and performance analysis
using system level design languages and rapid architecture profiling},
booktitle = {{IEEE} Third International Symposium on Industrial Embedded Systems,
{SIES} 2008, Montpellier / La Grande Motte, France, June 11-13, 2008},
pages = {95--102},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/SIES.2008.4577686},
doi = {10.1109/SIES.2008.4577686},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sies/SimalatsarPD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uksim/KhanP08,
author = {Md. Rezaul Hoque Khan and
Roberto Passerone},
editor = {David Al{-}Dabass and
Alessandra Orsoni and
Adam Brentnall and
Ajith Abraham and
Richard N. Zobel},
title = {Performance of Energy Efficient Source Coding and Interference Reduction
in Wireless Sensor Network Systems},
booktitle = {Proceedings of the 10th EUROS/UKSim International Conference on Computer
Modelling and Simulation, Cambridge University, Emmanuel College,
Cambridge, UK, 1-3 April 2008},
pages = {342--347},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/UKSIM.2008.82},
doi = {10.1109/UKSIM.2008.82},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uksim/KhanP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/PasseroneBS07,
author = {Roberto Passerone and
Jerry R. Burch and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Refinement preserving approximations for the design and verification
of heterogeneous systems},
journal = {Formal Methods Syst. Des.},
volume = {31},
number = {1},
pages = {1--33},
year = {2007},
url = {https://doi.org/10.1007/s10703-006-0024-z},
doi = {10.1007/S10703-006-0024-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/PasseroneBS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/BalarinP07,
author = {Felice Balarin and
Roberto Passerone},
title = {Specification, Synthesis, and Simulation of Transactor Processes},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {26},
number = {10},
pages = {1749--1762},
year = {2007},
url = {https://doi.org/10.1109/TCAD.2007.895792},
doi = {10.1109/TCAD.2007.895792},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/BalarinP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BenvenisteCFMPS07,
author = {Albert Benveniste and
Beno{\^{\i}}t Caillaud and
Alberto Ferrari and
Leonardo Mangeruca and
Roberto Passerone and
Christos Sofronis},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Multiple Viewpoint Contract-Based Specification and Design},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {200--225},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_9},
doi = {10.1007/978-3-540-92188-2\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BenvenisteCFMPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0706-1456,
author = {Albert Benveniste and
Beno{\^{\i}}t Caillaud and
Roberto Passerone},
title = {A Generic Model of Contracts for Embedded Systems},
journal = {CoRR},
volume = {abs/0706.1456},
year = {2007},
url = {http://arxiv.org/abs/0706.1456},
eprinttype = {arXiv},
eprint = {0706.1456},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0706-1456.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/DensmoreP06,
author = {Douglas Densmore and
Roberto Passerone},
title = {A Platform-Based Taxonomy for {ESL} Design},
journal = {{IEEE} Des. Test Comput.},
volume = {23},
number = {5},
pages = {359--374},
year = {2006},
url = {https://doi.org/10.1109/MDT.2006.112},
doi = {10.1109/MDT.2006.112},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/DensmoreP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fteda/CarloniPPS06,
author = {Luca P. Carloni and
Roberto Passerone and
Alessandro Pinto and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Languages and Tools for Hybrid Systems Design},
journal = {Found. Trends Electron. Des. Autom.},
volume = {1},
number = {1/2},
year = {2006},
url = {https://doi.org/10.1561/1000000001},
doi = {10.1561/1000000001},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fteda/CarloniPPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/PintoBSPS06,
author = {Alessandro Pinto and
Alvise Bonivento and
Alberto L. Sangiovanni{-}Vincentelli and
Roberto Passerone and
Marco Sgroi},
title = {System level design paradigms: Platform-based design and communication
synthesis},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {11},
number = {3},
pages = {537--563},
year = {2006},
url = {https://doi.org/10.1145/1142980.1142982},
doi = {10.1145/1142980.1142982},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/PintoBSPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BalarinP06,
author = {Felice Balarin and
Roberto Passerone},
editor = {Georges G. E. Gielen},
title = {Functional verification methodology based on formal interface specification
and transactor generation},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe,
{DATE} 2006, Munich, Germany, March 6-10, 2006},
pages = {1013--1018},
publisher = {European Design and Automation Association, Leuven, Belgium},
year = {2006},
url = {https://doi.org/10.1109/DATE.2006.243899},
doi = {10.1109/DATE.2006.243899},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/BalarinP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PintoCPS06,
author = {Alessandro Pinto and
Luca P. Carloni and
Roberto Passerone and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Jo{\~{a}}o P. Hespanha and
Ashish Tiwari},
title = {Interchange Format for Hybrid Systems: Abstract Semantics},
booktitle = {Hybrid Systems: Computation and Control, 9th International Workshop,
{HSCC} 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3927},
pages = {491--506},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11730637\_37},
doi = {10.1007/11730637\_37},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/PintoCPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PintoSCP05,
author = {Alessandro Pinto and
Alberto L. Sangiovanni{-}Vincentelli and
Luca P. Carloni and
Roberto Passerone},
editor = {Manfred Morari and
Lothar Thiele},
title = {Interchange Formats for Hybrid Systems: Review and Proposal},
booktitle = {Hybrid Systems: Computation and Control, 8th International Workshop,
{HSCC} 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3414},
pages = {526--541},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31954-2\_34},
doi = {10.1007/978-3-540-31954-2\_34},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/PintoSCP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BalarinPPS05,
author = {Felice Balarin and
Roberto Passerone and
Alessandro Pinto and
Alberto L. Sangiovanni{-}Vincentelli},
title = {A formal approach to system level design: metamodels and unified design
environments},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {155--163},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487909},
doi = {10.1109/MEMCOD.2005.1487909},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/BalarinPPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/Passerone05,
author = {Roberto Passerone},
editor = {Richard Zurawski},
title = {Interface Specification and Converter Synthesis},
booktitle = {Embedded Systems Handbook},
publisher = {{CRC} Press},
year = {2005},
url = {https://doi.org/10.1201/9781420038163.ch23},
doi = {10.1201/9781420038163.CH23},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crc/Passerone05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/PasseroneBS04,
author = {Roberto Passerone and
Jerry R. Burch and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Giorgio C. Buttazzo},
title = {Conservative approximations for heterogeneous design},
booktitle = {{EMSOFT} 2004, September 27-29, 2004, Pisa, Italy, Fourth {ACM} International
Conference On Embedded Software, Proceedings},
pages = {155--164},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1017753.1017781},
doi = {10.1145/1017753.1017781},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/PasseroneBS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/PasseroneAHS02,
author = {Roberto Passerone and
Luca de Alfaro and
Thomas A. Henzinger and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Lawrence T. Pileggi and
Andreas Kuehlmann},
title = {Convertibility verification and converter synthesis: two faces of
the same coin},
booktitle = {Proceedings of the 2002 {IEEE/ACM} International Conference on Computer-aided
Design, {ICCAD} 2002, San Jose, California, USA, November 10-14, 2002},
pages = {132--139},
publisher = {{ACM} / {IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1145/774572.774592},
doi = {10.1145/774572.774592},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/PasseroneAHS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/GregorettiPRS01,
author = {Francesco Gregoretti and
Roberto Passerone and
Leonardo Maria Reyneri and
Claudio Sanso{\`{e}}},
title = {A High Speed {VLSI} Architecture for Handwriting Recognition},
journal = {J. {VLSI} Signal Process.},
volume = {28},
number = {3},
pages = {259--278},
year = {2001},
url = {https://doi.org/10.1023/A:1011173726562},
doi = {10.1023/A:1011173726562},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlsisp/GregorettiPRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BurchPS01,
author = {Jerry R. Burch and
Roberto Passerone and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems},
booktitle = {2nd International Conference on Application of Concurrency to System
Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
pages = {13},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CSD.2001.981761},
doi = {10.1109/CSD.2001.981761},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BurchPS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BurchPS01,
author = {Jerry R. Burch and
Roberto Passerone and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Thomas A. Henzinger and
Christoph M. Kirsch},
title = {Using Multiple Levels of Abstractions in Embedded Software Design},
booktitle = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
City, CA, USA, October, 8-10, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2211},
pages = {324--343},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45449-7\_23},
doi = {10.1007/3-540-45449-7\_23},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/BurchPS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/BalarinBLWPS01,
author = {Felice Balarin and
Jerry R. Burch and
Luciano Lavagno and
Yosinori Watanabe and
Roberto Passerone and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Constraints specification at higher levels of abstraction},
booktitle = {Proceedings of the Sixth {IEEE} International High-Level Design Validation
and Test Workshop 2001, Monterey, California, USA, November 7-9, 2001},
pages = {129--133},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HLDVT.2001.972819},
doi = {10.1109/HLDVT.2001.972819},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/BalarinBLWPS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/PasseroneSLMMPS98,
author = {Claudio Passerone and
Claudio Sanso{\`{e}} and
Luciano Lavagno and
Patrick C. McGeer and
Jonathan Martin and
Roberto Passerone and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Modeling reactive systems in Java},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {3},
number = {4},
pages = {515--523},
year = {1998},
url = {https://doi.org/10.1145/296333.296334},
doi = {10.1145/296333.296334},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/PasseroneSLMMPS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/BroggiCGSPR98,
author = {Alberto Broggi and
Gianni Conte and
Francesco Gregoretti and
Claudio Sanso{\`{e}} and
Roberto Passerone and
Leonardo Maria Reyneri},
title = {Design and Implementation of the {PAPRICA} Parallel Architecture},
journal = {J. {VLSI} Signal Process.},
volume = {19},
number = {1},
pages = {5--18},
year = {1998},
url = {https://doi.org/10.1023/A:1008095714465},
doi = {10.1023/A:1008095714465},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlsisp/BroggiCGSPR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/PasseronePSMSM98,
author = {Claudio Passerone and
Roberto Passerone and
Claudio Sanso{\`{e}} and
Jonathan Martin and
Alberto L. Sangiovanni{-}Vincentelli and
Rick McGeer},
editor = {Gaetano Borriello and
Ahmed Amine Jerraya and
Luciano Lavagno},
title = {Modeling reactive systems in Java},
booktitle = {Proceedings of the Sixth International Workshop on Hardware/Software
Codesign, {CODES} 1998, Seattle, Washington, USA, March 15-18, 1998},
pages = {15--19},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1145/278241.278244},
doi = {10.1145/278241.278244},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/codes/PasseronePSMSM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PasseroneRS98,
author = {Roberto Passerone and
James A. Rowson and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Basant R. Chawla and
Randal E. Bryant and
Jan M. Rabaey},
title = {Automatic Synthesis of Interfaces Between Incompatible Protocols},
booktitle = {Proceedings of the 35th Conference on Design Automation, Moscone center,
San Francico, California, USA, June 15-19, 1998},
pages = {8--13},
publisher = {{ACM} Press},
year = {1998},
url = {https://doi.org/10.1145/277044.277047},
doi = {10.1145/277044.277047},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/PasseroneRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isss/FilippiLLMPPSS98,
author = {Enrica Filippi and
Luciano Lavagno and
L. Licciardi and
Archille Montanaro and
Maurizio Paolini and
Roberto Passerone and
Marco Sgroi and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Francky Catthoor},
title = {Intellectual Property Re-use in Embedded System Co-design: An Industrial
Case Study},
booktitle = {Proceedings of the 11th International Symposium on System Synthesis,
{ISSS} '98, Hsinchu, Taiwan, December 2-4, 1998},
pages = {37--42},
publisher = {{ACM} / {IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ISSS.1998.730594},
doi = {10.1109/ISSS.1998.730594},
timestamp = {Thu, 06 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isss/FilippiLLMPPSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/GregorettiILPR96,
author = {Francesco Gregoretti and
F. Intini and
Luciano Lavagno and
Roberto Passerone and
Leonardo Maria Reyneri},
title = {Design and Implementation of the Control Structure of the {PAPRICA-3}
Processor},
booktitle = {4th Euromicro Workshop on Parallel and Distributed Processing {(PDP}
'96), January 24-26, 1996, Portugal},
pages = {290--296},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/EMPDP.1996.500599},
doi = {10.1109/EMPDP.1996.500599},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/GregorettiILPR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-09-26 01:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
