C
Christos Sofronis
Publications - 9
Citations - 302
Christos Sofronis is an academic researcher. The author has contributed to research in topics: Formal verification & Model checking. The author has an hindex of 5, co-authored 9 publications receiving 282 citations.
Papers
More filters
Book ChapterDOI
Multiple Viewpoint Contract-Based Specification and Design
Albert Benveniste,Benoît Caillaud,Alberto Ferrari,Leonardo Mangeruca,Roberto Passerone,Christos Sofronis +5 more
TL;DR: The mathematical foundations and the design methodology of the contract-based model developed in the framework of the SPEEDS project, a design methodology in which distributed designers develop different aspects of the overall system, in a concurrent but controlled way, are presented.
Proceedings ArticleDOI
A contract-based formalism for the specification of heterogeneous systems
Luca Benvenuti,Alberto Ferrari,Leonardo Mangeruca,Emanuele Mazzi,Roberto Passerone,Christos Sofronis +5 more
TL;DR: This work presents the mathematical formalism and the verification methodology of the contract-based model developed in the framework of the SPEEDS project, and supports the notion of ldquorich componentrdquo where functional and non-functional aspects of the system can be considered and combined.
Book ChapterDOI
Parallel NuSMV: a NuSMV extension for the verification of complex embedded systems
TL;DR: A tool based on the NuSMV model checker that integrates the ManySAT parallel SAT solver that allows for an average speedup of an order of magnitude or more on industry-level size models.
Proceedings ArticleDOI
BCL: A compositional contract language for embedded systems
TL;DR: A graphical and text-based language for requirement definition is proposed that allows designers to incrementally and hierarchically construct contract specifications for system components by composing a set of simple and intuitive patterns.
Proceedings ArticleDOI
Monitor-based run-time contract verification of distributed systems
Orlando Ferrante,Roberto Passerone,Alberto Ferrari,Leonardo Mangeruca,Christos Sofronis,Massimiliano D’Angelo +5 more
TL;DR: This work extends traditional contract verification methods to target distributed systems, which require an asynchronous communication paradigm and uses a pattern-based language for requirement definition, and generates a set of contract monitors implemented in the Simulink framework to observe the underlying system execution and flag violating behaviors.