Searching for authors named "Felice Balarin" – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
Automatic Abstraction for Worst-Case Analysis of Discrete Systems
- … in the domain of signatures, so that it can be precisely deter- Felice Balarin Cadence Berkeley Laboratories 1…
- Add To MetaCart
-
Schedule Validation for Embedded Reactive Real-Time Systems
- … and/or a fee." DAC 97, Anaheim, California (c) 1997 ACM 0-89791-920-3/97/06 ..$3.50 Felice Balarin…
- Cited by 7 (3 self) – Add To MetaCart
-
Logic of constraints: A quantitative performance and functional constraint formalism
- … Quantitative Performance and Functional Constraint Formalism Xi Chen, Harry Hsieh, Felice Balarin, and Yosinori…
- Cited by 1 (0 self) – Add To MetaCart
-
SIMULATION TRACE VERIFICATION FOR QUANTITATIVE CONSTRAINTS
- … , Felice Balarin 2 , Yosinori Watanabe 2 1 University of California, Riverside, CA, USA 2 Cadence Berkeley…
- Add To MetaCart
-
Equivalences for fair kripke structures
- …Equivalences for fair Kripke structures Adnan Aziz Vigyan Singhal Felice Balarin Robert K. Brayton…
- Cited by 11 (2 self) – Add To MetaCart
-
Synchronous Equivalence for Embedded Systems: A Tool for Design Exploration
- …, Berkeley { hahsieh, alberto } @ eecs.berkeley. edu Felice Balarin Luciano Lavagno Cadence Berkeley…
- Cited by 2 (2 self) – Add To MetaCart
-
Synchronous Approach to the Functional Equivalence of Embedded System Implementations
- … Hsieh, Member, IEEE, Felice Balarin, Member, IEEE, Luciano Lavagno, Member, IEEE, and Alberto…
- Cited by 4 (0 self) – Add To MetaCart
-
Constraints assisted modeling and validation in metropolis framework
- … , Xi Chen 3 , Felice Balarin 4 , Alberto Sangiovanni-Vincentelli 1 Abstract— This paper focuses…
- Cited by 1 (1 self) – Add To MetaCart
-
Synthesizing Interacting Finite State Machines
- …Synthesizing Interacting Finite State Machines Adnan Aziz 1 Felice Balarin 2 Robert K…
- Cited by 7 (6 self) – Add To MetaCart
-
Concurrent Execution Semantics and Sequential Simulation Algorithms for the Metropolis Meta-Model
- …-Model Felice Balarin , Luciano Lavagno , Claudio Passerone ¡ , Alberto Sangiovanni-Vincentelli ¢ , Yosinori…
- Cited by 5 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
