( en | de | ru )

 

Disambiguation of "Balarin, Felice"

Author of the publication

copydeleteadd this publication to your clipboard
A formal approach to system level design: metamodels and unified design environments.

, , , and . MEMOCODE, page 155-163. IEEE Computer Society, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Manfred Balarin

Manfred Balarin

Manfred Balarin

Marion Balarin

Manfred Balarin

 

Other publications of authors with the same name

Modeling and Designing Heterogeneous Systems., , , , , and . Concurrency and Hardware Design, volume 2549 of Lecture Notes in Computer Science, page 228-273. Springer, (2002)Verification Approach of Metropolis Design Framework for Embedded Systems., , and . Int. J. Parallel Program., 34 (1): 3-27 (2006)Worst-case analysis of discrete systems based on conditional abstractions.. CODES, page 115-119. ACM, (1999)Automatic Abstraction for Worst-Case Analysis of Discrete Systems.. DATE, page 494-501. IEEE Computer Society / ACM, (2000)Assertion-based power/performance analysis of network processor architectures., , , , , and . HLDVT, page 155-160. IEEE Computer Society, (2004)Task scheduling with RT constraints., , and . DAC, page 483-488. ACM, (2000)Schedule Validation for Embedded Reactive Real-Time Systems., and . DAC, page 52-57. ACM Press, (1997)Automatic trace analysis for logic of constraints., , , and . DAC, page 460-465. ACM, (2003)An Iterative Approach to Language Containment., and . CAV, volume 697 of Lecture Notes in Computer Science, page 29-40. Springer, (1993)HSIS: A BDD-Based Environment for Formal Verification., , , , , , , , , and 3 other author(s). DAC, page 454-459. ACM Press, (1994)