|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 249 occurrences of 184 keywords
|
|
|
|
|
Results
Found 431 publication records. Showing 431 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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, platform, UWB, 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 | 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 | 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 | 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 | Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
Approximating Behaviors in Embedded System Design. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | T. Forest, Alberto Ferrari, G. Audisio, M. Sabatini, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
Physical Architectures of 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 | 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 | 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 | 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 | 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 | 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 |
synchronous models, optimization, real-time, operating systems |
| 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 | 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 | Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Andrea Balluchi, Antonio Bicchi |
Hybrid system reduction. |
CDC |
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 | 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 L. Sangiovanni-Vincentelli |
Is a Unified Methodology for System-Level Design Possible? |
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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Alberto L. Sangiovanni-Vincentelli |
Reasoning about the Trends and Challenges of Engineering Design Automation. |
VLSI Design |
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, AUTOSAR, model-based design, embedded computing, platform-based design |
| 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, Model of computation, Preserving, Galois connection, Discrete time, Continuous time, Concretization |
| 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 | 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 | 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 | 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 | 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 | 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 | Shinjiro Kakita, Yosinori Watanabe, Douglas Densmore, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli |
Functional Model Exploration for Multimedia Applications via Algebraic Operators. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli, Jörg Desel |
Schedulability Analysis of Petri Nets Based on Structural Properties. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto L. Sangiovanni-Vincentelli |
Automotive electronics: steady growth for years to come! |
ASP-DAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli |
SAT sweeping with local observability don't-cares. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
SAT sweeping, and/inverter graphs, observability |
| 1 | Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Platform-based design of wireless sensor networks for industrial applications. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Densmore, Adam Donlin, Alberto L. Sangiovanni-Vincentelli |
FPGA architecture characterization for system level performance analysis. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sri Kanajan, Haibo Zeng, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli |
Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Marculescu, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli |
Is "Network" the next "Big Idea" in design? |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Guang Yang 0004, Xi Chen, Felice Balarin, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli |
Communication and co-simulation infrastructure for heterogeneous system integration. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
Communication by sampling in time-sensitive distributed systems. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
distributed deployment, heterogeneous reactive systems, scheduling, tagged systems |
| 1 | Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan |
A hierarchical coordination language for interacting real-time tasks. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
real time, automotive systems |
| 1 | Andrea Balluchi, Antonio Bicchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Gabriele Serra |
Hybrid Modelling and Control of the Common Rail Injection System. |
HSCC |
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 | Alberto Fazzi, L. Magagni, Mario de Dominicis, Paolo Zoffoli, Roberto Canegallo, Pier Luigi Rolandi, Alberto L. Sangiovanni-Vincentelli, Roberto Guerrieri |
Yield prediction for 3D capacitive interconnections. |
ICCAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando De Bernardinis, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli |
Robust system level design with analog platforms. |
ICCAD |
2006 |
DBLP DOI BibTeX RDF |
analog platforms, robust hierarchical design, system-level design |
| 1 | Qi Zhu, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli |
A semantic-driven synthesis flow for platform-based design. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Alvise Bonivento, Guglielmo De Angelis, Alberto L. Sangiovanni-Vincentelli |
Modeling and Early Performance Estimation for Network Processor Applications. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli |
Uniprocessor Scheduling Under Precedence Constraints. |
IEEE Real Time Technology and Applications Symposium |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Fischione, Alvise Bonivento, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli |
Cooperative Diversity with Disconnection Constraints and Sleep Discipline for Power Control in Wireless Sensor Networks. |
VTC Spring |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
A Framework for Modeling the Distributed Deployment of Synchronous Designs. |
Formal Methods in System Design |
2006 |
DBLP DOI BibTeX RDF |
Latency-insensitive design, Distributed systems, GALS, Desynchronization |
| 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 | 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 |
|
| 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 | Luca P. Carloni, Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi |
Platform-Based and Derivative Design. |
The Industrial Information Technology Handbook |
2005 |
DBLP BibTeX RDF |
|
| 1 | Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli |
Extensible and Scalable Time Triggered Scheduling. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Yuan, Gang Qu, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli |
FSM re-engineering and its application in low power state encoding. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Janos Sztipanovits, C. John Glossner, Trevor N. Mudge, Chris Rowen, Alberto L. Sangiovanni-Vincentelli, Wayne Wolf, Feng Zhao |
Grand challenges in embedded systems. |
CODES+ISSS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando De Bernardinis, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli |
Mixed signal design space exploration through analog platforms. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi Chen, Abhijit Davare, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe |
Simulation based deadlock analysis for system level designs. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
cyclic dependency, metropolis, simulation, synchronization, deadlock, system level |
| 1 | Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Erhard Schlenker, Hans-Jörg Wolff |
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto L. Sangiovanni-Vincentelli |
Integrated Electronics in the Car and the Design Chain Evolution or Revolution? |
DATE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Mark L. McKelvin Jr., Jonathan Sprinkle, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli |
Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment. (PDF / PS) |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli |
Efficient embedded software design with synchronous models. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
model-based, synchrony |
| 1 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Tag machines. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
distributed deployment, heterogeneous reactive systems, GALS, tagged systems |
| 1 | Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
sensor networks, design automation, design flow |
| 1 | Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli |
A structural approach to quasi-static schedulability analysis of communicating concurrent programs. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
quasi-static scheduling, Petri nets, structural analysis |
| 1 | Mark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli |
A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
fault tree construction, feedback control applications, system analysis, design exploration |
| 1 | Abhijit Davare, Qi Zhu, John Moondanos, Alberto L. Sangiovanni-Vincentelli |
JPEG Encoding on the Intel MXP5800: A Platform-Based Design Case Study. |
ESTImedia |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Balluchi, Pierpaolo Murrieri, Alberto L. Sangiovanni-Vincentelli |
Controller Synthesis on Non-uniform and Uncertain Discrete-Time Domains. |
HSCC |
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 | Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli |
Efficient analog platform characterization through analog constraint graphs. |
ICCAD |
2005 |
DBLP BibTeX RDF |
|
| 1 | Fernando De Bernardinis, Pierluigi Nuzzo, Pierangelo Terreni, Alberto L. Sangiovanni-Vincentelli |
Enriching an analog platform for analog-to-digital converter design. |
ISCAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Felice Balarin, Claudio 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 | Arnon Amir, Lior Zimet, Alberto L. Sangiovanni-Vincentelli, Sean Kao |
An embedded system for an eye-detection sensor. |
Computer Vision and Image Understanding |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto L. Sangiovanni-Vincentelli |
The importance of innovation in the economy of advanced countries. |
IEEE Design & Test of Computers |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi |
Guidelines for a graduate curriculum on embedded software and systems. |
ACM Trans. Embedded Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Graduate curriculum, architecture and design, extrafunctional properties, distributed systems, embedded systems, real-time, control, labs |
| 1 | Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto |
An overview of embedded system design education at berkeley. |
ACM Trans. Embedded Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Graduate and undergraduate education, sourcework, embedded systems, embedded software, architectural design, functional design |
Displaying result #1 - #100 of 431 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")