Concepedia

Christos Sofronis

CS

10

Publications

678

Citations

10

H-Index

2003

Active since

Affiliations

Verimag(Current)

Laboratoire d’Informatique Fondamentale de Marseille

University of Trento

Cadence Design Systems (United States)

Christos Sofronis is an author at Verimag specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceSystem SoftwareComputer EngineeringProgram AnalysisComputer ArchitectureFormal MethodsParallel ComputingFormal VerificationSoftware Engineering

Publications per year

2003–2014

10

Publications

10

From simulink to SCADE/lustre to TTA

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

Emulation Technique, Engineering, Computer Architecture +16

Translating discrete-time simulink to lustre

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

Engineering, Hardware Verification Language, Computer Architecture +19

Defining and translating a "safe" subset of simulink/stateflow into lustre

Norman Scaife, Christos Sofronis, P. Caspi et al. · 2004 · 111 citations

Engineering, Stateflow Designs, Verification +18

From simulink to SCADE/lustre to TTA

Paul Caspi, Adrian Curic, Aude Maignan et al. · 2003 · 67 citations

Emulation Technique, Engineering, Computer Architecture +16

A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling

Christos Sofronis, Stavros Tripakis, Paul Caspi · 2006 · 48 citations

Multiple Tasks, Engineering, Computer Architecture +19

Rows per page

1–5 of 10