|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 55 occurrences of 44 keywords
|
|
|
|
|
Results
Found 48 publication records. Showing 48 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thomas Nolte, Roberto Passerone |
Guest Editorial Special Section on Real-Time and (Networked) Embedded Systems III.  |
IEEE Trans. Industrial Informatics  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Somov, Alexander Baranov, Alexey Savkin, Mikhail Ivanov, Lucia Calliari, Roberto Passerone, Evgeny Karpov, Alexey Suchkov |
Energy-Aware Gas Sensing Using Wireless Sensor Networks. |
EWSN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Somov, Christine Ho, Roberto Passerone, James W. Evans, Paul K. Wright |
Towards Extending Sensor Node Lifetime with Printed Supercapacitors. |
EWSN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Palopoli, Roberto Passerone, Tizar Rizano |
Scalable Offline Optimization of Industrial Wireless Sensor Networks. |
IEEE Trans. Industrial Informatics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone |
A Modal Interface Theory for Component-based Design. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Tizar Rizano, Roberto Passerone, David Macii, Luigi Palopoli |
Model-based design of embedded control software for hybrid vehicles. |
SIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Md. Akbar Hossain, Roberto Passerone |
Power Adaptive Cognitive Pilot Channel for Spectrum Co-existence in Wireless Networks. |
AINA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. Industrial Informatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Somov, D. Spirjakin, Mikhail Ivanov, I. Khromushin, Roberto Passerone, Alexander Baranov, Alexey Savkin |
Combustible gases and early fire detection: an autonomous system for wireless sensor networks. |
e-Energy |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 Design & Test of Computers |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone |
Modal interfaces: unifying interface automata and modal specifications. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
modal specifications, compatibility, interface automata |
| 1 | Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone |
Why Are Modalities Good for Interface Theories?. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Densmore, Alena Simalatsar, Abhijit Davare, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
UMTS MPSoC design evaluation using a system level design framework. |
DATE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Luigi Palopoli, Roberto Passerone, Amy L. Murphy, Gian Pietro Picco, Alessandro Giusti |
Solving the Wake-Up Scattering Problem Optimally. |
EWSN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Fontanelli, Luigi Palopoli, Roberto Passerone |
Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Somov, Ivan Minakov, Alena Simalatsar, Giorgio Fontana, Roberto Passerone |
A Methodology for Power Consumption Evaluation of Wireless Sensor Networks. |
ETFA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Somov, Vinay Sachidananda, Roberto Passerone |
A Self-powered Module with Localization and Tracking System for Paintball. |
IWSOS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Md. Rezaul Hoque Khan, Roberto Passerone |
Performance of Energy Efficient Source Coding and Interference Reduction in Wireless Sensor Network Systems. |
UKSim |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
Approximating Behaviors in Embedded System Design. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Cancila, Roberto Passerone |
Functional and structural properties in the Model-Driven Engineering approach. |
ETFA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Felice Balarin, Roberto Passerone |
Specification, Synthesis, and Simulation of Transactor Processes. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Benoît Caillaud, Roberto Passerone |
A Generic Model of Contracts for Embedded Systems |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli |
Refinement preserving approximations for the design and verification of heterogeneous systems. |
Formal Methods in System Design |
2007 |
DBLP DOI BibTeX RDF |
Conservative approximation, Verification, Approximation, Reuse, Refinement, Refinement, Abstraction, Abstract interpretation, Heterogeneous, Polymorphism, Preserving, Model of computation, Galois connection, Discrete time, Continuous time, Concretization |
| 1 | Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis |
Multiple Viewpoint Contract-Based Specification and Design. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
Embedded systems, platform-based design, communication synthesis |
| 1 | Luca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli |
Languages and Tools for Hybrid Systems Design. |
Foundations and Trends in Electronic Design Automation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Densmore, Roberto Passerone |
A Platform-Based Taxonomy for ESL Design. |
IEEE Design & Test of Computers |
2006 |
DBLP DOI BibTeX RDF |
taxonomy, design flow, ESL, electronic system-level design |
| 1 | Felice Balarin, Roberto Passerone |
Functional verification methodology based on formal interface specification and transactor generation. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
Interchange Format for Hybrid Systems: Abstract Semantics. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Felice Balarin, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli |
A formal approach to system level design: metamodels and unified design environments. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone |
Interchange Formats for Hybrid Systems: Review and Proposal. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli |
Conservative approximations for heterogeneous design. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
verification, approximation, refinement, abstraction, heterogeneous, polymorphism, model of computation |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Gregoretti, Roberto Passerone, Leonardo Maria Reyneri, Claudio Sansoè |
A High Speed VLSI Architecture for Handwriting Recognition. |
VLSI Signal Processing |
2001 |
DBLP DOI BibTeX RDF |
image processing, parallel architectures, artificial neural networks, handwriting recognition, VLSI implementations |
| 1 | Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
Using Multiple Levels of Abstractions in Embedded Software Design. |
EMSOFT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems. |
ACSD |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1998 |
DBLP DOI BibTeX RDF |
simulation, Java, prototyping, high level design |
| 1 | Alberto Broggi, Gianni Conte, Francesco Gregoretti, Claudio Sansoè, Roberto Passerone, Leonardo Maria Reyneri |
Design and Implementation of the PAPRICA Parallel Architecture. |
VLSI Signal Processing |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Passerone, James A. Rowson, Alberto L. Sangiovanni-Vincentelli |
Automatic Synthesis of Interfaces Between Incompatible Protocols. |
DAC |
1998 |
DBLP DOI BibTeX RDF |
high-level synthesis, telecommunication |
| 1 | Enrica Filippi, Luciano Lavagno, L. Licciardi, A. Montanaro, M. Paolini, Roberto Passerone, Marco Sgroi, Alberto L. Sangiovanni-Vincentelli |
Intellectual Property Re-use in Embedded System Co-design: An Industrial Case Study. (PDF / PS) |
ISSS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Passerone, Roberto Passerone, Claudio Sansoè, Jonathan Martin, Alberto L. Sangiovanni-Vincentelli, Rick McGeer |
Modeling reactive systems in Java. |
CODES |
1998 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Francesco Gregoretti, F. Intini, Luciano Lavagno, Roberto Passerone, Leonardo Maria Reyneri |
Design and Implementation of the Control Structure of the PAPRICA-3 Processor. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
PAPRICA-3 processor, instruction execution, linear array processor PAPRICA-9, multi path queue structure, real-time systems, image processing, embedded systems, parallel architectures, image recognition, pipeline processing, array processor, pipeline architecture, application programs, real time image processing, control structure, image processing equipment, algorithmic efficiency |
Displaying result #1 - #48 of 48 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")