Concepedia

Simon Bliudze

SB

Statistics

Publications

13

Citations

527

H-Index

12

Active since

2007

Affiliations

École Polytechnique Fédérale de Lausanne(Current)

Université Grenoble Alpes

American University of Beirut

Centre National de la Recherche Scientifique

Simon Bliudze is an author at École Polytechnique Fédérale de Lausanne specializing in engineering, systems engineering, and formal methods.

Top concepts

EngineeringFormal MethodsSystems EngineeringSoftware DesignFormal VerificationComputer ScienceDesignSoftware AnalysisAutomated ReasoningVerification

Publications per year

2007–2018

13

Publications

13

The Algebra of Connectors—Structuring Interaction in BIP

Simon Bliudze, Joseph Sifakis · IEEE Transactions on Computers · 2008 · 146 citations · Full text

Applying Model Checking to Industrial-Sized PLC Programs

Borja Fernández Adiego, Dániel Darvas, Enrique Blanco Viñuela et al. · IEEE Transactions on Industrial Informatics · 2015 · 75 citations · Full text

Engineering, Verification, Computer-aided Verification +21

The algebra of connectors

Simon Bliudze, Joseph Sifakis · 2007 · 61 citations · Full text

Formal Specification, Engineering, Abstract Algebra +13

Early validation of system requirements and design through correctness-by-construction

Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros et al. · Journal of Systems and Software · 2018 · 36 citations · Full text

Early Validation, Engineering, Requirement Engineering +8

A general framework for architecture composability

Paul C. Attie, Eduard Baranov, Simon Bliudze et al. · Formal Aspects of Computing · 2015 · 33 citations · Full text

1–5 of 13