Concepedia

Stavros Tripakis

ST

Statistics

Publications

80

Citations

3.9K

H-Index

39

Active since

1998

Affiliations

University of California, Berkeley(Current)

Aalto University

Cadence Design Systems (United States)

Centre National de la Recherche Scientifique

Stavros Tripakis is an author at University of California, Berkeley specializing in computer science, computing, and computer engineering.

Publications per year

1998–2020

80

Publications

80

Conformance testing for real-time systems

Moez Krichen, Stavros Tripakis · Formal Methods in System Design · 2009 · 162 citations

Computing, Computer Engineering, Computer Science +9

From simulink to SCADE/lustre to TTA

Paul Caspi, Adrian Curic, Aude Maignan et al. · ACM SIGPLAN Notices · 2003 · 156 citations

Engineering, Computer Engineering, Computer Science +16

Translating discrete-time simulink to lustre

Stavros Tripakis, Christos Sofronis, Paul Caspi et al. · ACM Transactions on Embedded Computing Systems · 2005 · 152 citations

Engineering, Automotive Engineering, Computer Science +17

Analysis of Timed Systems Using Time-Abstracting Bisimulations

Stavros Tripakis, Sergio Yovine · Formal Methods in System Design · 2001 · 150 citations

Computing, Computer Engineering, Computer Science +12

Cyber-physical system design contracts

Patricia Derler, Edward A. Lee, Stavros Tripakis et al. · 2013 · 119 citations

Engineering, Design, Systems Engineering +11

1–5 of 80