Alberto Sangiovanni-Vincentelli

Alberto Sangiovanni-Vincentelli's AcademicInfluence.com Rankings

Engineering

#474

World Rank

#802

Historical Rank

Electrical Engineering

#54

World Rank

#64

Historical Rank

Applied Physics

#70

World Rank

#73

Historical Rank

engineering Degrees

Download Badge

Engineering

Alberto Sangiovanni-Vincentelli's Degrees

PhD Electrical Engineering and Computer Science University of California, Berkeley

Why Is Alberto Sangiovanni-Vincentelli Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Alberto Luigi Sangiovanni-Vincentelli is an Italian-American computer scientist. He currently sits on the board of directors of Cadence Design Systems, an EDA company he co-founded in 1988. Biography Born in Milan, Italy, Sangiovanni-Vincentelli received his master of science degree in engineering at the Polytechnic University of Milan in 1971. In 1976, he moved to University of California at Berkeley, where he joined the Department of Electrical Engineering and Computer Sciences, and holds the position of Edgar L. and Harold H. Buttner Chair and serves as a full professor.

(See a Problem?)

Alberto Sangiovanni-Vincentelli's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

MIS: A Multiple-Level Logic Optimization System (1987) (1104)
The Waveform Relaxation Method for Time-Domain Analysis of Large Scale Integrated Circuits (1982) (821)
Logic Minimization Algorithms for VLSI Synthesis (1984) (804)
System-Level Design: Orthogonalization of Concerns and Platform-Based Design (2001) (794)
Hardware-software co-design of embedded systems: the POLIS approach (1997) (748)
A framework for comparing models of computation (1998) (748)
VIS: A System for Verification and Synthesis (1996) (699)
Modeling Cyber–Physical Systems (2012) (663)
Metropolis: An Integrated Electronic System Design Environment (2003) (590)
Design of embedded systems: formal models, validation, and synthesis (1997) (581)
Sequential circuit design using synthesis and optimization (1992) (552)
The TimberWolf placement and routing package (1985) (534)
Convergence and finite-time behavior of simulated annealing (1985) (534)
Logic verification using binary decision diagrams in a logic synthesis environment (1988) (520)
Steady-state methods for simulating analog and microwave circuits (1990) (509)
Platform-Based Design and Software Design Methodology for Embedded Systems (2001) (455)
Multiple-Valued Minimization for PLA Optimization (1987) (444)
Implicit state enumeration of finite state machines using BDD's (1990) (442)
Hardware-Software Co-Design of Embedded Systems (1997) (435)
System-level design: orthogonalization of concerns andplatform-based design (2000) (415)
Multilevel logic synthesis (1990) (412)
Addressing the system-on-a-chip interconnect woes through communication-based design (2001) (405)
Theory of latency-insensitive design (2001) (402)
Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design (2007) (381)
Simulation of Nonlinear Circuits in the Frequency Domain (1986) (378)
DELIGHT.SPICE: an optimization-based system for the design of integrated circuits (1988) (375)
AN EFFICIENT GENERAL COOLING SCHEDULE FOR SIMULATED ANNEALING (1986) (373)
Architecture of field-programmable gate arrays (1993) (352)
Combinational test generation using satisfiability (1996) (350)
Optimal State Assignment for Finite State Machines (1985) (342)
NOVA: state assignment of finite state machines for optimal two-level logic implementation (1990) (337)
Design of Observers for Hybrid Systems (2002) (320)
Logic synthesis for vlsi design (1989) (292)
Model predictive control with signal temporal logic specifications (2014) (282)
MUSTANG: state assignment of finite state machines targeting multilevel logic implementations (1988) (277)
A survey of optimization techniques for integrated-circuit design (1981) (261)
Automotive engine control and hybrid systems: challenges and opportunities (2000) (251)
Multi-level logic minimization using implicit don't cares (1988) (248)
Relaxation Techniques for the Simulation of VLSI Circuits (1986) (247)
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems (2012) (247)
Embedded System Design for Automotive Applications (2007) (234)
Relaxation-based electrical simulation (1983) (232)
TimberWolf3.2: A New Standard Cell Placement and Global Routing Package (1986) (226)
Retiming and resynthesis: optimizing sequential networks with combinational techniques (1990) (222)
Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization Without Accessing Target Domain Data (2019) (216)
Logic synthesis for programmable gate arrays (1990) (216)
An efficient heuristic cluster algorithm for tearing large-scale networks (1977) (210)
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach (2014) (209)
Languages and Tools for Hybrid Systems Design (2006) (205)
On-line fault detection of sensor measurements (2003) (202)
Improved logic synthesis algorithms for table look up architectures (1991) (199)
Interface-based Design (1997) (195)
A Parallel Simulated Annealing Algorithm for the Placement of Macro-Cells (1987) (191)
Contracts for System Design (2018) (189)
Handling model uncertainty in model predictive control for energy efficient buildings (2014) (189)
Test generation for sequential circuits (1988) (186)
ESPRESSO-SIGNATURE: A New Exact Minimizer for Logic Functions (1993) (186)
Benefits and challenges for platform-based design (2004) (185)
Minimizing production test time to detect faults in analog circuits (1994) (181)
Moving From Federated to Integrated Architectures in Automotive: The Role of Standards, Methods and Tools (2010) (181)
Automatic synthesis of interfaces between incompatible protocols (1998) (179)
A methodology for correct-by-construction latency insensitive design (1999) (172)
On thermal effects in deep sub-micron VLSI interconnects (1999) (171)
Efficient Parallel Learning Algorithms for Neural Networks (1988) (171)
System design: traditional concepts and new paradigms (1999) (171)
Cyber-Security for the Controller Area Network (CAN) Communication Protocol (2012) (170)
Driving-Style-Based Codesign Optimization of an Automated Electric Vehicle: A Cyber-Physical System Approach (2019) (166)
Optimization-based transistor sizing (1988) (163)
Efficient synthesis of networks on chip (2003) (161)
A multilevel Newton algorithm with macromodeling and latency for the analysis of large-scale nonlinear circuits in the time domain (1979) (161)
Hardware-software codesign of embedded systems (1994) (159)
A Contract-Based Methodology for Aircraft Electric Power System Design (2014) (159)
A New Symbolic Channel Router: YACR2 (1985) (155)
Period Optimization for Hard Real-time Distributed Automotive Systems (2007) (154)
Timing optimization of combinational logic (1988) (154)
Fault-tolerant platforms for automotive safety-critical applications (2003) (151)
NOVA: State Assignment of Finite State Machines for Optimal Two-Level Logic Implementations (1989) (149)
Automation of IC layout with analog constraints (1996) (145)
Scheduling for Embedded Real-Time Systems (1998) (145)
Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems (1997) (142)
A LiDAR Point Cloud Generator: from a Virtual World to Autonomous Driving (2018) (140)
Synthesis of Software Programs for Embedded Control Applications (1999) (138)
Coping with Latency in SOC Design (2002) (135)
Algorithms for synthesis of hazard-free asynchronous circuits (1991) (132)
Algorithms for Synthesis and Testing of Asynchronous Circuits (1993) (132)
A distributed minimum variance estimator for sensor networks (2008) (131)
Time-domain Non-monte Carlo Noise Simulation For Nonlinear Dynamic Circuits With Arbitrary Excitations (1994) (128)
An Algorithm for Optimal PLA Folding (1982) (128)
Scenic: a language for scenario specification and scene generation (2018) (125)
Comparing models of computation (1996) (125)
Breath: An Adaptive Protocol for Industrial Control Applications Using Wireless Sensor Networks (2011) (124)
Logic synthesis for large pass transistor circuits (1997) (124)
Applying harmonic balance to almost-periodic circuits (1988) (123)
Convertibility verification and converter synthesis: two faces of the same coin [IP block interfaces] (2002) (123)
Total and Peak Energy Consumption Minimization of Building HVAC Systems Using Model Predictive Control (2012) (122)
Fast discrete function evaluation using decision diagrams (1995) (120)
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems (2015) (120)
Partitioned ROBDDs-a compact, canonical and efficiently manipulable representation for Boolean functions (1996) (119)
Formal Models for Embedded System Design (2000) (118)
A theoretical framework for simulated annealing (1991) (115)
Support vector machines for analog circuit performance representation (2003) (115)
Performance directed synthesis for table look up programmable gate arrays (1991) (113)
Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment (2011) (112)
WAVEFORM RELAXATION: THEORY AND PRACTICE (1985) (112)
Timing analysis and delay-fault test generation using path-recursive functions (1991) (111)
HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform (2002) (110)
Heuristic Minimization of BDDs Using Don't Cares (1994) (110)
A Next-Generation Design Framework for Platform-Based Design (2007) (104)
Model predictive control approach to online computation of demand-side flexibility of commercial buildings HVAC systems for Supply Following (2014) (101)
A Detailed Router Based on Incremental Routing Modifications: Mighty (1987) (100)
Minimum padding to satisfy short path constraints (1993) (99)
The Swarm at the Edge of the Cloud (2015) (99)
Implementing Synchronous Models on Loosely Time Triggered Architectures (2008) (98)
Reachability analysis using partitioned-ROBDDs (1997) (98)
Efficient software performance estimation methods for hardware/software codesign (1996) (96)
Complexity of two-level logic minimization (2006) (95)
Optimization of task allocation and priority assignment in hard real-time distributed systems (2012) (93)
A Review of Single-Source Deep Unsupervised Visual Domain Adaptation (2020) (93)
The Tire as an Intelligent Sensor (2009) (92)
An Iterative Approach to Language Containment (1993) (91)
Design methodology for PicoRadio networks (2001) (90)
SAT sweeping with local observability don't-cares (2006) (89)
A novel VLSI layout fabric for deep sub-micron applications (1999) (89)
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties (2013) (89)
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks (2016) (89)
Model-Based Hierarchical Optimal Control Design for HVAC Systems (2014) (89)
A synthesis and optimization procedure for fully and easily testable sequential machines (1989) (87)
Handbook of Hybrid Systems Control: Theory, Tools, Applications (2011) (87)
Techniques For Crosstalk Avoidance In The Physical Design Of High-performance Digital Systems (1994) (86)
On clustering for minimum delay/ara (1991) (86)
Automatic generation of analytical models for interconnect capacitances (1995) (86)
A survey of third-generation simulation techniques (1981) (86)
Guidelines for a graduate curriculum on embedded software and systems (2005) (86)
Performance analysis and optimization of latency insensitive systems (2000) (85)
Cut-off in engine control: a hybrid system approach (1997) (84)
Irredundant sequential machines via optimal logic synthesis (1990) (84)
A heuristic algorithm for the fanout problem (1990) (84)
Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems (2007) (83)
Modeling digital substrate noise injection in mixed-signal IC's (1999) (82)
A Fully Implicit Algorithm for Exact State Minimization (1994) (80)
System Level Design for Clustered Wireless Sensor Networks (2007) (80)
Stochastic Analysis of CAN-Based Real-Time Automotive Systems (2009) (80)
Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior (2014) (79)
Behavioral simulation techniques for phase/delay-locked systems (1994) (79)
Fault-tolerant deployment of embedded software for cost-sensitive real-time feedback-control applications (2004) (79)
Observability for hybrid systems (2003) (78)
Constraint-driven communication synthesis (2002) (78)
Substrate noise: analysis and optimization for IC design [Book Review] (2001) (76)
Optimal test set design for analog circuits (1990) (76)
SPICE: An optimization-based system for the design of integrated circuits (1988) (75)
Limitations and challenges of computer-aided design technology for CMOS VLSI (2001) (75)
A unified signal transition graph model for asynchronous control circuit synthesis (1992) (74)
Delay Fault Coverage and Performance Tradeoffs (1993) (73)
HSIS: A BDD-Based Environment for Formal Verification (1994) (73)
Solving the state assignment problem for signal transition graphs (1992) (73)
Security-aware mapping for CAN-based real-time distributed automotive systems (2013) (73)
Delay Models and Exact Timing Analysis (1993) (72)
High performance BDD package by exploiting memory hierarchy (1996) (71)
A compilation-based software estimation scheme for hardware/software co-simulation (1999) (71)
Fault Tolerance in Wireless Ad-Hoc Sensor Networks (2007) (70)
A hierarchical coordination language for interacting real-time tasks (2006) (70)
Modeling and Designing Heterogeneous Systems (2002) (70)
Hierarchical statistical characterization of mixed-signal circuits using behavioral modeling (1996) (70)
Theoretical and computational aspects of the optimal design centering, tolerancing, and tuning problem (1979) (70)
A 6-bit 50-MS/s threshold configuring SAR ADC in 90-nm digital CMOS (2009) (69)
A Formal Specification Model for Hardware/Software Codesign (1993) (69)
An embedded system for an eye-detection sensor (2005) (69)
Models of computation for embedded system design (1999) (69)
Task generation and compile-time scheduling for mixed data-control embedded software (2000) (69)
The Tides of EDA (2003) (68)
Platform-Based Design for Embedded Systems (2005) (68)
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment (2003) (68)
Constraint generation for routing analog circuits (1990) (68)
Software timing analysis using HW/SW cosimulation and instruction set simulator (1998) (68)
Mighty: a rip-up and reroute detailed router (1986) (67)
Cross-talk noise immune VLSI design using regular layout fabrics (2001) (66)
Constraint-based channel routing for analog and mixed analog/digital circuits (1990) (66)
An incomplete scan design approach to test generation for sequential machines (1988) (66)
Formal analysis of synchronous circuits (1996) (65)
metroII: A design environment for cyber-physical systems (2013) (64)
CalCS: SMT solving for non-linear convex constraints (2010) (64)
Platform-Based Design of Wireless Sensor Networks for Industrial Applications (2006) (64)
Synthesis of Finite State Machines: Logic Optimization (1997) (63)
A DENOTATIONAL FRAMEWORK FOR COMPARING MODELS OF COMPUTATION (1997) (63)
Nonlinear and Hybrid Systems in Automotive Control (2002) (63)
Dynamic variable reordering for BDD minimization (1993) (62)
Delay fault coverage, test set size, and performance trade-offs (1995) (62)
Addressing Modeling Challenges in Cyber-Physical Systems (2011) (62)
A Service-Based Universal Application Interface for Ad-hoc Wireless Sensor Networks (2003) (62)
System level design paradigms: Platform-based design and communication synthesis (2004) (62)
Design management based on design traces (1991) (62)
Optimizing the Software Architecture for Extensibility in Hard Real-Time Distributed Systems (2010) (61)
Source-Level Timing Annotation and Simulation for a Heterogeneous Multiprocessor (2008) (61)
The swarm at the edge of the cloud - A new perspective on wireless (2011) (61)
Synthesis of Finite State Machines: Functional Optimization (2010) (61)
Graph algorithms for clock schedule optimization (1992) (60)
Latency Insensitive Protocols (1999) (59)
Cross-talk immune VLSI design using a network of PLAs embedded in a regular layout fabric (2000) (57)
A Service-Based Universal Application Interface for Ad Hoc Wireless Sensor and Actuator Networks (2005) (57)
Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network (2010) (56)
VICTOR : A Fast VLSI Testability Analysis Program (1982) (56)
Formal verification of embedded systems based on CFSM networks (1996) (56)
Synthesis of Multitask Implementations of Simulink Models With Minimum Delays (2010) (55)
Equivalence of robust delay-fault and single stuck-fault test generation (1992) (55)
Multiple Constrained Folding of Programmable Logic Arrays: Theory and Applications (1983) (55)
ECSTASY: a new environment for IC design optimization (1988) (55)
An improved synthesis algorithm for multiplexor-based PGAs (1992) (55)
Two-Dimensional Compaction by 'Zone Refining' (1986) (55)
An envelope-following method for the efficient transient simulation of switching power and filter circuits (1988) (55)
Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool (1995) (54)
Synthesis methods for field programmable gate arrays (1993) (54)
Measurement And Modeling Of MOS Transistor Current Mismatch In Analog IC's (1994) (54)
Design Automation for Smart Building Systems (2018) (54)
A Constraint-driven Placement Methodology For Analog Integrated Circuits (1992) (53)
Logic Verification Algorithms and their Parallel Implementation (1987) (53)
Generalized constraint generation for analog circuit design (1993) (53)
Adaptive sleep discipline for energy conservation and robustness in dense sensor networks (2004) (53)
Online Simultaneous State Estimation and Parameter Adaptation for Building Predictive Control (2013) (53)
RELAX: A New Circuit Simulator for Large Scale MOS Integrated Circuits (1982) (52)
Prototypical Cross-domain Self-supervised Learning for Few-shot Unsupervised Domain Adaptation (2021) (52)
Model Predictive Control of regulation services from commercial buildings to the smart grid (2014) (52)
Hybrid control in automotive applications: the cut-off control (1999) (52)
Chameleon: A New Multi-Layer Channel Router (1986) (52)
Systematic Testing of Convolutional Neural Networks for Autonomous Driving (2017) (52)
A framework for creating healthcare monitoring applications using wireless body sensor networks (2008) (51)
Controller Synthesis on Non-uniform and Uncertain Discrete-Time Domains (2005) (51)
Overcoming heterophobia: modeling concurrency in heterogeneous systems (2001) (51)
Area routing for analog layout (1993) (51)
Digital sensitivity: predicting signal interaction using functional analysis (1996) (51)
A case study in computer-aided co-design of embedded controllers (1994) (51)
SUBWAVE: a methodology for modeling digital substrate noise injection in mixed-signal ICs (1996) (51)
Ariadne: a framework for reachability analysis of hybrid automata (2006) (51)
Wireplanning in logic synthesis (1998) (50)
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming (2017) (50)
The design of dynamical observers for hybrid systems: Theory and application to an automotive control problem (2012) (50)
Counterexample-Guided Data Augmentation (2018) (50)
Optimizing Extensibility in Hard Real-Time Distributed Systems (2009) (50)
Correct-by-construction transformations across design environments for model-based embedded software development (2005) (49)
Model matching for finite state machines (1994) (49)
Optimum Functional Decomposition Using Encoding (1994) (49)
CADICS-cyclic analog-to-digital converter synthesis (1990) (49)
UML and Platform-based Design (2003) (49)
Time analysis of large-scale circuits containing one-way macromodels (1982) (48)
Metamodeling: An Emerging Representation Paradigm for System-Level Design (2009) (48)
Fault Tolerance in Wireless Sensor Networks (2004) (48)
BAG: A designer-oriented integrated framework for the development of AMS circuit generators (2013) (48)
Sequential synthesis using S1S (1995) (48)
Scenic: Language-Based Scene Generation (2018) (47)
Model matching for finite-state machines (2001) (47)
Compositional Modeling in Metropolis (2002) (47)
SMC: Satisfiability Modulo Convex Optimization (2017) (47)
Contracts for Systems Design: Theory (2015) (47)
Relaxation-Based Electrical Simulation (1983) (46)
Computer-Aided Design for VLSI Circuits (1986) (46)
Synthesis of Robust Control Systems under Resource Constraints (2002) (46)
Binary decision diagrams on network of workstations (1996) (46)
Multi-Level Logic Simplification Using Don't Cares and Filters (1989) (46)
Solution of parallel language equations for logic synthesis (2001) (45)
Interchange Format for Hybrid Systems: Abstract Semantics (2006) (45)
Industrial Cyber-Physical Systems - iCyPhy (2013) (45)
A hybrid observer for the driveline dynamics (2001) (45)
Synthesis of embedded software using free-choice Petri netsProceedings 1999 Design Automation Conference (Cat. No. 99CH36361) (1999) (44)
Explicit and implicit algorithms for binate covering problems (1997) (44)
Composing heterogeneous reactive systems (2008) (43)
Electronic-System Design in the Automobile Industry (2003) (43)
Security-Aware Design Methodology and Optimization for Automotive Systems (2015) (43)
Duty-cycle optimization for IEEE 802.15.4 wireless sensor networks (2013) (43)
Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems (2015) (43)
Automatic generation of parasitic constraints for performance-constrained physical design of analog circuits (1993) (43)
Retiming of circuits with single phase transparent latches (1991) (43)
Efficient embedded software design with synchronous models (2005) (42)
Addressing the timing closure problem by integrating logic optimization and placement (2001) (42)
Mixed signal design space exploration through analog platforms (2005) (42)
Extensible and scalable time triggered scheduling (2005) (42)
Flexibility of Commercial Building HVAC Fan as Ancillary Service for Smart Grid (2013) (42)
Performance enhancement through the generalized bypass transform (1991) (42)
A routing methodology for analog integrated circuits (1990) (42)
Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine (2000) (42)
Synthesis method for field programmable gate arrays (1993) (42)
Synthesis of embedded networks for building automation and control (2008) (42)
Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System (2008) (42)
Formal Models for Communication-Based Design (2000) (41)
Hybrid modelling and control of the common rail injection system (2006) (41)
Synthesis of FSMs: functional optimization (1997) (41)
An overview of embedded system design education at berkeley (2005) (41)
Substrate optimization based on semi-analytical techniques (1999) (41)
Selecting building predictive control based on model uncertainty (2014) (41)
A framework for satisfying input and output encoding constraints (1991) (41)
Design systems for VLSI circuits : logic synthesis and silicon compilation (1987) (41)
An FSM Reengineering Approach to Sequential Circuit Synthesis by State Splitting (2008) (41)
Techniques for Programmable Logic Array Folding (1982) (40)
Fault-Tolerant Distributed Deployment of Embedded Control Software (2008) (40)
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications (2016) (40)
A macromodeling algorithm for analog circuits (1991) (40)
Satisfaction of input and output encoding constraints (1994) (40)
A mixed frequency-time approach for distortion analysis of switching filter circuits (1989) (39)
Using conduction modes basis functions for efficient electromagnetic analysis of on-chip and off-chip interconnect (2001) (39)
Metropolis: an integrated environment for electronic system design (2003) (39)
Embedded System Design using UML and Platforms (2003) (39)
Synthesis and optimization procedures for fully and easily testable sequential machines (1988) (39)
PLATYPUS: A PLA Test Pattern Generation Tool (1985) (39)
Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving (2015) (39)
Synthesis of Task and Message Activation Models in Real-Time Distributed Automotive Systems (2007) (39)
Boolean decomposition in multilevel logic optimization (1989) (39)
Maximizing the stability radius of a set of systems under real-time scheduling constraints (2005) (39)
Constructive Induction Using a Non-Greedy Strategy for Feature Selection (1992) (39)
Verification of electronic systems (1996) (38)
Metamodels in Europe: Languages, Tools, and Applications (2009) (38)
Co-design of control algorithm and embedded platform for building HVAC systems (2013) (38)
Synthesis of hazard-free asynchronous circuits with bounded wire delays (1995) (38)
Constraints specification at higher levels of abstraction (2001) (38)
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA) (2004) (37)
Computer-aided design via optimization : A review (1982) (37)
Diagnosability of nonlinear circuits and systems-Part I: The dc case (1981) (36)
Security-aware mapping for TDMA-based real-time distributed systems (2014) (36)
Computing parametric yield accurately and efficiently (1990) (36)
Fast Hardware/software Co-simulation For Virtual Prototyping And Trade-off Analysis (1997) (36)
Platform based design for wireless sensor networks (2005) (36)
Reachability computation for hybrid systems with Ariadne (2008) (36)
Computer-aided synthesis of PLA-based finite-state machines (1983) (36)
Decomposition of logic functions for minimum transition activity (1995) (36)
The art and science of integrated systems design (2002) (35)
Behavioral modeling and simulation of data converters (1992) (35)
SMC: Satisfiability Modulo Convex Programming (2018) (35)
Frankenstein : Contract-Based Design for Cyber-Physical Systems ∗ g (2013) (35)
Methodology for the Design of Analog Integrated Interfaces Using Contracts (2012) (35)
Designing a Cyber–Physical System for Fall Prevention by Cortico–Muscular Coupling Detection (2016) (35)
Optimal load management system for Aircraft Electric Power distribution (2013) (35)
Hybrid Systems: Computation and Control (2001) (35)
Scenic: A Language for Scenario Specification and Data Generation (2020) (35)
Loosely time-triggered architectures based on communication-by-sampling (2007) (35)
Tag machines (2005) (35)
Design Systems for VLSI Circuits (1987) (35)
Simulation and modeling of phase noise in open-loop oscillators (1996) (35)
Synthesis of Finite State Machines (1997) (34)
Optimizing End-to-End Latencies by Adaptation of the Activation Events in Distributed Automotive Systems (2007) (34)
Modeling Techniques, Programming Languages, and Design Toolsets for Hybrid Systems (2004) (34)
ORCA A Sea-of-gates Place and Route System (1989) (34)
Characterization, Analysis, and Recommendations for Exploiting the Opportunities of Cyber-Physical Systems (2017) (34)
Concurrent execution semantics and sequential simulation algorithms for the Metropolis meta-model (2002) (34)
Embedding Mixed-Signal Design in Systems-on-Chip (2006) (34)
Classification, Customization, and Characterization: Using MILP for Task Allocation and Scheduling (2006) (33)
Scheduling the FlexRay bus using optimization techniques (2009) (33)
Component-based design for the future (2011) (33)
Breath: A Self-Adapting Protocol for Wireless Sensor Networks in Control and Automation (2008) (33)
PROTEUS : A Logic Verification System for Combinational Circuits (1986) (33)
Location Discovery in Ad-hoc Wireless Sensor Networks (2004) (33)
Boolean decomposition in multi-level logic optimization (1988) (33)
Semantic foundations for heterogeneous systems (2004) (33)
Individual cylinder characteristic estimation for a spark injection engine (2003) (33)
SIS : A System for Sequential Circuit Synthesis Electronics Research Laboratory Memorandum (1992) (33)
A new shortest path updating algorithm (1978) (32)
Software Components for Reliable Automotive Systems (2008) (32)
Boolean matching in logic synthesis (1992) (32)
Logic Verification Using BDDs in a Logic Synthesis Environ-ment (1988) (32)
MIS-MV: optimization of multi-level logic with multiple-values inputs (1990) (32)
Use of performance sensitivities in routing analog circuits (1990) (32)
SPICE3 Version 3f3 User s Manual (1993) (31)
Hybrid Control for Automotive Engine Management: The Cut-Off Case (1998) (31)
Synthesis of verifiably hazard-free asynchronous control circuits (1991) (31)
Scalable lazy SMT-based motion planning (2016) (31)
FSM re-engineering and its application in low power state encoding (2005) (31)
A formal approach to reactive system design: unmanned aerial vehicle flight management system design example (1999) (31)
Automotive virtual integration platforms: why's, what's, and how's (2002) (31)
Formal verification of combinational circuits (1997) (30)
High Performance BDD Package Based on Exploiting Memory Hierarchy (1996) (30)
Turning coders into makers: the promise of embedded design generation (2017) (30)
Synthesis for testability techniques for asynchronous circuits (1991) (30)
The Unknown Component Problem: Theory and Applications (2014) (30)
Three-dimensional capacitance evaluation on a Connection Machine (1988) (30)
Design aids for VLSI: The Berkeley perspective (1981) (30)
Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems (2014) (30)
Embedded system design and hybrid systems (1997) (29)
A case study on modeling shared memory access effects during performance analysis of HW/SW systems (1998) (29)
The TerraSwarm Research Center (TSRC) (A White Paper) (2012) (29)
Reactors: A Deterministic Model for Composable Reactive Systems (2019) (29)
A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems (2005) (29)
Theory of Optimal Control Using Bisimulations (2000) (29)
LSAT-an algorithm for the synthesis of two level threshold gate networks (1991) (29)
Interchange Formats for Hybrid Systems: Review and Proposal (2005) (28)
Wireless protocols design: challenges and opportunities (2000) (28)
Platform-based embedded software design and system integration for autonomous vehicles (2003) (28)
Analog testability analysis and fault diagnosis using behavioral modeling (1994) (28)
Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings (2001) (28)
Optimal logic synthesis and testability: two faces of the same coin (1988) (28)
Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets (1999) (28)
Automatic Layout of Integrated Circuits (1987) (28)
B L F-M V An Interchange Format for Design Verification and Synthesis (1991) (28)
HILAC: A framework for hardware in the loop simulation and multi-platform automatic code generation of WSN applications (2010) (27)
Contract-based system-level composition of analog circuits (2009) (27)
Automated design management using traces (1993) (27)
Dr. Frankenstein's dream made possible: Implanted electronic devices (2013) (27)
Logic Synthesis for Field-Programmable Gate Arrays (1995) (27)
Schedulability Analysis of Petri Nets Based on Structural Properties (2006) (27)
Smart Connected Buildings Design Automation: Foundations and Trends (2016) (27)
Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving (2015) (27)
Circuit Simulation on the Connection Machine (1987) (27)
Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions (1993) (27)
A behavioral representation for Nyquist rate A/D converters (1991) (27)
Synthesis for manufacturability: a sanity check (2004) (26)
Finding the steady-state response of analog and microwave circuits (1988) (26)
A modified approach to two-level logic minimization (1988) (26)
Design Space Exploration of Automotive Platforms in Metropolis (2006) (26)
FPGA Architecture Characterization for System Level Performance Analysis (2006) (26)
A Formalization of Robustness for Deep Neural Networks (2019) (26)
Logic synthesis for manufacturability (2004) (26)
Designing wireless protocols: methodology and applications (2000) (26)
Exact Minimization of Binary Decision Diagrams Using Implicit Techniques (1998) (26)
A massively parallel algorithm for three-dimensional device simulation (1990) (26)
Efficient power estimation techniques for HW/SW systems (1999) (26)
Performance optimization of pipelined logic circuits using peripheral retiming and resynthesis (1993) (26)
ThunderBird: a complete standard cell layout package (1988) (26)
Hybrid Control of Networked Embedded Systems (2005) (26)
A module generator for high speed CMOS current output digital/analog converters (1995) (26)
Valid clocking in wavepipelined circuits (1992) (26)
Combining EEG and EMG Signals in a Wireless System for Preventing Fall in Neurodegenerative Diseases (2015) (25)
SERAN: a semi random protocol solution for clustered wireless sensor networks (2005) (25)
Proximity templates for modeling of skin and proximity effects on packages and high frequency interconnect (2002) (25)
Improving the Size of Communication Buffers in Synchronous Models With Time Constraints (2009) (25)
Learning Complex Boolean Functions: Algorithms and Applications (1993) (25)
A frequency-domain, Volterra series-based behavioral simulation tool for RF systems (1999) (25)
Schedule Validation For Embedded Reactive Real-time Systems (1997) (25)
Reduced offsets for minimization of binary-valued functions (1991) (25)
Function/Architecture Optimization and Co-Design of Embedded Systems (2000) (25)
Low power coordination in wireless ad-hoc networks (2003) (25)
Modeling reactive systems in Java (1998) (25)
An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing (2019) (25)
Symbolic minimization of multilevel logic and the input encoding problem (1992) (25)
Minimum Energy coding in CDMA Wireless Sensor Networks (2009) (24)
Embedded system education: a new paradigm for engineering schools? (2005) (24)
Using Multiple Levels of Abstractions in Embedded Software Design (2001) (24)
Behavioral Representations For VCO And Detectors In Phase-lock Systems (1992) (24)
Techniques for multilayer channel routing (1988) (24)
Decomposition Techniques for Efficient ROBDD Construction (1996) (24)
Routing-Aware Design of Indoor Wireless Sensor Networks Using an Interactive Tool (2015) (24)
Performance Optimization Using Exact Sensitization (1994) (24)
Optimizations of an application-level protocol for enhanced dependability in FlexRay (2009) (24)
Performance optimization of pipelined circuits (1990) (24)
Codesign Methodologies and Tools for Cyber–Physical Systems (2018) (24)
Contract-based design of control protocols for safety-critical cyber-physical systems (2014) (23)
Equivalences for Fair Kripke Structures (1994) (23)
A Computational Approach for the Diagnosability of Dynamical Circuits (1984) (23)
CHASE: Contract-based requirement engineering for cyber-physical system design (2018) (23)
Partitioning Algorithms And Parallel Implementations Of Waveform Relaxation Algorithms For Circuit S (1985) (23)
Development of Building Automation and Control Systems (2012) (23)
Circuit structure relations to redundancy and delay (1994) (23)
Automatic compositional minimization in CTL model checking (1992) (22)
Intellectual property re-use in embedded system co-design: an industrial case study (1998) (22)
A tool for describing and evaluating hierarchical real-time bus scheduling policies (2003) (22)
Synthesis for Idle Speed Control of an Automotive Engine (2004) (22)
A mixed discrete-continuous optimization scheme for Cyber-Physical System architecture exploration (2015) (22)
A video driver system designed using a top-down, constraint-driven methodology (1996) (22)
Diagnosability of nonlinear circuits and systems-Part II: Dynamical systems (1981) (22)
Library-based scalable refinement checking for contract-based design (2014) (22)
Embedded System Codesign: Synthesis and Verification (1995) (22)
A Methodology for Constraint-Driven Synthesis of On-Chip Communications (2009) (22)
MulCh: a multi-layer channel router using one, two, and three layer partitions (1988) (21)
Symbolic two-level minimization (1997) (21)
Efficient Software Performance Estimation Methods for Hardware/Software Codesign (1996) (21)
Top-down, constraint-driven design methodology based generation of n-bit interpolative current source D/A converters (1994) (21)
Optimized selection of reliable and cost-effective cyber-physical system architectures (2015) (21)
Duty-Cycle Optimization in Unslotted 802.15.4 Wireless Sensor Networks (2008) (21)
A survey of techniques for formal verification of combinational circuits (1997) (21)
Medium Access Control Analytical Modeling and Optimization in Unslotted IEEE 802.15.4 Wireless Sensor Networks (2009) (21)
Efficient Solution of Optimal Control Problems Using Hybrid Systems (2005) (20)
A Design Flow for Building Automation and Control Systems (2010) (20)
Numerically efficient control of systems with communication constraints (2002) (20)
Hybrid system reduction (2008) (20)
A Verification Strategy for Timing-Constrained Systems (1992) (20)
A vision for embedded software (2001) (20)
Detecting and Diagnosing Incipient Building Faults Using Uncertainty Information from Deep Neural Networks (2019) (20)
On the temporal equivalence of sequential circuits (1992) (20)
Circuit structure relations to redundancy and delay: the KMS algorithm revisited (1992) (20)
Quasi-Static Scheduling of Embedded Software Using Free-Choice Petri Nets (1999) (20)
A case study in embedded system design: an engine control unit (1998) (19)
COSI: A Framework for the Design of Interconnection Networks (2008) (19)
Is a Unified Methodology for System-Level Design Possible? (2008) (19)
System-level power/performance analysis of portable multimedia systems communicating over wireless channels (2001) (19)
E2RINA: an Energy Efficient and Reliable In-Network Aggregation for Clustered Wireless Sensor Networks (2007) (19)
A two levels algorithm for tearing (1976) (19)
Stochastic contracts for cyber-physical system design under probabilistic requirements (2017) (19)
Rapid-Prototyping of Embedded Systems via Reprogrammable Devices (1996) (19)
An efficient methodology for symbolic compaction of analog ICs with multiple symmetry constraints (1992) (19)
Combining retiming and recycling to optimize the performance of synchronous circuits (2003) (19)
The Unknown Component Problem (2012) (19)
Randomized protocol stack for ubiquitous networks in indoor environment (2006) (19)
Noise Analysis of Radio Frequency Circuits (2003) (19)
PLATYPUS: A PLA Test Pattern Generation Tool (1986) (19)
Negative thinking in branch-and-bound: the case of unate covering (2000) (18)
Automotive Electronics: Trends and Challenges (2000) (18)
I MHOTEP-SMT : A Satisfiability Modulo Theory Solver For Secure State Estimation ∗ (2015) (18)
Valid clock frequencies and their computation in wavepipelined circuits (1996) (18)
Pleasure: a computer program for simple/multiple constrained unconstrained folding of programmable logic arrays (1983) (18)
Logical Reliability of Interacting Real-Time Tasks (2008) (18)
Using the minimum description length principle to infer reduced ordered decision graphs (2004) (18)
Engineering change in a non-deterministic FSM setting (1996) (18)
Separation of concerns: overhead in modeling and efficient simulation techniques (2004) (18)
A One-Class Support Vector Machine Calibration Method for Time Series Change Point Detection (2019) (18)
ERROR-TOLERANT MULTI-MODAL SENSOR FUSION (2002) (18)
An analytical-model generator for interconnect capacitances (1991) (18)
ACTUAL ENGAGED GEAR IDENTIFICATION: A HYBRID OBSERVER APPROACH (2005) (18)
Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering (2015) (18)
Conditional Synthetic Data Generation for Robust Machine Learning Applications with Limited Pandemic Data (2021) (18)
Timing Analysis in a Logic Synthesis Environment (1989) (18)
JPEG encoding on the Intel MXP5800: a platform-based design case study (2005) (18)
Compact and complete test set generation for multiple stuck-faults (1996) (17)
Solution of piecewise-linear ordinary differential equations using waveform relaxation and laplace transforms (1983) (17)
On-chip communication design: roadblocks and avenues (2003) (17)
Via assignment problem in multilayer printed circuit board (1979) (17)
Microarchitecture development via metropolis successive platform refinement (2004) (17)
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design (2017) (17)
A case study in computer-aided codesign of embedded controllers (1994) (17)
Are interface theories equivalent to contract theories? (2014) (17)
Performance-driven compaction for analog integrated circuits (1993) (17)
Exploring Trade-off’s Between Centralized versus Decentralized Automotive Architectures Using a Virtual Integration Environment (2006) (17)
Metropolis: a Design Environment for Heterogeneous Systems (2005) (17)
A New Exact Minimizer for Two-Level Logic Synthesis (1993) (17)
Robustness in analog systems: Design techniques, methodologies and tools (2011) (17)
An Almost-Periodic Fourier Transform for Use with Harmonic Balance (1987) (17)
Compositionally Progressive Solutions of Synchronous FSM Equations (2008) (17)
Simulation based deadlock analysis for system level designs (2005) (17)
Hybrid Systems in Automotive Electronics Design (2005) (17)
Trade-off evaluation in embedded system design via co-simulation (1997) (17)
Inferring Reduced Ordered Decision Graphs of Minimum Description Length (1995) (16)
Top-down, constraint-driven design methodology based generation of a second order /spl Sigma/-/spl Delta/ A/D converter (1995) (16)
Efficient methods for embedded system design space exploration (2000) (16)
The best of both worlds: the efficient asynchronous implementation of synchronous specifications (2004) (16)
Semi-analytical techniques for substrate characterization in the design of mixed-signal ICs (1996) (16)
Smart Buildings in the Smart Grid: Contract-Based Design of an Integrated Energy Management System (2015) (16)
Models of computation for system design (2000) (16)
Contracts for the Design of Embedded Systems Part II : Theory (2011) (16)
Beyond Schematic Capture: Meaningful Abstractions for Better Electronics Design Tools (2019) (16)
Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks (2005) (16)
Synthesis of FSMs: logic optimization (1997) (16)
Controller synthesis for hybrid systems with a lower bound on event separation (2003) (16)
A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control (2007) (16)
Uniprocessor Scheduling Under Precedence Constraints (2006) (16)
Negative thinking by incremental problem solving: application to unate covering (1997) (16)
Fast hardware-software co-simulation using VHDL models (1999) (16)
Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach (2014) (16)
Robust System-Level Design with Analog Platforms (2006) (15)
Efficient analog platform characterization through analog constraint graphs (2005) (15)
Automatic Reduction in CTL Compositional Model Checking (1992) (15)
Sequential optimisation without state space exploration (1997) (15)
Sequential Synthesis for Table Look Up Programmable Gate Arrays (1993) (15)
Exact Minimization of Multiple-Valued Functions for PLA Optimization (2003) (15)
A mixed frequency-time approach for finding the steady-state solution of clocked analog circuits (1988) (15)
A methodology for system-level analog design space exploration (2004) (15)
Methodology and Tools for Next Generation Cyber‐Physical Systems: The iCyPhy Approach (2015) (15)
INDEX: an inductance extractor for superconducting circuits (1993) (15)
CAD tools for ASIC design (1987) (15)
Verification of Nyquist data converters using behavioral simulation (1995) (15)
Linear programming for optimum hazard elimination in asynchronous circuits (1992) (15)
An efficient heuristic procedure for solving the state assignment problem for event-based specifications (1995) (14)
Contracts for the Design of Embedded Systems Part I : Methodology and Use Cases (2011) (14)
Interconnect electromagnetic modeling using conduction modes as global basis functions (2000) (14)
Statistical analysis of Controller Area Network message response times (2009) (14)
Performance analysis of collaborative spatio-temporal processing for wireless sensor networks (2006) (14)
Pleasure: A Computer Program for Simple/Multiple Constrained/Unconstrained Folding of Programmable Logic Arrays (1983) (14)
EMBEDDED SOFTWARE DESIGN AND SYSTEM INTEGRATION FOR ROTORCRAFT UAV USING PLATFORMS (2002) (14)
Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures (2008) (14)
Latency-insensitive design (2004) (14)
Multiple-Level Logic Optimization System (2003) (14)
Hybrid command governors for idle speed control in gasoline direct injection engines (2003) (14)
The ultimate IoT application: A cyber-physical system for ambient assisted living (2016) (14)
Strong model matching for finite state machines with non-deterministic reference model (1995) (14)
A methodology for the computation of an upper bound on noise current spectrum of CMOS switching activity (2003) (14)
Communication based logic partitioning (1992) (13)
Let's Get Physical: Computer Science Meets Systems (2014) (13)
Electrical Architecture Optimization and Selection - Cost Minimization via Wire Routing and Wire Sizing (2014) (13)
Hierarchical Timing Language (2006) (13)
A complexity metric for concurrent finite state machine based embedded software (2013) (13)
Let's get physical: Adding physical dimensions to cyber systems (2015) (13)
A note on bipartite graphs and pivot selection in sparse matrices (1976) (13)
Stochastic model predictive control design for load management system of aircraft electrical power distribution (2015) (13)
Modeling of substrate noise injected by digital libraries (2001) (13)
New Front-End and Line Justification Algorithm for Automatic Test Generation (1986) (13)
Simultaneous Placement and Module Optimization of Analog IC's (1994) (13)
Idle speed control for GDI engines using robust multirate hybrid command governors (2003) (13)
Cooperative Diversity with Disconnection Constraints and Sleep Discipline for Power Control in Wireless Sensor Networks (2006) (13)
A Timed Automaton-Based Method for Accurate Computation of Circuit Delay in the Presence of Cross-Talk (1998) (12)
Optimal Control Using Bisimulations: Implementation (2001) (12)
Peer-to-peer estimation over wireless sensor networks via Lipschitz optimization (2009) (12)
Designing digital video systems: Modeling and scheduling (1999) (12)
An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink (2014) (12)
Functional Model Exploration for Multimedia Applications via Algebraic Operators (2006) (12)
Fast instruction cache simulation strategies in a hardware/software co-design environment (1999) (12)
Relax: A new circuit for large scale MOS integrated circuits (1982) (12)
Refinement preserving approximations for the design and verification of heterogeneous systems (2007) (12)
Sequential synthesis by language equation solving (2003) (12)
Constrained Synthesis from Component Libraries (2016) (12)
Let's get physical: Adding physical dimensions to cyber systems (2015) (12)
Hybrid Control: Taming Heterogeneity and Complexity of Networked Embedded Systems (2006) (12)
Embedded Systems Development, From Functional Models to Implementations (2015) (12)
Error models for light sensors by statistical analysis of raw sensor measurements (2004) (12)
Extended stuck-fault testability for combinational networks (1990) (12)
An Initial Study on Monetary Cost Evaluation for the Design of Automotive Electrical Architectures (2007) (12)
Formal verification of an automotive engine controller in cutoff mode (1998) (12)
Structural detection of symmetries in Boolean functions (2003) (12)
Platform-based mixed signal design: Optimizing a high-performance pipelined ADC (2006) (11)
Efficient Wire Routing and Wire Sizing for Weight Minimization of Automotive Systems (2015) (11)
UMTS MPSoC design evaluation using a system level design framework (2009) (11)
Improving reachability analysis of hybrid automata for engine control (2004) (11)
Industrial Control via Application Containers: Migrating from Bare-Metal to IAAS (2019) (11)
Modeling and Optimal Control Algorithm Design for HVAC Systems in Energy Efficient Buildings (2011) (11)
A Platform-based Design Flow for Kahn Process Networks (2006) (11)
Symbolic compaction with analogue constraints (1995) (11)
The transistor: an invention becomes a big business (1998) (11)
Implicit state minimization of non-deterministic FSMs (1995) (11)
Explainable AI for Chiller Fault-Detection Systems: Gaining Human Trust (2021) (11)
'Zone-refining' techniques for IC layout compaction (1990) (11)
A formal approach to system level design: metamodels and unified design environments (2005) (11)
Models for a New Profit-Based Methodology for Statistical Design of Integrated Circuits (1986) (11)
Testing Of Analog Systems Using Behavioral Models And Optimal Experimental Design Techniques (1994) (11)
A Case Study in Embedded Systems Design: An Engine Control Unit (2000) (11)
Waveform relaxation techniques and their parallel implementation (1985) (11)
On the Automatic Computation of Network Invariants (1994) (11)
Contracts for Systems Design: Methodology and Application cases (2015) (11)
Techniques for including dielectrics when extracting passive low-order models of high speed interconnect (2001) (11)
An OSEK-VDX Implementation of Synchronous Reactive Semantics-Preserving Communication (2007) (11)
Analysis of Interference Effects in MB-OFDM UWB Systems (2008) (10)
Uniprocessor scheduling under precedence constraints for embedded systems design (2007) (10)
Optimized design of a Human Intranet network (2017) (10)
A Framework for Modeling the Distributed Deployment of Synchronous Designs (2006) (10)
Use of sensitivities and generalized substrate models in mixed-signal IC design (1996) (10)
A new simulation metric to determine safe environments and controllers for systems with unknown dynamics (2019) (10)
Characterization of integration algorithms for the timing analysis of mos vlsi circuits (1982) (10)
On equivalent dynamic networks: Elimination of capacitor loops and inductor cutsets (1978) (10)
Retiming and Resynthesis: Optimizing Sequential Circuits Using Combinational Techniques (1991) (10)
A Model-Based Approach for Bridging Virtual and Physical Sensor Nodes in a Hybrid Simulation Framework (2014) (10)
Techniques for maintaining connectivity in wireless ad-hoc networks under energy constraints (2007) (10)
Automatic Generation of a Real-Time Operating System for Embedded Systems (1997) (10)
Are logic synthesis tools robust? (2011) (10)
Communication by sampling in time-sensitive distributed systems (2006) (10)
Fault tolerant data flow modeling using the generic modeling environment (2005) (10)
Theory and algorithms for face hypercube embedding (1998) (10)
Analog behavioral models for simulation and synthesis of mixed-signal systems (1992) (10)
Bipartite graphs and an optimal bordered triangular form of a matrix (1979) (10)
Optimal Control of Building HVAC Systems in the Presence of Imperfect Predictions - eScholarship (2014) (10)
Distributed control of a swarm of buildings connected to a smart grid: demo abstract (2014) (10)
Modeling Techniques in Design-By-Refinement Methodologies (2003) (10)
Symmetric Displacement Algorithms for the Timing Analysis of Large Scale Circuits (1983) (10)
Hybrid controller synthesis for idle speed management of an automotive engine (2000) (10)
Implicit computation of compatible sets for state minimization of ISFSMs (1997) (10)
A hybrid approach to the fast positive force transient tracking problem in automotive engine control (1998) (10)
Theory and algorithms for state minimization of nondeterministic FSMs (1997) (10)
A study of composition schemes for mixed apply/compose based construction of ROBDDs (1996) (9)
Virtual component co-design-applying function architecture co-design to automotive applications (2001) (9)
An efficient wire routing and wire sizing algorithm for weight minimization of automotive systems (2014) (9)
Computer Aided Design Via Optimization (1979) (9)
Adaptive Body Area Networks Using Kinematics and Biosignals (2018) (9)
Timing optimization with testability considerations (1990) (9)
Two-Level Minimization of Multivalued Functions with Large Offsets (1993) (9)
Analog System Verification in the Presence of Parasitics Using Behavioral Simulation (1993) (9)
Comparisons and Conclusions (1984) (9)
A performance-driven router for RF and microwave analog circuit design (1995) (9)
Task scheduling with RT constraints (2000) (9)
Controller synthesis for hybrid systems with lower bounds on event separation (1999) (9)
A tool integration approach for architectural exploration of aircraft electric power systems (2013) (9)
Optimal Synthesis of Communication Procedures in Real-Time Synchronous Reactive Models (2010) (9)
Quotient for Assume-Guarantee Contracts (2018) (9)
Exact Minimum Cycle Times for Finite State Machines (1994) (9)
HW/SW codesign of an engine management system (2000) (9)
Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead [Scanning the Issue] (2015) (9)
Design optimization of the control system for the powertrain of an electric vehicle: A cyber-physical system approach (2015) (9)
Corsi e Ricorsi: The EDA Story (2010) (8)
Modeling and estimating yield and efficiency of photovoltaic solar parks (2013) (8)
Synchronous approach to the functional equivalence of embeddedsystem implementations (2001) (8)
The implications of deep sub-micron technology on the design of high performance digital vlsi systems (1997) (8)
Noise analysis of non-autonomous radio frequency circuits (1999) (8)
Formal Veri cation of the PATHO Real-Time Operating System (8)
A band relaxation algorithm for reliable and parallelizable circuit simulation (1988) (8)
Model Predictive Control for Signal Temporal Logic Specification (2017) (8)
Emotional Semantics-Preserved and Feature-Aligned CycleGAN for Visual Emotion Adaptation (2020) (8)
On the stabilization of linear discrete-time hybrid automata (2003) (8)
Resynthesis of Multi-Phase Pipelines (1993) (8)
Dynamic reordering in a breadth-first manipulation based BDD package: challenges and solutions (1997) (8)
Communication storage optimization for static dataflow with access patterns under periodic scheduling and throughput constraint (2014) (8)
Yield Prediction for 3D Capacitive Interconnections (2006) (8)
Hybrid control of the air-fuel ratio in force transients for multi-point injection engines (1999) (8)
A Methodology and an Open Software Infrastructure for Constraint-Driven Synthesis of On-Chip Communications (2007) (8)
ArchEx: An extensible framework for the exploration of cyber-physical system architectures (2017) (8)
Is "Network" the next "Big Idea" in design? (2006) (8)
Imposing tight specifications on analog IC's through simultaneous placement and module optimization (1994) (8)
Reduced offsets for two-level multi-valued logic minimization (1990) (8)
Semantics-Preserving Design of Embedded Control Software from Synchronous Models (2007) (8)
Intravehicular Energy-Harvesting Wireless Networks: Reducing Costs and Emissions (2017) (8)
Automatic Code Generation for Synchronous Reactive Communication (2009) (8)
JESTER: An Esterel-based Reactive Java Extension for Reactive Embedded Systems Co-Design (2001) (8)
Runtime deadlock analysis for system level design (2009) (8)
A graph theoretical interpretation of nonsymmetric permutation on sparse matrices (1977) (8)
Hybrid Control in Automotive Applications (1999) (8)
Time Series Learning using Monotonic Logical Properties (2018) (8)
Enhanced methods of feasible directions for engineering design problems (1986) (8)
A case study of hybrid controller synthesis of a heating system (1999) (8)
A hybrid feedback for a benchmark problem of idle speed control (2009) (8)
Fault Tree Analysis for the Design Exploration of Fault Tolerant Automotive Architectures (2009) (7)
Embedded System Co-Design (1996) (7)
Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing (2014) (7)
Platform-Based Design: A Path to Efficient Design Re-Use (2000) (7)
INTERCHANGE SEMANTICS FOR HYBRID SYSTEM MODELS (2006) (7)
Single and multi-cpu performance modeling for embedded systems (2008) (7)
Node-Tearing Nodal Analysis (1976) (7)
Guest Editorial Special Issue on Circuits and Systems for the Internet of Things - From Sensing to Sensemaking (2017) (7)
Logic Verification, Testing and their Relationship to Logic Synthesis (1988) (7)
Buildings to Grid Integration: A Dynamic Contract Approach (2015) (7)
Modelling and simulation techniques for highly integrated, low-power wireless sensor networks (2007) (7)
Hybrid control of force transients for multi‐point injection engines (2001) (7)
Constraints Assisted Modeling and Validation in Metropolis Framework (2006) (7)
Hybrid tracking control for spark-ignition engines (2000) (7)
System level design of embedded controllers: knock detection, a case study in the automotive domain (2003) (7)
Hybrid systems and the design of embedded controllers for automotive engine management (1998) (7)
Iterative Algorithms For Formal Verification Of Embedded Real-time Systems (1994) (7)
Synthesis by Language Equation Solving : Extended Abstract (7)
Design Automation for Cyber-Physical Systems [Scanning the Issue] (2018) (7)
A Contract-based Framework for Integrated Demand Response Management in Smart Grids (2015) (7)
Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems (2002) (7)
A 2.2mW CMOS LNA for 6–8.5GHz UWB receivers (2010) (6)
Some Considerations on Field-Programmable Gate Arrays and Their Impact on System Design (1992) (6)
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code (2012) (6)
An algorithm for improving partitions of pin-limited multi-chip systems (1993) (6)
Platform-Based Design and Frameworks: METROPOLIS andMETRO II (2018) (6)
A Platform-Based Methodology for System-Level Mixed-Signal Design (2010) (6)
An iterative approach to verification of real-time systems (1995) (6)
FSM Encoding for BDD Representations (2007) (6)
A conceptual model of system of systems (2015) (6)
Generalized constraint generation in the presence of non-deterministic parasitics (1996) (6)
Timing analysis of process graphs with finite communication buffers (2013) (6)
Virtual Symmetry Axes for the Layout of Analog IC's (1991) (6)
Toward a Theory of Problem Solving (1976) (6)
Scalable Motion Planning Using Lazy SMT-Based Solving (2016) (6)
Delay fault testing: trading fault coverage, test set size, and performance (1993) (6)
Special section on wireless technologies in factory and industrial automation (2006) (6)
Design and Optimization of an MB-OFDM Ultra-Wideband Receiver Front-End (2008) (6)
Autonomous vehicles: A playground for sensors (2017) (6)
Comparison of control strategies for energy efficient building HVAC systems (2014) (6)
Mixed models of computation in the design of automotive engine control (2001) (6)
AN OPTIMIZATION PROBLEM ARISING FROM TEARING METHODS (1976) (6)
Behavioral simulation for noise in mixed-mode samples-data systems (1992) (6)
Accelerating Relaxation Algorithms for Circuit Simulation Using Waveform Newton, Iterative Step Size (1985) (6)
Design of a Motorcycle Engine Control Unit Using an Integrated Control-Implementation Approach (2004) (6)
AVDM: A hierarchical command-and-control system architecture for cooperative autonomous vehicles in highways scenario using microscopic simulations (2021) (6)
Coherent Extension, Composition, and Merging Operators in Contract Models for System Design (2019) (6)
System-level design: a strategic investment for the future of the electronic industry (2005) (6)
VIS (2021) (6)
Probabilistic timing analysis of distributed real-time automotive systems (2008) (6)
Synthesis of LSI Circuits (1987) (6)
An industrial system engineering process integrating model driven architecture and model based design (2012) (6)
Hierarchical System Design with Vertical Contracts (2018) (6)
Sequential synthesis for table look up PGAs (1992) (5)
Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control (2001) (5)
Injector characteristics estimation for spark ignition engines (1998) (5)
Design Aids for VLSI: A Perspective Revisited (1985) (5)
CSL4P: A Contract Specification Language for Platforms (2017) (5)
Modeling and early performance estimation for network processor applications (2006) (5)
Free MDD-based software optimization techniques for embedded systems (2000) (5)
A parallel graph partitioner on a distributed memory multiprocessor (1995) (5)
An Industrial Application of a System Engineering Process Integrating Model-Driven Architecture and Model Based Design (2012) (5)
Synthesis of Multilevel Boolean Networks (2010) (5)
A low-power mixed-signal baseband system design for wireless sensor networks (2005) (5)
Mixed-Level Fault Coverage Estimation (1986) (5)
Security Threats in Cyber-Physical Systems (2017) (5)
Randomized Algorithms for Platform-based Design (2005) (5)
Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures (2020) (5)
A Hierarchical State-Machine-Based Framework for Platoon Manoeuvre Descriptions (2021) (5)
Using the Minimum Description Length Principle to Infer Reduced Ordered Decision Graphs (1996) (5)
Integrated control-implementation design (2002) (5)
Analytical modeling and optimization of duty-cycles in preamble-based IEEE 802.15.4 wireless sensor networks (2009) (5)
Binary and multi-valued SPFD-based wire removal in PLA networks (2000) (5)
A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks (2015) (5)
Communication and Co-Simulation Infrastructure for Heterogeneous System Integration (2006) (5)
Time-Domain Non-Monte Carlo Noise Simulation (1998) (5)
Augmenting Monte Carlo Dropout Classification Models with Unsupervised Learning Tasks for Detecting and Diagnosing Out-of-Distribution Faults (2019) (5)
Hardware and Software Representation, Optimization, and Co-synthesis for Embedded Systems (2000) (5)
Multi-source Few-shot Domain Adaptation (2021) (5)
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games (2018) (5)
Optimizing the Implementation of Communication in Synchronous Reactive Models (2008) (5)
State-Space Approach in Problem-solving Optimization (1973) (5)
Combining Top-down and Bottom-up approaches for ROBDD (1995) (5)
Idle speed controller synthesis using an assume-guarantee approach (2003) (5)
Physical Architectures of Automotive Systems (2008) (5)
Industrial control via application containers: Maintaining determinism in IAAS (2020) (5)
Techniques for time-domain analysis of l.s.i. circuits (1980) (5)
Models and Representations (1997) (5)
Enriching an analog platform for analog-to-digital converter design (2005) (5)
Optimized implementation of synchronous models on industrial LTTA systems (2014) (5)
A parallel iterative linear solver for solving irregular grid semiconductor device matrices (1994) (5)
Synthesis methods for field programmable gate arrays : Field programmable gate arrays (1993) (4)
A fast and robust exact algorithm for face embedding (1997) (4)
THUNDERBIRD: A COMPLETE STANDARD CELL LAYOUT SYSTEM. (1986) (4)
Complexity Reduction for the Design of Interacting Controllers (2007) (4)
A Software System for Optimization Based Interactive Computer-Aided Design (1981) (4)
Hybrid multi-rate control of the common-rail (2007) (4)
Homogeneous semantics preserving deployments of heterogeneous networks of embedded systems (2006) (4)
Architecture of field-programmable gate arrays : Field programmable gate arrays (1993) (4)
Gordian: Formal Reasoning-based Outlier Detection for Secure Localization (2020) (4)
Complex system verification (panel): the challenge ahead (1994) (4)
Some results on the complexity of Boolean functions for table look up architectures (1993) (4)
Fast Hardware-Software Co-simulation Using Software Synthesis and Estimation (1997) (4)
Idle Speed control - a Benchmark for Hybrid System Research1 (2006) (4)
From Relational Interfaces to Assume-Guarantee Contracts (2014) (4)
Composition Operators in Language Equations (2004) (4)
Modeling micro-controller peripherals for high-level co-simulation and synthesis (1997) (4)
Synthesis of Low Power NOC Topologies under Bandwidth Constraints (2006) (4)
A Generalized Scharfetter-Gummel Method to Eliminate Crosswind Effects (1991) (4)
Exploiting Uncertainties from Ensemble Learners to Improve Decision-Making in Healthcare AI (2020) (4)
Applying LTTA to guarantee flow of data requirements in distr ibuted systems using Controller Area Networks ∗ (2008) (4)
A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components (2018) (4)
Security-Aware Design for Cyber-Physical Systems (2017) (4)
Integrated electronics in the car and the design chain: evolution or revolution? (2005) (4)
Nonlinear Circuit Simulation in the Frequency-Domain (2003) (4)
Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems (2013) (4)
Voltage Regulation and Current Sharing in DC Microgrids With Different Information Scenarios (2022) (4)
A Study on Monetary Cost Analysis for Product-Line Architectures (2008) (4)
Multi-Objective Calibration of Microscopic Traffic Simulation for Highway Traffic Safety (2019) (4)
A routing-algorithm-aware design tool for indoor wireless sensor networks (2012) (4)
Performance Directed Synthesis (1995) (4)
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling (2003) (4)
Methods and Tools for Calculating the Flexibility of Automotive HW/SW Architectures (2012) (4)
Safety in Autonomous Driving: Can Tools Offer Guarantees? (2021) (4)
Idle speed controlߞA benchmark for hybrid system research (2006) (4)
SPFD-based wire removal in standard-cell and network-of-PLA circuits (2004) (4)
A semantic-driven synthesis flow for platform-based design (2006) (3)
Bdd partitioning for formal verification and synthesis of digital systems (1998) (3)
High Level CPU Microarchitecture Models Using Kahn Process Networks (3)
On optimization algorithms for engineering design problems with distributed constraints, tolerances and tuning (1978) (3)
A tractable ellipsoidal approximation for voltage regulation problems (2019) (3)
A new aggregation technique for the solution of large systems of algebraic equations [IC simulation] (1988) (3)
A performance-driven analog-to-digital converter module generator (1992) (3)
Linear programming for hazard elimination in asynchronous circuits (1994) (3)
Meta 2: Lingua Franca Design and Integration Language (2011) (3)
CPS: Significance, Challenges and Opportunities (2014) (3)
Analysis of the quantization noise effects on the SQNR behaviour in analog to digital conversion (1999) (3)
Correct and Efficient Implementations of Synchronous Models on Asynchronous Execution Platforms ∗ (2009) (3)
Demo Abstract: Distributed Control of a Swarm of Buildings Connected to a Smart Grid (2014) (3)
SPFD-based Wire Removal in a Network of PLAs (1999) (3)
Massive parallel computing: a solution of today's and tomorrow's device and process simulation problems? (1988) (3)
A Verification Technique for Gated Clock (1993) (3)
Sequential multi-valued network simplification using redundancy removal (1999) (3)
A Mobile Health System for Neurocognitive Impairment Evaluation Based on P300 Detection (2018) (3)
A design flow for the development, characterization, and refinement of system level architectural services (2007) (3)
Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts (2018) (3)
Automotive networks — Are new busses and gateways the answer or just another challenge? (2007) (3)
Multiple-Valued Logic Minimization (1984) (3)
Algorithms For Drift-diff-usion Device Simulation Using Massively Parallel Processors (1993) (3)
Automatic synthesis and layout of switched-capacitor filters (1988) (3)
Scene-aware Learning Network for Radar Object Detection (2021) (3)
Minimum cycle time of synchronous circuit with bounded delays (1992) (3)
Task response time optimization using cost-based operation motion (2000) (3)
Computer architecture issues in circuit simulation (1988) (3)
Hard real-time development environments (2005) (3)
Automated synthesis of asynchronous interface circuits (1993) (3)
Logic minimization for factored forms (1989) (3)
Synthesis of multi-level Boolean networks (2010) (3)
The State of ESL Design [Roundtable] (2008) (3)
AFRL-RZ-WP-TR-2011-2108 META II : LINGUA FRANCA DESIGN AND INTEGRATION LANGUAGE (2012) (3)
Hybrid Optimization Problems in Automotive Applications (1998) (3)
A Hierarchical Wireless Network Architecture for Building Automation and Control Systems (2011) (3)
Automatic Layout Of Switched-capacitor Fibers For Custom Applications (1988) (3)
Conservative approximations for heterogeneous design (2004) (3)
Composing hybrid systems (2008) (3)
Efficient Distribution of Triggered Synchronous Block Diagrams (2011) (3)
Equisolvability of series vs. controller's topology in synchronous language equations (2003) (3)
Modeling Minority Carrier Diffusion through Substrate in SMART Power ICs (2005) (3)
The Synthesis Methodology (1993) (3)
Platform-Based and Derivative Design (2005) (3)
Synthesizing FSMs According to Co-Büchi Properties (2005) (3)
Optimal printed circuit board ordering via hart‐nilsson‐raphael‐algorithm (1979) (2)
WHAT YOU NEED TO KNOW ABOUT HARDWARE/SOFTWARE CO-DESIGN (1998) (2)
Learning Concepts by Synthesizing Minimal Threshold Gate Networks (1991) (2)
Security-Aware Design for Cyber-Physical Systems: A Platform-Based Approach (2017) (2)
Hierarchical timing language. Technical Report UCB/EECS-2006-79 (2006) (2)
A GENERALIZED SELF‐SCATTERING TECHNIQUE FOR MONTE CARLO SIMULATION SUITABLE FOR SIMD ARCHITECTURES (1994) (2)
Minimization of Logic Functions using essential Signature Sets (1993) (2)
Negative thinking in search methods: application to unate covering (1997) (2)
Highlights of VLSI Research at Berkeley (1986) (2)
Towards automatic synthesis and verification of complex electronic systems (1991) (2)
A Top-Down, Constraint-Driven Design Methodology for Analog ICs (1997) (2)
Input encoding for minimum BDD size: theory and experiments (1998) (2)
8 DELAY MODELS AND EXACT TIMING ANALYSIS (2)
Using Ensemble Classifiers to Detect Incipient Anomalies (2020) (2)
Idle speed control of port‐injection engines via the polynomial equation approach (2007) (2)
Optimal Architecture Selection for an Aircraft Environmental Control System (2016) (2)
A Metric for Linear Temporal Logic (2018) (2)
The Berkeley synthesis project (1987) (2)
Special Issue on Advanced design methodologies in automotive control (2006) (2)
Challenges and Solutions in the Development of Automotive Systems (2009) (2)
Diagnosability of Nonlinear Circuits and Systems—Part I: The dc Case (1981) (2)
A new algorithm for the largest compositionally progressive solution of synchronous language equations (2007) (2)
Dynamic bound generation for constraint-driven routing (1995) (2)
Formal methods for embedded system design (2000) (2)
USE OF PERFORMANCE SENSITlVITIES IN ROUTING OF ANALOG CIRCUITS (1990) (2)
HW/SW Codesign of a Multiple Injection Driver Automotive Subsystem Using a Configurable System-on-Chip (2002) (2)
A structural approach to quasi-static schedulability analysis of communicating concurrent programs (2005) (2)
ODRE Workshop: Probabilistic Dynamic Hard Real-Time Scheduling in HPC (2019) (2)
An implicit formulation for exact BDD minimization of incompletely specified functions (1997) (2)
Diagnosability of Nonlinear Circuits and Systems—Part II: Dynamical Systems (1981) (2)
Optimization of analog IC test structures (1996) (2)
Optimized Selection of Wireless Network Topologies and Components via Efficient Pruning of Feasible Paths (2018) (2)
A software tool for the timing analysis of embedded software (2000) (2)
Three-Dimensional Monte Carlo Device Simulation for (1999) (2)
Proceedings of the Second International Conference on Embedded Software (2002) (2)
Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems (2014) (2)
Non-Deterministic Constraint Generation for Analog and Mixed-Signal Layout (1997) (2)
System Design in the Cyber-Physical Era (2017) (2)
IDLE SPEED CONTROL OF PORT-INJECTION ENGINES VIA THE POLYNOMIAL EQUATION APPROACH (2005) (2)
Challenges and opportunities for hybrid systems in the automotive design flow (2005) (2)
Class-wise Thresholding for Robust Out-of-Distribution Detection (2021) (2)
Nyquist data converter testing and yield analysis using behavioral simulation (1993) (2)
The Case for Intra-Vehicular Energy Harvesting Wireless Networks (2017) (2)
metroII (2013) (2)
The Quotient in Preorder Theories (2020) (2)
Harmonic Balance Theory (1990) (2)
Are Ensemble Classifiers Powerful Enough for the Detection and Diagnosis of Intermediate-Severity Faults? (2020) (2)
Macromodelling for the simulation of large scale analog integrated circuits (1988) (2)
Context-Specific Validation of Data-Driven Models (2018) (2)
Synchronous reactive communication: generalization, implementation, and optimization (2008) (2)
Compositionally Progressive Solutions of Synchronous Language Equations (2003) (2)
A Tool Integration Approach for Architectural Exploration of Aircraft EPS with Ptolemy II / Metro II (2013) (2)
Synthesis of On-Chip Interconnection Structures: From Point-To-Point Links to Networks-on-Chip (2006) (2)
Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems (1999) (2)
Class-wise Thresholding for Detecting Out-of-Distribution Data (2021) (1)
Finite State Machine Composition for Embedded Hardware/Software Trade-offs (1999) (1)
5 Conclusion and Future Work 4 Experimental Results (1995) (1)
Embedded system design specification: merging reactive control and data computation (2001) (1)
A Formal Approach for Optimizing Mapping in System Level Design (2008) (1)
Algorithms for Drift-Diffusion Device Simulation Using Massively Parallel Processors (Special Issue on 1993 VLSI Process and Device Modeling Workshop (VPAD93)) (1994) (1)
. " Sis: a System for Sequential Circuit Synthesis, " Report M92/41, A) Shallow Reconvergant Fanout A) Deep Reconvergant Fanout (1)
The importance of innovation in the economy of advanced countries (2005) (1)
RELAX: A new circuit simulator for large scale MOS integrated circuits (1988) (1)
Outage-Based Rate Maximization in CDMA Wireless Networks (2008) (1)
An exact input encoding algorithm for BDDs representing FSMs (1998) (1)
Taming Dr. Frankenstein: A primer on the challenges posed by cyber-physical systems (2012) (1)
Performance-Driven Compaction of Analog IC's (1995) (1)
Spatial and Temporal Cost Analysis on OSEK Implementations of Synchronous Reactive Semantics Preserving Communication Protocols (2008) (1)
Embedded systems education (panel session) (abstract only) (2000) (1)
Embedded code optimization via common control structure detection (1997) (1)
A General Approach to Learning in Problem-Solving (1976) (1)
The Future Design Scenario and the Sea Initiative (2004) (1)
Handbook of Hybrid Systems Control: Automotive control (2009) (1)
Chapter 5 UML AND PLATFORM-BASED DESIGN (2003) (1)
On-Chip Networks Modeling and Simulation (2006) (1)
Functional clock schedule optimization (1995) (1)
Massively Parallel Algorithms for Three-Dimensional Device Simulation (1990) (1)
Computation of Sequential Flexibility in Netlists by Windowing (2012) (1)
How Hard is Two-Level Logic Minimization: an Addendum to Garey & Johnson (2005) (1)
Massively Parallel Computation for Three-Dimensional Monte Carlo Semiconductor Device Simulation (2007) (1)
Three-Dimensional Monte Carlo Device Simulation for Massively Parallel Architectures (1999) (1)
4 Preliminary Experimental Results (1)
An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC Platforms (2002) (1)
1,000 electronic devices per living person: Dream or nightmare? (2011) (1)
Sequential Synthesis with Co-Büchi Specifications (2006) (1)
Deciding state reachability for large FSMs (1996) (1)
Special Issue on Advanced design methodologies in automotive control (2006) (1)
Testing Strategies for the 1990's (Panel Abstract) (1990) (1)
Conclusions and Future Research Opportunities (2000) (1)
“Fresh air”: The emerging landscape of design for networked embedded systems (2007) (1)
Symbolic Techniques for Optimal Scheduling 1 (1)
The Espresso-II Minimization Loop and Algorithms (1984) (1)
1,000 electronic devices per living person: Dream or nightmare? (2011) (1)
Online computation of polytopic flexibility models for demand shifting applications (2017) (1)
Chapter 23 MODELING TECHNIQUES IN DESIGN-BY- REFINEMENT METHODOLOGIES (2002) (1)
Scheduling reactive task graphs in embedded control systems (2001) (1)
Comments on 'Simulation of nonlinear circuits in the frequency domain' [with reply] (1989) (1)
An edge‐oriented adjacency list for undirected graphs (1979) (1)
Hybrid Systems Applications: An Oxymoron? (2001) (1)
Generation and Handling of Non-Deterministic Parasitic Constraints in Analog and Mixed-Signal IC Layout Synthesis (1996) (1)
Ensuring data integrity in sensor-based networked systems (2005) (1)
SERAN: a Protocol for Clustered WSNs in Industrial Control and Automation (2009) (1)
Design and Prototyping of Hard Real Time Systems (1990) (1)
Gordian SMT : Untangling Ranging Attacks in N o isy Sensor Networks for Secure Localization (2017) (1)
A new procedure for exact ring closure (2000) (1)
A New Algorithm for Reachability Analysis of Hybrid Automata (2003) (1)
Cube-packing and two-level minimization (1993) (1)
The Context for Platform-based Design (2002) (1)
Synthetic Data in DC Microgrids: Label Creation for Ensemble Learning for Fault Isolation (2022) (1)
System level design of embedded controllers: knock detection, a case study in the automotive domain (2003) (1)
Security-Aware Design for V2V Communication (2017) (1)
Time-Domain Methods (1990) (1)
Guest Editorial Special Issue on Automotive Embedded Systems (2010) (1)
A Delay Metric for RC Circuits Based on the Weibull Distribution (2004) (1)
Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms (2015) (1)
Source-Level TimingAnnotation andSimulation fora Heterogeneous Multiprocessor (2008) (1)
Chain Closure: A Problem in Molecular CAD (1994) (1)
Grand challenges in embedded systems (2005) (1)
A novel framework for solving the state assignment problem for event-based specifications (1992) (1)
THEORETICAL AND COMPUTATIONAL ASPECTS OF THE OPTIMAL DESIGN CENTERING , TOLERANCING AND TUNING (1)
Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning (2022) (1)
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design (2023) (1)
Education panel: Designing the always connected car of the future (2010) (1)
Loosely Time-Triggered Architectures and Middleware based on Communication-by-Sampling: MoCC and Properties (2007) (1)
Contracts for Correct Composition and System-Level Design of Analog and Mixed-Signal Circuits (2011) (1)
COSI: A Public-Domain Design Framework for the Design of Interconnection Networks (2008) (1)
Hardware/Software Co-Synthesis and Estimation (2000) (1)
PROGRAMMABLE PLATFORM CHARACTERIZATION FOR SYSTEM LEVEL PERFORMANCE ANALYSIS (2006) (1)
Grand challenges in embedded systems (2005) (1)
System Level Design of Embedded Systems (2000) (1)
. " Sis: a System for Sequential Circuit Synthesis, " Report M92/41, A) Shallow Reconvergant Fanout A) Deep Reconvergant Fanout (1)
. " Sis: a System for Sequential Circuit Synthesis, " Report M92/41, A) Shallow Reconvergant Fanout A) Deep Reconvergant Fanout (1)
Stochastic Analysis of Distributed Real-time Automotive Systems (2009) (1)
Exploitation of Flexibility in Sequential Networks (2012) (1)
Session details: The future car: technology, methods and tools (automotive systems day) (2008) (0)
Embedded Software Design for Real-Time Applications (2001) (0)
Implementing Harmonic Balance (1990) (0)
All things are connected (2010) (0)
Bottom-Up Verification (1997) (0)
Fabric1 — Fabric Cell Based Design (2001) (0)
Generalizing Fault Detection Against Domain Shifts Using Stratification-Aware Cross-Validation (2020) (0)
Approximating Behaviors in Embedded System Design (2008) (0)
Hardware/Software Implementation of Embedded Systems for System Level Co-simulation in VHDL (2017) (0)
Accelerating WR Convergence (1987) (0)
Models for thyristors and diode in digital simulations (1979) (0)
An Engineering Change Methodology Using Simulation Relations. (1999) (0)
The Signal Transition Graph Model (1993) (0)
Architectural Mapping and Optimization (1997) (0)
Security-Aware Design Methodology (2017) (0)
Generalized Prime Implicants (1997) (0)
Function / Architecture Optimizations (2000) (0)
Hardware Modeling in VHDL for Mixed Hardware / Software System Level Co-simulation of Embedded Systems (1998) (0)
A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving (2020) (0)
Accurate Automatic Timing Characterization of Static CMOS (2017) (0)
Automated Design of Chiplets (2023) (0)
FSM-Based Security-Aware Design (2017) (0)
A SYNTHESIS AND OPTIMIZATION PROCEDURE FOR FULLY TESTABLE SEQUENTIAL MACHINES (2015) (0)
Noise Analysis of Stable Oscillators (2004) (0)
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies (2023) (0)
Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications (2017) (0)
Session details: Lunch-time keynote (automotive systems day) (2008) (0)
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation (2022) (0)
Computer-aided design of VLSI circuits and systems (1985) (0)
Introduction: trends and directions in microelectronics (Guest Editors' Introduction) (2003) (0)
Transactions on Cyber-Physical Systems 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 (2016) (0)
Synthesis of Strategies for Games (2012) (0)
The cyber-physical immune system: work-in-progress (2021) (0)
Remembering Richard [A. Richard Newton] (2010) (0)
Modeling Techniques in Design-by-Refinement Methodologies ( Extended Abstract ) (2018) (0)
ANALYSIS OF COMBINATIONAL CYCLES IN SEQUENTIAL CIRCUITSThomas (1996) (0)
Computation of Flexibility in Sequential Networks (2012) (0)
Parallel and Distributed Three-Dimensional Monte Carlo Semiconductor Device Simulation (1999) (0)
Simulation and Behavioral Modeling (1997) (0)
Work-in-Progress: The Cyber-Physical Immune System (2021) (0)
Embedded systems education (panel abstract). (2000) (0)
Implementation of Automata Manipulations (2012) (0)
Session details: Physical architectures (automotive systems day) (2008) (0)
Encodeability of GPIS (1997) (0)
Platform-based network design (with emphasis on wireless networks) (2004) (0)
The Design For Testability Methodology (1993) (0)
Extending BALM to Synchronous Equations Over co-Büchi Specifications (2012) (0)
Session details: Panel (2010) (0)
Design report: '97 Paris forum - Raise your sights to the system level (1997) (0)
My 50-Year Journey from Punched Cards to Swarm Systems (2019) (0)
Hypercontracts (2021) (0)
Fast Instruction Cache Simulation for Hardware/Software Co-Design (Special Section on VLSI Design and CAD Algorithms) (1999) (0)
Noise Analysis of Nonautonomous Circuits (2004) (0)
A Parameter-based Mapping Scheme for Behavior/Architecture Co-Design (1999) (0)
REL/~ A ~ CIRCl/IT ~TOR FOR LARGE SCALE MOS IN'rEGRA'rgD (1982) (0)
The Implementation of WR (1987) (0)
Encoding Symbolic Inputs for Multi-Level Logic Implementation (2015) (0)
36 Fault Tolerance in Wireless Sensor Networks (2004) (0)
Behavioral Modeling and Simulation of Phase-Locked Loops (1998) (0)
Analysis of DSP-kernel software by implicit cache simulation (2001) (0)
Noise in Free Running Oscillators (1998) (0)
-12 - Unidraw: a Framework for Building Domain-specific Graphical (1994) (0)
Asymptotic Model Matching for Finite State Machines 1 (1998) (0)
Looking into the Crystal Ball: From Transistors to the Smart Earth (2014) (0)
Reachability computation for hybrid systems with (2008) (0)
The Polis Codesign Framework (2001) (0)
Function / Architecture Optimization and Co-Design Flow (2000) (0)
Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation (2021) (0)
An Algorithm for Improving, Part it ions of Pin-Limited Mult i-Chip Systems (1993) (0)
From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology (2022) (0)
Parallel and Distributed Three-Dimensional Monte Carlo (1999) (0)
Synthesis of Externally Synchronous , Internally Asynchronous Circuits (1999) (0)
Testability Solutions: Who Really Wants Them? (Panel Abstract) (1991) (0)
What Can Boolean Networks Learn ? (1992) (0)
Qualitative analysis, model checking, and controller synthesis of hybrid systems (2000) (0)
Panel: the heritage of Mead & Conway: what has remained the same, what was missed, what has changed, what lies ahead (2013) (0)
IEEE GLOBECOM 2009 Symposiums Program (2009) (0)
Encoding for Synthesis (1997) (0)
Wire Removal in a Network of Plas (2001) (0)
Highlight of VLSI at research Berkeley (1986) (0)
DA algorithms in non-EDA applications (panel): how universal are our techniques (1994) (0)
Multi-Valued Network Compaction using Redundancy Removal (2017) (0)
Constraint-Driven Layout Synthesis (1997) (0)
A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components (2016) (0)
Overview of Existing Techniques (2004) (0)
Foundations of Hybrid and Embedded Software Systems (2003) (0)
Synchronous Equivalence: Formal Methods for Embedded Systems (2000) (0)
Advances in encoding for logic synthesis. (2000) (0)
7. CONCLUSION (2002) (0)
Interfacing to External Hardware and Software (1997) (0)
Mixed Frequency-Time Method (1990) (0)
Electronics: The New Differential in the Automotive Industry (2007) (0)
A New Exact Minimizer for Two-Level (1993) (0)
Editor's foreword (2005) (0)
Design Methods for Reactive Real-Time Systems CoDesign (2016) (0)
Models of IP's for automotive virtual integration platforms (2002) (0)
Challenges and Opportunities for System Theory in Embedded controller Design (2006) (0)
Performance Analysis of Synchronous Models Implementations on Loosely Time-Triggered Architectures (2011) (0)
Session details: Methods, tools and standards for the analysis and evaluation of modern automotive architectures (automotive systems day) (2008) (0)
Ariadne: a library for computing with hybrid automata (2005) (0)
The next-generation HDL (panel) (1997) (0)
Security-Aware Mapping for TDMA-Based Systems (2017) (0)
Implicit Minimization of GPIS (1997) (0)
Security Mechanisms for CAN Protocol (2017) (0)
Overview of Noise Simulation for Nonlinear Electronic Circuits (1998) (0)
Comparing Innovation ecosystems (2019) (0)
Empirical Learning of Boolean Functions Using Two-Level Logic Synthesis (1991) (0)
DELAY FAULT COVERAGE , TEST SET SIZE , AND PERFORMANCE TRADEOFFS by (2016) (0)
Exploring Computation and Communication Trade-offs in the Design of Automatic Video Surveillance Networks (2008) (0)
Co-Design of a Fault-Tolerant Communication Protocol — A Case Study (2008) (0)
Graph-Based Security-Aware Design (2017) (0)
Metropolis : A Development Environment to Facilitate Platform-Based Design (2004) (0)
Implicit Formulation of Unate Covering (1997) (0)
Conclusions and Open Problems (2012) (0)
Iterative Node Deployment in an Unknown Environment (2009) (0)
On the decomposition of large-scale systems of linear algebraic equations (1979) (0)
Data Flow and Control Optimizations for Hardware and Software Co-synthesis in Embedded Systems (1999) (0)
Computation of Sequential Flexibility in Networks of FSMs by Windowing (2012) (0)
A Multi-layer Area Routing Methodology using a Boolean Satisfiability based Router (2017) (0)
VLSI Layout Fabrics (2001) (0)
Minimization of GPIS (1997) (0)
Refining Communication Analysis (2001) (0)
To Be Certain about Uncertainties : Probabilistic Model Checking with Uncertainties (2012) (0)
W-BOOM : a Framework for Automatic Management of Wireless Sensor Networks in Building Automation and Control (2009) (0)
A Survey of Relevant Literature (2012) (0)
Equations Over ω-Automata (2012) (0)
Various aspects of the scaling problem in optimization- based computer-aided design (1982) (0)
Taxonomy and Theory of Behaviors (1997) (0)
State Minimization of Non-Deterministic FSMs (1997) (0)
Validating Deep Sub-Micron Effects (2001) (0)
Overview of the Design Methodology (1993) (0)
Equations Over Finite State Machines (2012) (0)
Codesign Finite State Machines (2001) (0)
Panel Session - The Future Car: Technology, Methods and Tools (2008) (0)
Equations Over Languages and Finite Automata (2012) (0)
Floor planning systems (panel session) (1986) (0)
An Efficient Coefficient-Partitioning Algorithm for Realizing Low-Complexity Digital Filters (2005) (0)
Correction to "Multiple Constrained Folding of Programmable Logic Arrays: Theory and Applications" (1984) (0)
Selected papers on computer-aided design of very large scale integrated circuits (1987) (0)
The Software Package BALM (2012) (0)
Mapping Combinational Logic (1995) (0)
Formal Verification of CFSM Specifications (2001) (0)
Video Driver Design Example (1997) (0)
Noise Analysis of Circuits with Multitone Inputs (2004) (0)
Contract-Based Specification Refinement and Repair for Mission Planning (2022) (0)
From Interface Automata to Hypercontracts (2022) (0)
A Multiple-level Logic Optimization System. Ieee Transactions on Com- Karon] Kevin Karplus. Using If-then-else Dags for Multi-levellogic Minimization. Ieee Trans- Actions on Computer-aided Design of Integrated Circuits and Systems, in Preparation. Km90] Kevin Karplus and Dipen Moitra. Using Dominato (1989) (0)
Guest Editors' Introduction: Trends and Directions in Microelectronics (2003) (0)
Design Methods and Tools for Application Specific Integrated Circuits (1989) (0)
Language Solving Using Simulation Relations (2012) (0)
Remembering Richard [Obituary, Richard A.Newton] (2007) (0)
Comparing Innovation ecosystems (2019) (0)
Decomposition and Unate Functions (1984) (0)
Gordian (2020) (0)
Embedded software : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings (2002) (0)
EDA meets biology! The bumpy road ahead [Perscetives] (2012) (0)
Correction to "Optimal State Assignment for Finite State Machines" (1986) (0)
Metamodels in Europe: Languages, Tools, and (2009) (0)
Compositional Techniques for Mixed Bottom-Up/Top-Down (1999) (0)
Static Equivalence Analysis (2001) (0)
Ages of Eda the Tides of Eda (0)
Is“Network” the Next “Big Idea” in Design? (2006) (0)
DAC Turns 40! (2003) (0)
Perturbation Analysis of Stable Oscillators (2004) (0)
Test for Reliability for Mission Critical Applications (2021) (0)
Performance estimation of data-flow applications for IP-based system design (1998) (0)
Reasoning about the Trends and Challenges of Engineering Design Automation (2007) (0)
Source 2 Feature 1 (0)
Current Source Digital-To-Analog Converter Design Example (1997) (0)
Interface Synthesis and the Real-Time Operating System (1997) (0)
Σ-Δ Analog-To-Digital Converter Design Example (1997) (0)
Fundamental-mode Asynchronous Designs by Detecting the Hazards 4.2.2 Multi-input Change Dynamic Logic Hazard Analysis of Multi-level Expressions (0)
Trace driven logic synthesis-application to power minimization (1997) (0)
Parallel WR Algorithms (1987) (0)
System-ona-Chip-A Platform Perspective (2002) (0)
The Circuit Simulation Problem (1987) (0)
A Methodology for Robust System-Level Design: Theoretical Foundations and Preliminary Case-Study (2009) (0)
Comparing Innovation ecosystems (2019) (0)
Chapter # EMBEDDED SYSTEM DESIGN USING UML AND PLATFORMS (2001) (0)
Session details: Software components for reliable automotive systems (automotive systems day) (2008) (0)
Co-synthesis for Embedded Systems (2017) (0)
Table 1: Redesign 5 Implementation and Results Figure 4: Multi-level Logic Minimization 3.2 Multi-level Logic Minimization 4 Logic Synthesis from the Results of Boolean Unication (1991) (0)
Mapping Sequential Logic (1995) (0)
The State Encoding Methodology (1993) (0)
DA Algorithms in Non-EDA Applications: How Universal Are Our Techniques? (Panel). (1994) (0)
Fabric3 — Network of PLA Based Design (2001) (0)
Models of Computation and Simulation of Hybrid Systems (2000) (0)
AVDM: A hierarchical command-and-control system architecture for cooperative autonomous vehicles in highways scenario using microscopic simulations (2021) (0)
Permissible Behaviors in a Network of FSMs (1997) (0)
Evaluation of trade-offs in the design of embedded systems via co-simulation (2007) (0)
Trends in electronic systems (1996) (0)
Handbook of Bioelectronics: Linking the cyber and biological worlds: the Ensemble is the Function (2015) (0)
Reasoning about the Trends and Challenges of Engineering Design Automation (2007) (0)
Embedded Software Design for Real-Time Applications (2001) (0)
Computer-aided design methods for application-specific integrated circuits (1987) (0)
andling model uncertainty in model predictive control for energy fficient buildings (0)
Massively parallel device simulation using irregular grids (1994) (0)
RF Interfaces SIMD Core 1 SIMD Core 2 SIMD Core 3 SIMD Core 4 Bus Bridge Control Processor Local Local Local Local I & D SIMD Core Controller PE 1 PE 2 PE (2007) (0)
A Mentor and a Role Model: A Tribute to Emilio Gatti (2012) (0)
SPECIAL SECTION ON ADVANCES IN ELECTRONICS SYSTEMS SIMULATION Modelling and simulation techniques for highly integrated, low-power wireless sensor networks (2007) (0)
Challenges and Opportunities for System Theory in Embedded Controller Design (2006) (0)
The future car: technology, methods and tools: panel session (2008) (0)
The future car: technology, methods and tools: panel session (2008) (0)
6. Conclusions 7. References (0)
My 50-Year Journey from Punched Cards to Swarm Systems (2019) (0)
Sensor Networks and Low Power Coordination in Wireless Ad-hoc Networks (2003) (0)
Discrete and continuous structural properties for observability∗ (2004) (0)
Automotive electronics: steady growth for years to come! (2006) (0)
State Minimization of PNDFSMs in Networks of FSMs (1997) (0)
HW and SW in embedded system design: loveboat, shipwreck, or ships passing in the night (1999) (0)
Discretized WR Algorithms (1987) (0)
Generation of a minimal STG from an implicit cover (1996) (0)
Randomized Sleeping for Energy Conservation and Robustness in Dense Sensor Networks (2003) (0)
My 50-Year Journey from Punched Cards to Swarm Systems (2019) (0)
High performance verification algorithms (1996) (0)
Computationally Less Intensive Alternative to Model Predictive Control for Energy Efficient Building HVAC System (2013) (0)
Guest Editorial: Special Issue on System Level Design of Automotive Electronics/Software (2013) (0)
Learning to Generate All Feasible Actions (2023) (0)
Embedded Design for Automotive Applications (2007) (0)
Fundamental Operations in BALM (2012) (0)
ERROR-TOLERANT MULTI-MODAL SENSOR FUSION ( SHORT PAPER ) (0)
Manipulations of FSMs Represented as Sequential Circuits (2012) (0)
Editorial (2005) (0)
Hardware/Software Codesign for Image Processing (1998) (0)

This paper list is powered by the following services:

Other Resources About Alberto Sangiovanni-Vincentelli

en.wikipedia.org

What Schools Are Affiliated With Alberto Sangiovanni-Vincentelli?

Alberto Sangiovanni-Vincentelli is affiliated with the following schools:

Alberto Sangiovanni-Vincentelli's Academic­Influence.com Rankings

Alberto Sangiovanni-Vincentelli's Degrees

Why Is Alberto Sangiovanni-Vincentelli Influential?

Alberto Sangiovanni-Vincentelli's Published Works

Published Works

Other Resources About Alberto Sangiovanni-Vincentelli

What Schools Are Affiliated With Alberto Sangiovanni-Vincentelli?

Alberto Sangiovanni-Vincentelli's AcademicInfluence.com Rankings