| [1] | Simon Bliudze, Ludovic Henrio, and Eric Madelaine. Verification of concurrent design patterns with data. In Emilio Tuosto and Hanne-Riis Nielsen, editors, Proc. of the 21st International Conference on Coordination Models and Languages (COOORDINATION 2019), volume 11533 of LNCS, page 161–181. Springer, June 2019. [ bib | DOI | .pdf ] |
| [2] | 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 ] |
| [3] | 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), page 107–118, Piscataway, NJ, USA, April 2018. IEEE Press. [ bib | http | .pdf ] |
| [4] | 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), page 1–8, Limassol, Cyprus, September 2017. [ bib | DOI | .pdf ] |
| [5] | 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 Lecture Notes in Computer Science, page 39–57. Springer, 2017. [ bib | DOI | .pdf ] |
| [6] | 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 Lecture Notes in Computer Science, page 171–188. Springer, 2017. [ bib | DOI ] |
| [7] | 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, page 197–216. Springer, June 2017. [ bib | DOI | .pdf ] |
| [8] | 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 Lecture Notes in Computer Science, page 260–279, 2016. [ bib | DOI | .pdf ] |
| [9] | 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, page 83–97, 2016. [ bib | DOI ] |
| [10] | 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, page 4933–4940, 2016. [ bib | DOI ] |
| [11] | 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, page 30:1–30:16, 2016. [ bib | DOI | .pdf ] |
| [12] | 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, page 1–14, 2016. [ bib | DOI ] |
| [13] | 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, page 256–274. Springer, 2015. [ bib | DOI ] |
| [14] | 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, page 3–20, 2015. [ bib | DOI ] |
| [15] | 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 Lecture Notes in Computer Science, page 277–283. Springer, October 2015. [ bib | DOI ] |
| [16] | 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 Lecture Notes in Computer Science, page 147–162. Springer International Publishing, 2015. [ bib | DOI ] |
| [17] | 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, page 174–177. IEEE, 2015. [ bib | DOI ] |
| [18] | 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, page 326–343. Springer International Publishing, November 2015. [ bib | DOI | .pdf ] |
| [19] | 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 Lecture Notes in Computer Science, page 409–439. Springer, 2015. [ bib | DOI ] |
| [20] | 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 Lecture Notes in Computer Science, page 288–305. Springer, 2015. [ bib | DOI | .pdf ] |
| [21] | 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, page 25–30. ACM, 2014. [ bib | DOI ] |
| [22] | Borja Fernandez Adiego, Enrique Blanco Viñuela, Jean-Charles Tournier, Víctor 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, page 722–727. IEEE, 2013. [ bib | DOI ] |
| [23] | 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, page 128–143, Switzerland, 2014. Springer International Publishing. [ bib | DOI | .pdf ] |
| [24] | 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), page 169–178, New York, NY, USA, 2014. ACM. [ bib | DOI | .pdf ] |
| [25] | 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, page 693–706, Linköping, 2014. Linköping University Electronic Press, Linköpings universitet. [ bib | DOI | .pdf ] |
| [26] | Eduard Baranov and Simon Bliudze. Extended connectors: Structuring glue operators in BIP. In ICE 2013, volume 131 of EPTCS, page 20–35, 2013. [ bib | DOI | .pdf ] |
| [27] | Simon Bliudze. Towards a theory of glue. In ICE 2012: Distributed coordination, execution models, and resilient interaction, volume 104 of EPTCS, page 48–66, December 2012. [ bib | DOI | .pdf ] |
| [28] | 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 ] |
| [29] | 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, page 27–34, New York, NY, USA, November 2011. ACM. [ bib | DOI | .pdf ] |
| [30] | 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, page 51–67. Springer, 2011. [ bib | DOI | .pdf ] |
| [31] | Mohamad Jaber, Ananda Basu, and Simon Bliudze. Symbolic implementation of connectors in BIP. In ICE 2010: Structured Interactions, volume 12 of EPTCS, page 41–55, September 2009. [ bib | DOI | .pdf ] |
| [32] | 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, page 508–522. Springer, 2008. [ bib | DOI | .pdf ] |
| [33] | 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, page 179–199, Berlin Heidelberg, 2008. Springer-Verlag. See the journal version. [ bib | DOI ] |
| [34] | 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 ] |
| [35] | Simon Bliudze and Joseph Sifakis. The Algebra of ConnectorsStructuring interaction in BIP. In Proceedings of the 7th ACM & IEEE International Conference on Embedded Software, EMSOFT 2007, page 11–20, Salzburg, Austria, October 2007. ACM SigBED. [ bib | DOI | .pdf ] |
| [36] | 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, page 195–205. SIAM, January 2005. [ bib | .pdf ] |
| [37] | 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, page 121–127, August 2005. [ bib | DOI | .pdf ] |
This file was generated by bibtex2html 1.96.