Conference proceedings

[1]	Salman Farhat, Simon Bliudze, Laurence Duchien, and Olga Kouchnarenko. Composing run-time variability models. In Proc.of the 22nd International Conference on Software Engineering and Formal Methods (SEFM), volume 15280 of LNCS, pages 234-252. Springer, November 2024. [ bib \| DOI ]
[2]	Qiang Wang, Huadong Dai, Yongxin Zhao, Min Zhang, and Simon Bliudze. Enabling behaviour tree verification via a translation to BIP. In 20th International Conference on Formal Aspects of Component Software (FACS), volume 15189 of LNCS, pages 3-20. Springer, 2024. [ bib \| DOI ]
[3]	Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, and Larisa Safina. JavaBIP meets VerCors: Towards the safety of concurrent software systems in Java. In Proc.of the 26th Int.Conf.on Fundamental Approaches to Software Engineering (FASE), Held as Part of ETAPS 2023, volume 13991 of LNCS, pages 143-150. Springer, April 2023. [ bib \| DOI \| http ]
[4]	Salman Farhat, Simon Bliudze, Laurence Duchien, and Olga Kouchnarenko. Toward run-time coordination of reconfiguration requests in cloud computing systems. In Proc.of the 25th Int.Conf.on Coordination Models and Languages (COORDINATION), volume 13908 of LNCS, pages 271-291. Springer, June 2023. [ bib \| DOI ]
[5]	Salman Farhat, Simon Bliudze, and Laurence Duchien. Safe dynamic reconfiguration of concurrent component-based applications. In IEEE 19th International Conference on Software Architecture (ICSA) Companion 2022, pages 108-111. IEEE, 2022. Poster abstract. [ bib \| DOI \| http \| .pdf ]
[6]	Simon Bliudze, Ludovic Henrio, and Eric Madelaine. Verification of concurrent design patterns with data. In Proc.of the 21st Int.Conf.on Coordination Models and Languages (COOORDINATION), volume 11533 of LNCS, pages 161-181. Springer, June 2019. [ bib \| DOI \| .pdf ]
[7]	Xudong Qin, Simon Bliudze, Eric Madelaine, and Min Zhang. Using SMT engine to generate symbolic automata. In Proc. of the 18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), volume 76 of Electronic Communications of the EASST Open Access Journal, page 17 pages, 2019. [ bib \| DOI ]
[8]	Wajeb Saab, Mohiuddin Maaz, Simon Bliudze, and Jean-Yves Le Boudec. Ordering events based on intentionality in cyber-physical systems. In Proc. of the 9th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), pages 107-118, Piscataway, NJ, USA, April 2018. IEEE Press. [ bib \| http \| .pdf ]
[9]	Wajeb Saab, Maaz Mohiuddin, Simon Bliudze, and Jean-Yves Le Boudec. Quarts: Quick agreement for real-time control systems. In 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), pages 1-8, Limassol, Cyprus, September 2017. [ bib \| DOI \| .pdf ]
[10]	Anastasia Mavridou, Valentin Rutz, and Simon Bliudze. Coordination of dynamic software components with JavaBIP. In Proceedings of the 14th International Conference Formal Aspects of Component Software (FACS), volume 10487 of LNCS, pages 39-57. Springer, 2017. [ bib \| DOI \| .pdf ]
[11]	Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, and Briag Le Nabec. TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm. In Proc. of the 11th International Conference Verification and Evaluation of Computer and Communication Systems (VECoS 2017), volume 10466 of LNCS, pages 171-188. Springer, 2017. [ bib \| DOI ]
[12]	Simon Bliudze, Alena Simalatsar, and Alina Zolotukhina. Constraint-flow nets: A model for building constraints from resource dependencies. In Jean-Marie Jacquet and Mieke Massink, editors, Proc. of the 19th International Conference on Coordination Models and Languages (COOORDINATION 2017), volume 10319 of LNCS, pages 197-216. Springer, June 2017. [ bib \| DOI \| .pdf ]
[13]	Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton Ivanov, Panagiotis Katsaros, and Joseph Sifakis. Architecture-based design: A satellite on-board software case study. In 13th International Conference on Formal Aspects of Component Software (FACS 2016), volume 10231 of LNCS, pages 260-279, 2016. [ bib \| DOI \| .pdf ]
[14]	Anastasia Mavridou, Eduard Baranov, Simon Bliudze, and Joseph Sifakis. Architecture diagrams: A graphical language for architecture style specification. In Proceedings 9th Interaction and Concurrency Experience (ICE), volume 223 of EPTCS, pages 83-97, 2016. [ bib \| DOI ]
[15]	Maaz Mashood Mohiuddin, Wajeb Saab, Simon Bliudze, and Jean-Yves Le Boudec. Axo: Masking delay faults in real-time control systems. In The 42nd Annual Conference of IEEE Industrial Electronics Society, pages 4933-4940, 2016. [ bib \| DOI ]
[16]	Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, and Joseph Sifakis. Parameterized systems in BIP: design and model checking. In 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, volume 59 of LIPIcs, pages 30:1-30:16, 2016. [ bib \| DOI \| .pdf ]
[17]	Eduard Baranov and Simon Bliudze. A note on the expressiveness of BIP. In Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016, volume 222 of EPTCS, pages 1-14, 2016. [ bib \| DOI ]
[18]	Anastasia Mavridou, Eduard Baranov, Simon Bliudze, and Joseph Sifakis. Configuration Logics: Modelling architecture styles. In International Conference on Formal Aspects of Component Software (FACS 2015), volume 9539 of LNCS, pages 256-274. Springer, 2015. [ bib \| DOI ]
[19]	Kasper Dokter, Sung-Shik T. Q. Jongmans, Farhad Arbab, and Simon Bliudze. Relating BIP and Reo. In Sophia Knight, Ivan Lanese, Alberto Lluch-Lafuente, and Hugo Torres Vieira, editors, Proceedings 8th Interaction and Concurrency Experience (ICE 2015), volume 189 of EPTCS, pages 3-20, 2015. [ bib \| DOI ]
[20]	Qiang Wang, Simon Bliudze, Yan Lei, and Xiaoguang Mao. Automatic fault localization for BIP. In Xuandong Li, Zhiming Liu, and Wang Yi, editors, 1st Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA), volume 9409 of LNCS, pages 277-283. Springer, October 2015. [ bib \| DOI ]
[21]	Qiang Wang and Simon Bliudze. Verification of component-based systems via predicate abstraction and simultaneous set reduction. In Pierre Ganty and Michele Loreti, editors, Trustworthy Global Computing (TGC), volume 9533 of LNCS, pages 147-162. Springer International Publishing, 2015. [ bib \| DOI ]
[22]	Wang Qiang and Simon Bliudze. SeBip: A symbolic executor for BIP. In 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pages 174-177. IEEE, 2015. [ bib \| DOI ]
[23]	Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, and Qiang Wang. Formal verification of infinite-state BIP models. In Bernd Finkbeiner, Geguang Pu, and Lijun Zhang, editors, 13th International Symposium on Automated Technology for Verification and Analysis (ATVA 2015), volume 9364 of LNCS, pages 326-343. Springer International Publishing, November 2015. [ bib \| DOI \| .pdf ]
[24]	Joseph Sifakis, Saddek Bensalem, Simon Bliudze, and Marius Bozga. A theory agenda for component-based design. In Rocco De Nicola and Rolf Hennicker, editors, Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, volume 8950 of LNCS, pages 409-439. Springer, 2015. [ bib \| DOI ]
[25]	Mohamad Noureddine, Mohamad Jaber, Simon Bliudze, and Fadi A. Zaraket. Reduction and abstraction techniques for BIP. In Ivan Lanese and Eric Madelaine, editors, Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, volume 8997 of LNCS, pages 288-305. Springer, 2015. [ bib \| DOI \| .pdf ]
[26]	Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, and Alina Zolotukhina. Coordination of software components with BIP: Application to OSGi. In Proceedings of the 6th International Workshop on Modeling in Software Engineering, pages 25-30. ACM, 2014. [ bib \| DOI ]
[27]	Borja Fernandez Adiego, Enrique Blanco Viñuela, Jean-Charles Tournier, Victor M. González Suárez, and Simon Bliudze. Model-based automated testing of critical PLC programs. In Industrial Informatics (INDIN), 2013 11th IEEE International Conference on, pages 722-727. IEEE, 2013. [ bib \| DOI ]
[28]	Paul Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, and Joseph Sifakis. A general framework for architecture composability. In D. Giannakopoulou and G. Salaün, editors, 12th International Conference on Software Engineering and Formal Methods (SEFM 2014), number 8702 in LNCS, pages 128-143, Switzerland, 2014. Springer International Publishing. [ bib \| DOI \| .pdf ]
[29]	Simon Bliudze, Joseph Sifakis, Marius Dorel Bozga, and Mohamad Jaber. Architecture internalisation in BIP. In Proceedings of the 17th International ACM Sigsoft Symposium on Component-based Software Engineering (CBSE '14), pages 169-178, New York, NY, USA, 2014. ACM. [ bib \| DOI \| .pdf ]
[30]	Simon Bliudze and Sébastien Furic. An operational semantics for hybrid systems involving behavioral abstraction. In Proceedings of the 10th International Modelica Conference, Linköping Electronic Conference Proceedings, pages 693-706, Linköping, 2014. Linköping University Electronic Press, Linköpings universitet. [ bib \| DOI \| .pdf ]
[31]	Eduard Baranov and Simon Bliudze. Extended connectors: Structuring glue operators in BIP. In ICE 2013, volume 131 of EPTCS, pages 20-35, 2013. [ bib \| DOI \| .pdf ]
[32]	Simon Bliudze. Towards a theory of glue. In ICE 2012: Distributed coordination, execution models, and resilient interaction, volume 104 of EPTCS, pages 48-66, December 2012. [ bib \| DOI \| .pdf ]
[33]	Simon Bliudze, Xavier Fornari, and Mathieu Jan. From model-based to real-time execution of safety-critical applications: Coupling SCADE with OASIS. In Embedded Real Time Software and Systems, ERTS2, page 10 pages, February 2012. [ bib \| .pdf ]
[34]	Simon Bliudze. Compositional timing analysis: power plant protection system case study. In Proceedings of the 1st International Workshop on Worst-Case Traversal Time, WCTT'11, pages 27-34, New York, NY, USA, November 2011. ACM. [ bib \| DOI \| .pdf ]
[35]	Simon Bliudze and Joseph Sifakis. Synthesizing glue operators from glue constraints for the construction of component-based systems. In Sven Apel and Ethan Jackson, editors, 10th International Conference on Software Composition, volume 6708 of LNCS, pages 51-67. Springer, 2011. [ bib \| DOI \| .pdf ]
[36]	Mohamad Jaber, Ananda Basu, and Simon Bliudze. Symbolic implementation of connectors in BIP. In ICE 2010: Structured Interactions, volume 12 of EPTCS, pages 41-55, September 2009. [ bib \| DOI \| .pdf ]
[37]	Simon Bliudze and Joseph Sifakis. A notion of glue expressiveness for component-based systems. In Franck van Breugel and Marsha Chechik, editors, CONCUR 2008, volume 5201 of LNCS, pages 508-522. Springer, 2008. [ bib \| DOI \| .pdf ]
[38]	Simon Bliudze and Joseph Sifakis. Causal semantics for the Algebra of Connectors (extended abstract). In Frank de Boer and Marcello Bonsangue, editors, FMCO 2007, number 5382 in LNCS, pages 179-199, Berlin Heidelberg, 2008. Springer-Verlag. [ bib \| DOI ]
[39]	Simon Bliudze and Daniel Krob. Towards a functional formalism for modelling complex industrial systems. ComPlexUs, Special Issue: Complex Systems - European Conference - November 2005 - Selected Papers - Part 1, 2(3-4):163-176, 2005. [ bib \| DOI \| .pdf ]
[40]	Simon Bliudze and Joseph Sifakis. The Algebra of Connectors-Structuring interaction in BIP. In Proceedings of the 7th ACM & IEEE International Conference on Embedded Software, EMSOFT 2007, pages 11-20, Salzburg, Austria, October 2007. ACM SigBED. [ bib \| DOI \| .pdf ]
[41]	Simon Bliudze and Daniel Krob. Performance evaluation of demodulation with diversity-a combinatorial approach III: Threshold analysis. In Camil Demetrescu, Robert Sedgewick, and Roberto Tamassia, editors, Proc. of the 7th Workshop on Algorithm Engineering and Experiments and the 2nd Workshop on Analytic Algorithmics and Combinatorics, pages 195-205. SIAM, January 2005. [ bib \| .pdf ]
[42]	Simon Bliudze, Nicolas Billy, and Daniel Krob. On optimal Hybrid ARQ control schemes for HSDPA with 16QAM. In Proc. of IEEE Int. Conf. on Wireless and Mobile Computing, Networking and Communications, volume 1, pages 121-127, August 2005. [ bib \| DOI \| .pdf ]

This file was generated by bibtex2html 1.96.