|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 263 occurrences of 192 keywords
|
|
|
|
|
Results
Found 492 publication records. Showing 492 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli |
The design of dynamical observers for hybrid systems: Theory and application to an automotive control problem.  |
Automatica  |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela De Venuto, Alberto L. Sangiovanni-Vincentelli |
Dr. Frankenstein's dream made possible: implanted electronic devices. |
DATE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Marco Casale-Rossi, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Bernard Courtois, Hugo De Man, Antun Domic, Jan M. Rabaey |
Panel: the heritage of Mead & Conway: what has remained the same, what was missed, what has changed, what lies ahead. |
DATE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Qi Zhu, Haibo Zeng, Wei Zheng, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli |
Optimization of task allocation and priority assignment in hard real-time distributed systems. |
ACM Trans. Embedded Comput. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arkadeb Ghosal, Daniel T. Iercan, Christoph M. Kirsch, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli |
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto L. Sangiovanni-Vincentelli, Werner Damm, Roberto Passerone |
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems. |
Eur. J. Control |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Derler, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli |
Modeling Cyber-Physical Systems. |
Proceedings of the IEEE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierluigi Nuzzo, Claudio Nani, Costantino Armiento, Alberto L. Sangiovanni-Vincentelli, Jan Craninckx, Geert Van der Plas |
A 6-Bit 50-MS/s Threshold Configuring SAR ADC in 90-nm Digital CMOS. |
IEEE Trans. on Circuits and Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Yang, Qi Zhu, Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli |
Development of Building Automation and Control Systems. |
IEEE Design & Test of Computers |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto L. Sangiovanni-Vincentelli |
EDA meets biology! The bumpy road ahead [Perscetives]. |
IEEE Design & Test of Computers |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli |
Total and Peak Energy Consumption Minimization of Building HVAC Systems Using Model Predictive Control. |
IEEE Design & Test of Computers |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Sindico, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli |
An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Haibo Zeng, Marco Di Natale, Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli |
Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment. |
IEEE Trans. Industrial Informatics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pan Gun Park, Carlo Fischione, Alvise Bonivento, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli |
Breath: An Adaptive Protocol for Industrial Control Applications Using Wireless Sensor Networks. |
IEEE Trans. Mob. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Puggelli, Tobias Welp, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli |
Are logic synthesis tools robust? |
DAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli |
Robustness in analog systems: Design techniques, methodologies and tools. |
SIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee, Alberto L. Sangiovanni-Vincentelli |
Component-based design for the future. |
DATE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pierluigi Nuzzo, Xuening Sun, Chang-Ching Wu, Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli |
A Platform-Based Methodology for System-Level Mixed-Signal Design. |
EURASIP J. Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network. |
IEEE Trans. Industrial Informatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Di Natale, Liangpeng Guo, Haibo Zeng, Alberto L. Sangiovanni-Vincentelli |
Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays. |
IEEE Trans. Industrial Informatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqiang Wang, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli |
Optimal synthesis of communication procedures in real-time synchronous reactive models. |
IEEE Trans. Industrial Informatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Zhu, Yang Yang, Marco Di Natale, Eelco Scholte, Alberto L. Sangiovanni-Vincentelli |
Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems. |
IEEE Trans. Industrial Informatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Di Natale, Alberto L. Sangiovanni-Vincentelli |
Moving From Federated to Integrated Architectures in Automotive: The Role of Standards, Methods and Tools. |
Proceedings of the IEEE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli |
CalCS: SMT solving for non-linear convex constraints. |
FMCAD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Joseph D'Ambrosio, Ed Nuckolls, Harald Wilhelm, Jim Tung, Markus Kuhl, Peter van Staa |
Education panel: designing the always connected car of the future. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
driver safety and comfort, vehicle-to-infrastructure, vehicle-to-vehicle, design, synthesis, connectivity, automotive |
| 1 | Mohammad Mostafizur Rahman Mozumdar, Luciano Lavagno, Laura Vanzago, Alberto L. Sangiovanni-Vincentelli |
HILAC: A framework for Hardware In the Loop simulation and multi-platform Automatic Code Generation of WSN Applications. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Yang, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Qi Zhu |
A Design Flow for Building Automation and Control Systems. |
RTSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto L. Sangiovanni-Vincentelli |
All things are connected. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Chang-Ching Wu, Xuening Sun, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey |
A 2.2mW CMOS LNA for 6-8.5GHz UWB receivers. |
ISCAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Fischione, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli, Benigno Zurita Ares |
Minimum Energy coding in CDMA Wireless Sensor Networks. |
IEEE Transactions on Wireless Communications |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Cheung, Xi Chen, Harry Hsieh, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe |
Runtime deadlock analysis for system level design. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
Stochastic Analysis of Distributed Real-time Automotive Systems. |
IEEE Trans. Industrial Informatics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli |
Improving the size of communication buffers in synchronous models with time constraints. |
IEEE Trans. Industrial Informatics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
Challenges and Solutions in the Development of Automotive Systems. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
A Methodology for Constraint-Driven Synthesis of On-Chip Communications. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sinem Coleri Ergen, Alberto L. Sangiovanni-Vincentelli, Xuening Sun, R. Tebano, S. Alalusi, G. Audisio, Marco Sabatini |
The Tire as an Intelligent Sensor. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto L. Sangiovanni-Vincentelli, Sandeep K. Shukla, Janos Sztipanovits, Guang Yang 0004, Deepak Mathaikutty |
Metamodeling: An Emerging Representation Paradigm for System-Level Design. |
IEEE Design & Test of Computers |
2009 |
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 | Carlo Fischione, Sinem Coleri Ergen, Pan Gun Park, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli |
Medium Access Control Analytical Modeling and Optimization in Unslotted IEEE 802.15.4 Wireless Sensor Networks. |
SECON |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuening Sun, Pierluigi Nuzzo, Chang-Ching Wu, Alberto L. Sangiovanni-Vincentelli |
Contract-based system-level composition of analog circuits. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
integration, composition, contract, system, analog, UWB, platform, platform-based design, radio-frequency, assume-guarantee |
| 1 | Haibo Zeng, Wei Zheng, Marco Di Natale, Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
Scheduling the FlexRay bus using optimization techniques. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
scheduling, real-time systems, automotive, MILP, FlexRay |
| 1 | Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
Statistical analysis of Controller Area Network message response times. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Fischione, Alberto Speranzon, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli |
Peer-to-peer estimation over wireless sensor networks via Lipschitz optimization. |
IPSN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Gueye, Sinem Coleri Ergen, Alberto L. Sangiovanni-Vincentelli |
Iterative Node Deployment in an Unknown Environment. |
GLOBECOM |
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 | Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
Optimizations of an application-level protocol for enhanced dependability in FlexRay. |
DATE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Guoqiang Wang, Marco Di Natale, Pieter J. Mosterman, Alberto L. Sangiovanni-Vincentelli |
Automatic Code Generation for Synchronous Reactive Communication. |
ICESS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Zhu, Yang Yang, Eelco Scholte, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli |
Optimizing Extensibility in Hard Real-Time Distributed Systems. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
Composing heterogeneous reactive systems. |
ACM Trans. Embedded Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
correct-by-construction design, reactive systems, Compositionality, models of computation, GALS |
| 1 | Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale |
Implementing Synchronous Models on Loosely Time Triggered Architectures. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Yuan, Gang Qu, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli |
An FSM Reengineering Approach to Sequential Circuit Synthesis by State Splitting. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Fault-Tolerant Distributed Deployment of Embedded Control Software. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Liu, Alex Kondratyev, Yosinori Watanabe, Jörg Desel, Alberto L. Sangiovanni-Vincentelli |
Schedulability Analysis of Petri Nets Based on Structural Properties. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carlo Fischione, Alberto Speranzon, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli |
Distributed Estimation over Wireless Sensor Networks with Packet Losses |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alberto Speranzon, Carlo Fischione, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli |
A distributed minimum variance estimator for sensor networks. |
IEEE Journal on Selected Areas in Communications |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinaldo A. Bergamaschi, Luca Benini, Krisztián Flautner, Wido Kruijtzer, Alberto L. Sangiovanni-Vincentelli, Kazutoshi Wakabayashi |
The State of ESL Design [Roundtable]. |
IEEE Design & Test of Computers |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
COSI: A Framework for the Design of Interconnection Networks. |
IEEE Design & Test of Computers |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto L. Sangiovanni-Vincentelli |
Is a Unified Methodology for System-Level Design Possible? |
IEEE Design & Test of Computers |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli |
Compositionally Progressive Solutions of Synchronous FSM Equations. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Language equations, Progressive solutions, Synchronous composition, Finite state machines |
| 1 | Pan Gun Park, Carlo Fischione, Alvise Bonivento, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli |
Breath: A Self-Adapting Protocol for Wireless Sensor Networks in Control and Automation. |
SECON |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanmei Li, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli |
Analysis of Interference Effects in MB-OFDM UWB Systems. |
WCNC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli |
Composing hybrid systems. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Andrea Balluchi, Antonio Bicchi |
Hybrid system reduction. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sinem Coleri Ergen, Carlo Fischione, Dimitri Marandin, Alberto L. Sangiovanni-Vincentelli |
Duty-Cycle Optimization in Unslotted 802.15.4 Wireless Sensor Networks. |
GLOBECOM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | M. D'Angelo, Carlo Fischione, Matteo Butussi, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli |
Outage-Based Rate Maximization in CDMA Wireless Networks. |
GLOBECOM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
Software Components for Reliable Automotive Systems. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | E. Frank, Reinhard Wilhelm, Rolf Ernst, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli |
Logical Reliability of Interacting Real-Time Tasks. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor Meyerowitz, Alberto L. Sangiovanni-Vincentelli, Mirko Sauermann, Dominik Langen |
Source-Level Timing Annotation and Simulation for a Heterogeneous Multiprocessor. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | T. Forest, Alberto Ferrari, G. Audisio, Marco Sabatini, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
Physical Architectures of Automotive Systems. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Scuola S. Anna, H. Hanselmann, Harald Heinecke, Amar Bouali, Hermann Kopetz, H. Fennel, Thomas Weber |
Panel Session - The Future Car: Technology, Methods and Tools. |
DATE |
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 | Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli |
Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli |
Optimizing the Implementation of Communication in Synchronous Reactive Models. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2008 |
DBLP DOI BibTeX RDF |
optimization, real-time, operating systems, synchronous models |
| 1 | Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli |
Semantics-Preserving Design of Embedded Control Software from Synchronous Models. |
IEEE Trans. Software Eng. |
2007 |
DBLP DOI BibTeX RDF |
Software design methodologies, embedded software design, protection mechanisms |
| 1 | Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli |
Uniprocessor scheduling under precedence constraints for embedded systems design. |
ACM Trans. Embedded Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
design of embedded systems, Real-time scheduling, embedded software, precedence constraints |
| 1 | Farinaz Koushanfar, Abhijit Davare, David T. Nguyen, Alberto L. Sangiovanni-Vincentelli, Miodrag Potkonjak |
Techniques for maintaining connectivity in wireless ad-hoc networks under energy constraints. |
ACM Trans. Embedded Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
sleeping coordination, ad-hoc networks, Low power, connectivity, power management, energy management |
| 1 | Wilsin Gosti, Tiziano Villa, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli |
FSM Encoding for BDD Representations. |
Applied Mathematics and Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvise Bonivento, Carlo Fischione, Luca Necchi, Fernando Pianegiani, Alberto L. Sangiovanni-Vincentelli |
System Level Design for Clustered Wireless Sensor Networks. |
IEEE Trans. Industrial Informatics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto L. Sangiovanni-Vincentelli |
Remembering Richard [Obituary, Richard A.Newton]. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
Embedded System Design for Automotive Applications. |
IEEE Computer |
2007 |
DBLP DOI BibTeX RDF |
automotive electronics system design, model-based design, embedded computing, platform-based design, AUTOSAR |
| 1 | Brian Otis, Simone Gambini, Rahul C. Shah, Dan Steingart, E. Quevy, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli, Paul K. Wright |
Modelling and simulation techniques for highly integrated, low-power wireless sensor networks. |
IET Computers & Digital Techniques |
2007 |
DBLP DOI 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, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
Loosely time-triggered architectures based on communication-by-sampling. |
EMSOFT |
2007 |
DBLP DOI BibTeX RDF |
MoCC, loosely time-triggered, distributed systems, real-time systems, time-triggered |
| 1 | Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control. |
EMSOFT |
2007 |
DBLP DOI BibTeX RDF |
building automation system, communication synthesis, networked embedded systems |
| 1 | Tiziano Villa, Svetlana Zharikova, Nina Yevtushenko, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
A new algorithm for the largest compositionally progressive solution of synchronous language equations. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
progressive solutions, unknown component problem, finite automata, sequential synthesis |
| 1 | Luca Necchi, Alvise Bonivento, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Laura Vanzago |
E2RINA: an Energy Efficient and Reliable In-Network Aggregation for Clustered Wireless Sensor Networks. |
WCNC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli |
Period Optimization for Hard Real-time Distributed Automotive Systems. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Smith, Andrew Chien, Christopher Hegarty, Walden C. Rhines, Alberto L. Sangiovanni-Vincentelli, Frank Winters |
Electronics: The New Differential in the Automotive Industry. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto L. Sangiovanni-Vincentelli |
Reasoning about the Trends and Challenges of Engineering Design Automation. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Zheng, Qi Zhu, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli |
Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems. |
RTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
Synthesis of task and message activation models in real-time distributed automotive systems. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Balluchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli |
Complexity Reduction for the Design of Interacting Controllers. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Di Natale, Wei Zheng, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
Optimizing End-to-End Latencies by Adaptation of the Activation Events in Distributed Automotive Systems. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Marculescu, Borivoje Nikolic, Alberto L. Sangiovanni-Vincentelli |
Fresh air: the emerging landscape of design for networked embedded systems. |
CODES+ISSS |
2007 |
DBLP DOI BibTeX RDF |
multi-core chips, distributed systems, embedded systems, low-power, wireless communication |
| 1 | Rolf Ernst, Gernot Spiegelberg, Thomas Weber, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marek Jersak |
Automotive networks: are new busses and gateways the answer or just another challenge? |
CODES+ISSS |
2007 |
DBLP DOI BibTeX RDF |
automotive networks |
| 1 | Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Platform based design for wireless sensor networks. |
MONET |
2006 |
DBLP DOI BibTeX RDF |
Sensor networks, Design automation, Platform based design |
| 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 | Christopher Umans, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli |
Complexity of two-level logic minimization. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 492 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")