Roberto Passerone

According to our database1, Roberto Passerone authored at least 110 papers between 1996 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2020
Packet Length Spectral Analysis for IoT Flow Classification Using Ensemble Learning.
IEEE Access, 2020

2019
Effective Landmark Placement for Robot Indoor Localization With Position Uncertainty Constraints.
IEEE Trans. Instrum. Meas., 2019

Coherent Extension, Composition, and Merging Operators in Contract Models for System Design.
ACM Trans. Embedded Comput. Syst., 2019

SPAD-Based Quantum Random Number Generator With an N<sup>t</sup>-Order Rank Algorithm on FPGA.
IEEE Trans. Circuits Syst. II Express Briefs, 2019

A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles.
IEEE Access, 2019

Statistical Flow Classification for the IoT.
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2019

2018
Dependability Assessment of SOA-Based CPS With Contracts and Model-Based Fault Injection.
IEEE Trans. Ind. Informatics, 2018

A Low-Power Vision System With Adaptive Background Subtraction and Image Segmentation for Unusual Event Detection.
IEEE Trans. Circuits Syst. I Regul. Pap., 2018

A Low-Power Clock-Less Pulse Width Modulator Architecture for Smart Imaging.
J. Low Power Electron., 2018

Contracts for System Design.
Found. Trends Electron. Des. Autom., 2018

A battery-free non-intrusive power meter for low-cost energy monitoring.
Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

Optimal landmark placement for indoor positioning using context information and multi-sensor data.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2018

Optimized selection of wireless network topologies and components via efficient pruning of feasible paths.
Proceedings of the 55th Annual Design Automation Conference, 2018

2017
Non-invasive cyber-physical system for data center management.
Sustain. Comput. Informatics Syst., 2017

Efficient Neural Computation on Network Processors for IoT Protocol Classification.
Proceedings of the New Generation of CAS, 2017

A Clock-Less PWM Architecture for Sensor Imaging.
Proceedings of the New Generation of CAS, 2017

A nearly optimal landmark deployment for indoor localisation with limited sensing.
Proceedings of the 2017 International Conference on Indoor Positioning and Indoor Navigation, 2017

Design and energy optimization of a multifunctional IoT solution for connected bikes.
Proceedings of the Global Internet of Things Summit, 2017

ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures.
Proceedings of the 54th Annual Design Automation Conference, 2017

2016
A Comparative Study of Recent Wireless Sensor Network Simulators.
ACM Trans. Sens. Networks, 2016

Contract-Based Requirement Modularization via Synthesis of Correct Decompositions.
ACM Trans. Embedded Comput. Syst., 2016

Self-Powered WSN for Distributed Data Center Monitoring.
Sensors, 2016

A tag contract framework for modeling heterogeneous systems.
Sci. Comput. Program., 2016

Follow, listen, feel and go: alternative guidance systems for a walking assistance device.
CoRR, 2016

Routing behavior across WSN simulators: The AODV case study.
Proceedings of the IEEE World Conference on Factory Communication Systems, 2016

Cyber/physical co-design in practice: Case studies in metroII.
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Sensory stimulation for human guidance in robot walkers: A comparison between haptic and acoustic solutions.
Proceedings of the IEEE International Smart Cities Conference, 2016

Statistical characterization of the 2.4 GHz radio channel for WSN in indoor office environments.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015
Navigation assistance and guidance of older adults across complex public spaces: the DALi approach.
Intell. Serv. Robotics, 2015

exIMUs: An Experimental Inertial Measurement Unit for Shock and Impact Detection in Sport Applications.
Proceedings of the Internet of Things. IoT Infrastructures, 2015

A wireless carbon monoxide sensor node with hybrid power supply.
Proceedings of the 2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2015

Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering.
Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2015

Cyber-Physical System and Contract-Based Design: A Three Dimensional View.
Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2015

2014
Energy Neutral Wireless Sensing for Server Farms Monitoring.
IEEE J. Emerg. Sel. Topics Circuits Syst., 2014

Refinement-based synthesis of correct contract model decompositions.
Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

3DV - An embedded, dense stereovision-based depth mapping system.
Proceedings of the 2014 IEEE Intelligent Vehicles Symposium Proceedings, 2014

Energy neutral hybrid cooling system for high performance processors.
Proceedings of the International Green Computing Conference, 2014

BCL: A compositional contract language for embedded systems.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Design of a Redundant FPGA-Based Safety System for Railroad Vehicles.
Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems.
Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, 2014

Self-powered Active Cooling System for High Performance Processors.
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2014

c-Walker: A Cyber-Physical System for Ambient Assisted Living.
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2014

Contract-Based Reasoning for Component Systems with Rich Interactions.
Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014

2013
metroII: A design environment for cyber-physical systems.
ACM Trans. Embedded Comput. Syst., 2013

Timed-automata based schedulability analysis for distributed firm real-time systems: a case study.
Int. J. Softw. Tools Technol. Transf., 2013

A 33 µW 64×64 Pixel Vision Sensor Embedding Robust Dynamic Background Subtraction for Event Detection and Scene Interpretation.
J. Solid-State Circuits, 2013

PASES: An energy-aware design space exploration framework for wireless sensor networks.
J. Syst. Archit., 2013

Welcome message.
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

Embedded soundscape rendering for the visually impaired.
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

Wireless sensor networks for environmental monitoring powered by microprocessors heat dissipation.
Proceedings of the 1st International Workshop on Energy Neutral Sensing Systems, 2013

A Tag Contract Framework for Heterogeneous Systems.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

Spatial Sound Rendering for Assisted Living on an Embedded Platform.
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2013

Energy Autonomous Low Power Vision System.
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2013

Tag Machines for Modeling Heterogeneous Systems.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012
Guest Editorial Special Section on Real-Time and (Networked) Embedded Systems III.
IEEE Trans. Ind. Informatics, 2012

Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems.
Eur. J. Control, 2012

A 33μW 42 GOPS/W 64x64 pixel vision sensor with dynamic background subtraction for scene interpretation.
Proceedings of the International Symposium on Low Power Electronics and Design, 2012

Printed electrochemical capacitors for energy scavenging sensor networks.
Proceedings of the Ninth International Conference on Networked Sensing, 2012

Integration of correct-by-construction BIP models into the MetroII design space exploration flow.
Proceedings of the 30th International IEEE Conference on Computer Design, 2012

Towards Extending Sensor Node Lifetime with Printed Supercapacitors.
Proceedings of the Wireless Sensor Networks - 9th European Conference, 2012

Energy-Aware Gas Sensing Using Wireless Sensor Networks.
Proceedings of the Wireless Sensor Networks - 9th European Conference, 2012

Design of an innovative proximity detection embedded-system for safety application in industrial machinery.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011
Scalable Offline Optimization of Industrial Wireless Sensor Networks.
IEEE Trans. Ind. Informatics, 2011

A Modal Interface Theory for Component-based Design.
Fundam. Inform., 2011

Model-based design of embedded control software for hybrid vehicles.
Proceedings of the Industrial Embedded Systems (SIES), 2011

Enabling parametric feasibility analysis in real-time calculus driven performance evaluation.
Proceedings of the 14th International Conference on Compilers, 2011

Power Adaptive Cognitive Pilot Channel for Spectrum Co-existence in Wireless Networks.
Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications, 2011

2010
Ensuring Correctness in the Specification and Handling of Non-Functional Attributes in High-Integrity Real-Time Embedded Systems.
IEEE Trans. Ind. Informatics, 2010

An Industrial Case Study Using an MBE Approach: From Architecture to Safety Analysis.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010

Parametric analysis of distributed firm real-time systems: A case study.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

Combustible gases and early fire detection: an autonomous system for wireless sensor networks.
Proceedings of the 1st International Conference on Energy-Efficient Computing and Networking, 2010

2009
Metamodels in Europe: Languages, Tools, and Applications.
IEEE Des. Test Comput., 2009

Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem.
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

Solving the Wake-Up Scattering Problem Optimally.
Proceedings of the Wireless Sensor Networks, 6th European Conference, 2009

A Methodology for Power Consumption Evaluation of Wireless Sensor Networks.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Modal interfaces: unifying interface automata and modal specifications.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

UMTS MPSoC design evaluation using a system level design framework.
Proceedings of the Design, Automation and Test in Europe, 2009

On the global convergence of a class of distributed algorithms for maximizing the coverage of a WSN.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Why Are Modalities Good for Interface Theories?.
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008
Performance of Energy Efficient Source Coding and Interference Reduction in Wireless Sensor Network Systems.
Proceedings of the 10th EUROS/UKSim International Conference on Computer Modelling and Simulation, 2008

A methodology for architecture exploration and performance analysis using system level design languages and rapid architecture profiling.
Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

A Self-powered Module with Localization and Tracking System for Paintball.
Proceedings of the Self-Organizing Systems, Third International Workshop, 2008

A Contract-based Formalism for the Specification of Heterogeneous Systems (invited).
Proceedings of the Forum on specification and Design Languages, 2008

FZepel: RF-level power consumption measurement (RF-PM) for Zigbee wireless sensor network-towards cross layer optimization.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

Functional and structural properties in the Model-Driven Engineering approach.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

Approximating Behaviors in Embedded System Design.
Proceedings of the Concurrency, 2008

2007
Specification, Synthesis, and Simulation of Transactor Processes.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2007

Refinement preserving approximations for the design and verification of heterogeneous systems.
Formal Methods Syst. Des., 2007

A Generic Model of Contracts for Embedded Systems
CoRR, 2007

Multiple Viewpoint Contract-Based Specification and Design.
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

2006
System level design paradigms: Platform-based design and communication synthesis.
ACM Trans. Design Autom. Electr. Syst., 2006

Languages and Tools for Hybrid Systems Design.
Found. Trends Electron. Des. Autom., 2006

A Platform-Based Taxonomy for ESL Design.
IEEE Des. Test Comput., 2006

Interchange Format for Hybrid Systems: Abstract Semantics.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Functional verification methodology based on formal interface specification and transactor generation.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005
Interface Specification and Converter Synthesis.
Proceedings of the Embedded Systems Handbook., 2005

A formal approach to system level design: metamodels and unified design environments.
Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Interchange Formats for Hybrid Systems: Review and Proposal.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

2004
Conservative approximations for heterogeneous design.
Proceedings of the EMSOFT 2004, 2004

2002
Convertibility verification and converter synthesis: two faces of the same coin.
Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002

2001
A High Speed VLSI Architecture for Handwriting Recognition.
J. VLSI Signal Process., 2001

Constraints specification at higher levels of abstraction.
Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001

Using Multiple Levels of Abstractions in Embedded Software Design.
Proceedings of the Embedded Software, First International Workshop, 2001

Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems.
Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

1998
Design and Implementation of the PAPRICA Parallel Architecture.
J. VLSI Signal Process., 1998

Modeling reactive systems in Java.
ACM Trans. Design Autom. Electr. Syst., 1998

Intellectual Property Re-use in Embedded System Co-design: An Industrial Case Study.
Proceedings of the 11th International Symposium on System Synthesis, 1998

Automatic Synthesis of Interfaces Between Incompatible Protocols.
Proceedings of the 35th Conference on Design Automation, 1998

Modeling reactive systems in Java.
Proceedings of the Sixth International Workshop on Hardware/Software Codesign, 1998

1996
Design and Implementation of the Control Structure of the PAPRICA-3 Processor.
Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), 1996


  Loading...