Simon Bliudze - RankMe

77 papers A 2B 7C 10Misc 2Journal 27Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	A Hybrid Modelling Approach for Hierarchical Control of Structured CPSs. Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday Simon Bliudze, Sophie Cerf, Olga Kouchnarenko
2025	—	`conf`	Adaptable TeaStore. WACA@DisCoTec Simon Bliudze, Giuseppe De Palma, Saverio Giallorenzo, Ivan Lanese, Gianluigi Zavattaro, Brice Arleon Zemtsop Ndadji
2025	—	`conf`	AdaptiFlow: An Extensible Framework for Event-Driven Autonomy in Cloud Microservices. WACA@DisCoTec Brice Arleon Zemtsop Ndadji, Simon Bliudze, Clément Quinton
2025	—	`conf`	Fancy Some Chips for Your TeaStore? Modeling the Control of an Adaptable Discrete System. WACA@DisCoTec Anna Gallone, Simon Bliudze, Sophie Cerf, Olga Kouchnarenko
2024	B	`conf`	Composing Run-Time Variability Models. SEFM Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko
2024	—	`book`	Contributions to the Rigorous Design of Concurrent Component-Based Software and Systems Using BIP. Simon Bliudze
2024	—	`conf`	Enabling Behaviour Tree Verification via a Translation to BIP. FACS Qiang Wang, Huadong Dai, Yongxin Zhao, Min Zhang, Simon Bliudze
2024	J	`jnl`	Towards Exogenous Coordination of Concurrent Cloud Applications. Int. J. Softw. Eng. Knowl. Eng. Trinh Le-Khanh, Hoang-Gia Nguyen, Simon Bliudze, Philippe Merle
2023	B	`conf`	JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. FASE Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina
2023	C	`conf`	Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems. COORDINATION Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko
2022	J	`jnl`	SAT-Based Extraction of Behavioural Models for Java Libraries with Collections. CoRR Larisa Safina, Simon Bliudze
2022	—	`conf`	Safe Dynamic Reconfiguration of Concurrent Component-based Applications. ICSA Companion Salman Farhat, Simon Bliudze, Laurence Duchien
2021	—	`ed.`	9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021 FormaliSE@ICSE Simon Bliudze, Stefania Gnesi, Nico Plat, Laura Semini
2021	J	`jnl`	On methods and tools for rigorous system design. Int. J. Softw. Tools Technol. Transf. Simon Bliudze, Panagiotis Katsaros, Saddek Bensalem, Martin Wirsing
2020	C	`ed.`	Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings COORDINATION Simon Bliudze, Laura Bocchi
2020	J	`jnl`	Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP. Acta Informatica Eduard Baranov, Simon Bliudze
2020	J	`jnl`	Expressiveness of component-based frameworks: a study of the expressiveness of BIP. Acta Informatica Eduard Baranov, Simon Bliudze
2020	J	`jnl`	Preface to the VECoS 2018 special issue of ISSE. Innov. Syst. Softw. Eng. Mohamed Faouzi Atig, Simon Bliudze
2020	J	`jnl`	Robust Software Development for University-Built Satellites. CoRR Anton B. Ivanov, Simon Bliudze
2020	J	`jnl`	SMT-based generation of symbolic automata. Acta Informatica Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang
2019	J	`jnl`	Rigorous design of cyber-physical systems - Linking physicality and computation. Softw. Syst. Model. Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel
2019	C	`conf`	Verification of Concurrent Design Patterns with Data. COORDINATION Simon Bliudze, Ludovic Henrio, Eric Madelaine
2018	J	`jnl`	Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems. IEEE Trans. Ind. Informatics Maaz Mohiuddin, Wajeb Saab, Simon Bliudze, Jean-Yves Le Boudec
2018	J	`jnl`	Early validation of system requirements and design through correctness-by-construction. J. Syst. Softw. Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis
2018	—	`conf`	Ordering events based on intentionality in cyber-physical systems. ICCPS Wajeb Saab, Maaz Mohiuddin, Simon Bliudze, Jean-Yves Le Boudec
2018	—	`ed.`	Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece, 15th April 2018. MeTRiD@ETAPS Simon Bliudze, Saddek Bensalem
2018	J	`jnl`	TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm. Innov. Syst. Softw. Eng. Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec
2018	J	`jnl`	Using SMT Engine to Generate Symbolic Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Eric Madelaine, Xudong Qin, Min Zhang, Simon Bliudze
2018	C	`ed.`	Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings VECoS Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez
2017	J	`jnl`	Combine and conquer: Relating BIP and Reo. J. Log. Algebraic Methods Program. Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze
2017	J	`jnl`	Configuration logics: Modeling architecture styles. J. Log. Algebraic Methods Program. Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
2017	C	`conf`	Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies. COORDINATION Simon Bliudze, Alena Simalatsar, Alina Zolotukhina
2017	—	`conf`	Coordination of Dynamic Software Components with JavaBIP. FACS Anastasia Mavridou, Valentin Rutz, Simon Bliudze
2017	J	`jnl`	Coordination of Dynamic Software Components with JavaBIP. CoRR Anastasia Mavridou, Valentin Rutz, Simon Bliudze
2017	J	`jnl`	Exogenous coordination of concurrent software components with JavaBIP. Softw. Pract. Exp. Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina
2017	J	`jnl`	Functional BIP: Embedding connectors in functional programming languages. J. Log. Algebraic Methods Program. Romain Edelmann, Simon Bliudze, Joseph Sifakis
2017	C	`conf`	Quarts: Quick agreement for real-time control systems. ETFA Wajeb Saab, Maaz Mohiuddin, Simon Bliudze, Jean-Yves Le Boudec
2017	C	`conf`	TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm. VECoS Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec
2016	—	`conf`	A Note on the Expressiveness of BIP. EXPRESS/SOS Eduard Baranov, Simon Bliudze
2016	J	`jnl`	A general framework for architecture composability. Formal Aspects Comput. Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis
2016	—	`conf`	Architecture Diagrams: A Graphical Language for Architecture Style Specification. ICE Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
2016	—	`conf`	Architecture-Based Design: A Satellite On-Board Software Case Study. FACS Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton B. Ivanov, Panagiotis Katsaros, Joseph Sifakis
2016	C	`conf`	Axo: Masking delay faults in real-time control systems. IECON Maaz Mohiuddin, Wajeb Saab, Simon Bliudze, Jean-Yves Le Boudec
2016	B	`conf`	Parameterized Systems in BIP: Design and Model Checking. CONCUR Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis
2016	A	`conf`	Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. RTAS Hela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem
2015	—	`conf`	A Theory Agenda for Component-Based Design. Software, Services, and Systems Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga
2015	J	`jnl`	Applying Model Checking to Industrial-Sized PLC Programs. IEEE Trans. Ind. Informatics Borja Fernandez Adiego, Dániel Darvas, Enrique Blanco Viñuela, Jean-Charles Tournier, Simon Bliudze, Jan Olaf Blech, Víctor Manuel González Suárez
2015	Misc	`conf`	Automatic Fault Localization for BIP. SETTA Qiang Wang, Yan Lei, Simon Bliudze, Xiaoguang Mao
2015	—	`conf`	Configuration Logics: Modelling Architecture Styles. FACS Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
2015	B	`conf`	Formal Verification of Infinite-State BIP Models. ATVA Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang
2015	J	`jnl`	Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP. Sci. Comput. Program. Eduard Baranov, Simon Bliudze
2015	—	`conf`	Relating BIP and Reo. ICE Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze
2015	B	`conf`	SeBip: A Symbolic Executor for BIP. ICECCS Qiang Wang, Simon Bliudze
2015	—	`conf`	Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction. TGC Qiang Wang, Simon Bliudze
2014	B	`conf`	A General Framework for Architecture Composability. SEFM Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis
2014	—	`conf`	Architecture internalisation in BIP. CBSE Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber
2014	C	`conf`	Coordination of software components with BIP: application to OSGi. MiSE Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina
2014	—	`conf`	Reduction and Abstraction Techniques for BIP. FACS Mohamad Noureddine, Mohamad Jaber, Simon Bliudze, Fadi A. Zaraket
2014	—	`conf`	Rigorous component-based design in BIP: half-day tutorial. CBSE Simon Bliudze
2013	—	`conf`	Extended Connectors: Structuring Glue Operators in BIP. ICE Eduard Baranov, Simon Bliudze
2013	C	`conf`	Model-based automated testing of critical PLC programs. INDIN Borja Fernandez Adiego, Enrique Blanco Viñuela, Víctor M. González Suárez, Simon Bliudze
2012	J	`jnl`	Towards Interaction Reliability in Concurrent Applications. Sci. Ann. Comput. Sci. Simon Bliudze, Roberto Bruni, Marco Carbone, Alexandra Silva
2012	—	`conf`	Towards a Theory of Glue ICE Simon Bliudze
2011	J	`jnl`	Concurrency and Interaction in Complex Systems. Sci. Ann. Comput. Sci. Sonia Ben Mokhtar, Simon Bliudze, Roberto Bruni, Alexandra Silva, Angelo Troina
2011	—	`ed.`	Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011. ICE Alexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone
2011	A	`conf`	Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems. SC Simon Bliudze, Joseph Sifakis
2010	J	`jnl`	Causal semantics for the algebra of connectors. Formal Methods Syst. Des. Simon Bliudze, Joseph Sifakis
2010	—	`ed.`	Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, ICE 2010, Amsterdam, The Netherlands, 10th of June 2010. ICE Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva
2009	J	`jnl`	Modelling of Complex Systems: Systems as Dataflow Machines. Fundam. Informaticae Simon Bliudze, Daniel Krob
2009	—	`conf`	Symbolic Implementation of Connectors in BIP ICE Mohamad Jaber, Ananda Basu, Simon Bliudze
2008	B	`conf`	A Notion of Glue Expressiveness for Component-Based Systems. CONCUR Simon Bliudze, Joseph Sifakis
2008	J	`jnl`	The Algebra of Connectors - Structuring Interaction in BIP. IEEE Trans. Computers Simon Bliudze, Joseph Sifakis
2007	—	`conf`	Causal Semantics for the Algebra of Connectors. FMCO Simon Bliudze, Joseph Sifakis
2007	Misc	`conf`	The algebra of connectors: structuring interaction in BIP. EMSOFT Simon Bliudze, Joseph Sifakis
2006	J	`jnl`	A Combinatorial Approach to Evaluation of Reliability of the Receiver Output for BPSK Modulation with Spatial Diversity. Electron. J. Comb. Simon Bliudze, Daniel Krob
2005	—	`conf`	On optimal hybrid ARQ control schemes for HSDPA with 16QAM. WiMob (1) Simon Bliudze, Nicolas Billy, Daniel Krob
2005	—	`conf`	Performance Evaluation of Demodulation with DiversityØA Combinatorial Approach III: Threshold Analysis. ALENEX/ANALCO Simon Bliudze, Daniel Krob