


Остановите войну!
for scientists:
Roberto Passerone
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [c76]Tadeus Prastowo, Ayub Shah, Luigi Palopoli, Roberto Passerone, Giuseppe Piro:
Migration-Aware Optimized Resource Allocation in B5G Edge Networks. CCNC 2022: 106-113 - 2021
- [j36]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]Antonio Tierno, Giuliano Turri, Alessandro Cimatti, Roberto Passerone:
Automatic Design Space Exploration of Redundant Architectures. ApplePies 2021: 149-154 - [c74]Tadeus Prastowo, Ayub Shah, Luigi Palopoli, Roberto Passerone:
Resource Optimization in MEC-Based B5G Networks for Indoor Robotics Environment. ApplePies 2021: 164-172 - [c73]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]Gennaro Cirillo
, Roberto Passerone
:
Packet Length Spectral Analysis for IoT Flow Classification Using Ensemble Learning. IEEE Access 8: 138616-138641 (2020) - [j34]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
- 2019
- [j33]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]Alessandro Tontini
, Leonardo Gasparini
, Nicola Massari, Roberto Passerone
:
SPAD-Based Quantum Random Number Generator With an Nt-Order Rank Algorithm on FPGA. IEEE Trans. Circuits Syst. II Express Briefs 66-II(12): 2067-2071 (2019) - [j31]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]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]Gennaro Cirillo, Roberto Passerone, Antonio Posenato, Luca Rizzon:
Statistical Flow Classification for the IoT. ApplePies 2019: 73-79 - 2018
- [j29]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]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]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]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]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]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]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]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]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]Ivan Minakov, Roberto Passerone, Maurizio Rossi
:
Design and energy optimization of a multifunctional IoT solution for connected bikes. GIoTS 2017: 1-6 - [c66]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]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]Nicola Massari, Massimo Gottardi, Alberini Giacomo, Roberto Passerone:
A Clock-Less PWM Architecture for Sensor Imaging. NGCAS 2017: 169-172 - 2016
- [j24]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]Davide Brunelli
, Roberto Passerone, Luca Rizzon, Maurizio Rossi
, Davide Sartori
:
Self-Powered WSN for Distributed Data Center Monitoring. Sensors 16(1): 57 (2016) - [j22]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]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]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]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]Luca Rizzon, Roberto Passerone:
Cyber/physical co-design in practice: Case studies in metroII. SIES 2016: 19-28 - [c60]Ivan Minakov, Roberto Passerone, Alessandra Rizzardi, Sabrina Sicari:
Routing behavior across WSN simulators: The AODV case study. WFCS 2016: 1-8 - [i2]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]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]Daniela Cancila, Hadi Zaatiti, Roberto Passerone:
Cyber-Physical System and Contract-Based Design: A Three Dimensional View. WESE 2015: 4:1-4:4 - [c58]Martin Törngren
, Saddek Bensalem, John Alexander 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]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]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]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]Maurizio Rossi
, Luca Rizzon, Matteo Fait, Roberto Passerone, Davide Brunelli
:
Self-powered Active Cooling System for High Performance Processors. ApplePies 2014: 25-33 - [c54]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]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]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]Orlando Ferrante, Roberto Passerone
, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis:
BCL: A compositional contract language for embedded systems. ETFA 2014: 1-6 - [c50]Luca Rizzon, Maurizio Rossi
, Roberto Passerone
, Davide Brunelli
:
Energy neutral hybrid cooling system for high performance processors. IGCC 2014: 1-6 - [c49]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]Thi Thieu Hoa Le, Roberto Passerone
:
Refinement-based synthesis of correct contract model decompositions. MEMOCODE 2014: 134-143 - [p1]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]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]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]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]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]Thi Thieu Hoa Le, Roberto Passerone
, Ulrich Fahrenberg, Axel Legay:
Tag Machines for Modeling Heterogeneous Systems. ACSD 2013: 186-195 - [c46]Davide Brunelli
, Alberto Tovazzi, Massimo Gottardi, Michele Benetti, Roberto Passerone
, Pamela Abshire:
Energy Autonomous Low Power Vision System. ApplePies 2013: 39-50 - [c45]Luca Rizzon, Roberto Passerone
:
Spatial Sound Rendering for Assisted Living on an Embedded Platform. ApplePies 2013: 61-73 - [c44]Thi Thieu Hoa Le, Roberto Passerone
, Uli Fahrenberg, Axel Legay:
A Tag Contract Framework for Heterogeneous Systems. ESOCC Workshops 2013: 204-217 - [c43]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]Luca Rizzon, Roberto Passerone
:
Embedded soundscape rendering for the visually impaired. SIES 2013: 101-104 - [c41]Eduardo Tovar
, Richard Zurawski, Roberto Passerone
, Karl-Erik Årzén, Arvind Easwaran
, Luca Santinelli:
Welcome message. SIES 2013 - 2012
- [j14]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]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]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]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]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]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]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]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]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]Luigi Palopoli, Roberto Passerone
, Tizar Rizano:
Scalable Offline Optimization of Industrial Wireless Sensor Networks. IEEE Trans. Ind. Informatics 7(2): 328-339 (2011) - [c34]Md. Akbar Hossain, Roberto Passerone
:
Power Adaptive Cognitive Pilot Channel for Spectrum Co-existence in Wireless Networks. AINA 2011: 9-16 - [c33]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]Tizar Rizano, Roberto Passerone
, David Macii
, Luigi Palopoli:
Model-based design of embedded control software for hybrid vehicles. SIES 2011: 75-78 - 2010
- [j10]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]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]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]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
- 2009
- [j9]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]Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone
:
Why Are Modalities Good for Interface Theories?. ACSD 2009: 119-127 - [c27]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]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]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]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]Luigi Palopoli, Roberto Passerone
, Amy L. Murphy, Gian Pietro Picco, Alessandro Giusti:
Solving the Wake-Up Scattering Problem Optimally. EWSN 2009: 166-182 - [c22]Daniele Fontanelli
, Luigi Palopoli, Roberto Passerone
:
Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem. HSCC 2009: 180-193 - 2008
- [c21]Roberto Passerone
, Alberto L. Sangiovanni-Vincentelli
:
Approximating Behaviors in Embedded System Design. Concurrency, Graphs and Models 2008: 721-742 - [c20]Daniela Cancila, Roberto Passerone
:
Functional and structural properties in the Model-Driven Engineering approach. ETFA 2008: 809-816 - [c19]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]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]Andrey Somov, Vinay Sachidananda, Roberto Passerone:
A Self-powered Module with Localization and Tracking System for Paintball. IWSOS 2008: 182-193 - [c16]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]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]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]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]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]Albert Benveniste, Benoît Caillaud, Roberto Passerone:
A Generic Model of Contracts for Embedded Systems. CoRR abs/0706.1456 (2007) - 2006
- [j6]Douglas Densmore, Roberto Passerone
:
A Platform-Based Taxonomy for ESL Design. IEEE Des. Test Comput. 23(5): 359-374 (2006) - [j5]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]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]Felice Balarin, Roberto Passerone:
Functional verification methodology based on formal interface specification and transactor generation. DATE 2006: 1013-1018 - [c12]Alessandro Pinto, Luca P. Carloni, Roberto Passerone
, Alberto L. Sangiovanni-Vincentelli
:
Interchange Format for Hybrid Systems: Abstract Semantics. HSCC 2006: 491-506 - 2005
- [c11]Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone:
Interchange Formats for Hybrid Systems: Review and Proposal. HSCC 2005: 526-541 - [c10]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]Roberto Passerone:
Interface Specification and Converter Synthesis. Embedded Systems Handbook 2005 - 2004
- [c9]Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli:
Conservative approximations for heterogeneous design. EMSOFT 2004: 155-164 - 2002
- [c8]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]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]Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems. ACSD 2001: 13- - [c6]Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Using Multiple Levels of Abstractions in Embedded Software Design. EMSOFT 2001: 324-343 - [c5]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
- 1998
- [j2]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]