The scientist’s investigation covers issues in Embedded system, Software engineering, Wireless sensor network, Interface and Electronic system-level design and verification. His research in Embedded system intersects with topics in Protocol, Signaling protocol, Distributed computing and Formal specification. His research integrates issues of Development, Set and Hybrid automaton in his study of Software engineering.
His Wireless sensor network study incorporates themes from Wireless, Key distribution in wireless sensor networks, Mobile wireless sensor network and Electro-optical sensor, Electronic engineering. Roberto Passerone has researched Interface in several fields, including Computer network and Automaton, Theoretical computer science. His research in Electronic system-level design and verification focuses on subjects like Electronic design automation, which are connected to Information system, Electronic system level design, Logic synthesis and Hardware description language.
His primary scientific interests are in Embedded system, Wireless sensor network, Distributed computing, Real-time computing and Electronic engineering. The various areas that he examines in his Embedded system study include Software engineering, Interface and Design methods. His Software engineering research incorporates elements of Component-based software engineering and Electronic design automation.
His biological study spans a wide range of topics, including Wireless, Energy consumption, Energy harvesting and Sensor node, Key distribution in wireless sensor networks. His Key distribution in wireless sensor networks research is multidisciplinary, relying on both Node and Software deployment. His work deals with themes such as Model of computation, Automaton and Integer programming, which intersect with Distributed computing.
His primary areas of investigation include Distributed computing, Cyber-physical system, Artificial intelligence, Energy harvesting and Embedded system. The Distributed computing study combines topics in areas such as Real-time computing, Graph, Systems architecture and Design process. His Artificial intelligence study integrates concerns from other disciplines, such as Human–computer interaction and Computer vision.
His Embedded system research incorporates themes from Electronics and Leakage. His Efficient energy use research integrates issues from Wireless and Wireless sensor network. The concepts of his AUTOSAR study are interwoven with issues in Systems design and Software engineering.
Real-time computing, Reliability engineering, Systems engineering, Software engineering and Wireless sensor network are his primary areas of study. The Real-time computing study combines topics in areas such as Landmark and Software deployment. His Reliability engineering research incorporates elements of Energy consumption and Electricity meter.
His System of systems study in the realm of Systems engineering connects with subjects such as Internet of Things, Cyber-physical system and Disruptive innovation. His work on Dependability is typically connected to Service-orientation as part of general Software engineering study, connecting several disciplines of science. Roberto Passerone has researched Wireless sensor network in several fields, including Distributed computing, Power consumption, Benchmark, Variety and Point.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems
Alberto L. Sangiovanni-Vincentelli;Alberto L. Sangiovanni-Vincentelli;Werner Damm;Werner Damm;Roberto Passerone.
European Journal of Control (2012)
A Platform-Based Taxonomy for ESL Design
D. Densmore;R. Passerone.
IEEE Design & Test of Computers (2006)
Automatic synthesis of interfaces between incompatible protocols
Roberto Passerone;James A. Rowson;Alberto Sangiovanni-Vincentelli.
design automation conference (1998)
Multiple Viewpoint Contract-Based Specification and Design
Albert Benveniste;Benoît Caillaud;Alberto Ferrari;Leonardo Mangeruca.
formal methods (2008)
Languages and Tools for Hybrid Systems Design
Luca P. Carloni;Roberto Passerone;Alessandro Pinto;Alberto L. Angiovanni-Vincentelli.
(2006)
Convertibility verification and converter synthesis: two faces of the same coin
Roberto Passerone;Luca de Alfaro;Thomas A. Henzinger;Alberto L. Sangiovanni-Vincentelli.
international conference on computer aided design (2002)
Development of wireless sensor network for combustible gas monitoring
Andrey Somov;Alexander Baranov;Alexey Savkin;Denis Spirjakin.
Sensors and Actuators A-physical (2011)
Contracts for System Design
Albert Benveniste;Benoit Caillaud;Dejan Nickovic;Roberto Passerone.
(2018)
Deployment and evaluation of a wireless sensor network for methane leak detection
Andrey Somov;Alexander Baranov;Denis Spirjakin;Andrey Spirjakin.
Sensors and Actuators A-physical (2013)
A Modal Interface Theory for Component-based Design
Jean-Baptiste Raclet;Eric Badouel;Albert Benveniste;Benoît Caillaud.
Fundamenta Informaticae (2011)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
University of California, Berkeley
University of Trento
French Institute for Research in Computer Science and Automation - INRIA
Université Catholique de Louvain
Columbia University
University of Siena
Institute of Science and Technology Austria
University of York
Grenoble Alpes University
Aalborg University
French Institute for Research in Computer Science and Automation - INRIA
Publications: 11
University College London
Aalto University
Sorbonne University
Wuhan University
National Institute of Advanced Industrial Science and Technology
Hydro One (Canada)
The University of Texas at Austin
Harvard University
National Oceanic and Atmospheric Administration
Emory University
The University of Texas Southwestern Medical Center
Virginia Commonwealth University
Lamont-Doherty Earth Observatory
University of Zurich
University of Melbourne
Tufts University