Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDRoberto 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]