conferences_bib

@comment{{This file has been generated by bib2bib 1.96}}
@comment{{Command line: bib2bib -c '$key="BliuForJan12-scade-oasis" or $key="wang2015automatic" or $key="BBJS14-internalisation" or $key="WMBLB17-quartz" or $key="MSBLB16-axo" or $key="BliSif08-causal-fmco" or $key="BBK-harq" or $key="atva15" or $key="DBLP:conf/birthday/SifakisBBB15" or $key="BHM19-arch-pNets" or $key="BK-systems" or $key="WMBLB18-intentionality" or $key="BK-ribbon" or $key="MBBS16-diagrams" or $key="BliSif07-acp-emsoft" or $key="AttieBBJS14-architectures" or $key="KKW+16-foil-concur" or $key="bliudze2014coordination" or $key="BliudzeFuric14-modelica" or $key="DBLP:conf/facs2/NoureddineJBZ14" or $key="BliSif11-constraints-sc" or $key="fernandez2013model" or $key="mavridou15-pcl" or $key="QBMZ18-pNets" or $key="Bliudze12-glue" or $key="JabBasuBliu09-symbolic" or $key="wang2015verification" or $key="Bliudze11-tca" or $key="BarBliu16-express" or $key="CubETH-case-study" or $key="reo2bip" or $key="wang2015sebip" or $key="BliSif08-express-concur" or $key="BSZ17-cfNets" or $key="TTBIP" or $key="DyJavaBIP" or $key="BarBliu-ice13" or 1=2' ../pubs-sb.bib}}
@inproceedings{BBK-harq,
  author = {Simon Bliudze and Nicolas Billy and Daniel Krob},
  title = {On Optimal {Hybrid ARQ} Control Schemes for {HSDPA} with {16QAM}},
  booktitle = {Proc. of {IEEE} Int. Conf. on Wireless and Mobile Computing, Networking and Communications},
  year = 2005,
  month = aug,
  volume = 1,
  pages = {121--127},
  doi = {10.1109/WIMOB.2005.1512826},
  pdf = {http://www.bliudze.me/simon/articles/harq05.pdf}
}
@inproceedings{BK-ribbon,
  author = {Simon Bliudze and Daniel Krob},
  title = {Performance evaluation of demodulation with diversity --- A combinatorial approach {III}: Threshold analysis},
  booktitle = {Proc. of the 7th Workshop on Algorithm Engineering and Experiments and the 2nd Workshop on Analytic Algorithmics and Combinatorics},
  editor = {Camil Demetrescu and Robert Sedgewick and Roberto Tamassia},
  organization = {SIAM},
  year = 2005,
  month = jan,
  pages = {195--205},
  pdf = {http://www.bliudze.me/simon/articles/ribbon05.pdf}
}
@inproceedings{BliSif07-acp-emsoft,
  author = {Simon Bliudze and Joseph Sifakis},
  title = {The {A}lgebra of {C}onnectors\mdash {S}tructuring Interaction in {BIP}},
  booktitle = {Proceedings of the 7th {ACM \& IEEE} International Conference on Embedded Software, {EMSOFT} 2007},
  year = 2007,
  address = {Salzburg, Austria},
  month = oct,
  organization = {ACM SigBED},
  pages = {11--20},
  doi = {10.1145/1289927.1289935},
  note = {},
  pdf = {http://www.bliudze.me/simon/articles/acp-bliudze-sifakis-emsoft07.pdf}
}
@article{BK-systems,
  author = {Simon Bliudze and Daniel Krob},
  title = {Towards a Functional Formalism for Modelling Complex Industrial Systems},
  journal = {{ComPlexUs}, Special Issue: Complex Systems~-- European Conference~-- November 2005~-- Selected Papers~-- Part 1},
  editor = {Paul Bourgine and Fran\c{c}ois K{\'e}p{\`e}s and Marc Schoenauer},
  year = {2005},
  volume = 2,
  number = {3--4},
  pages = {163--176},
  doi = {10.1159/000093688},
  pdf = {http://www.bliudze.me/simon/articles/systems-bk.pdf}
}
@inproceedings{BliSif08-causal-fmco,
  author = {Simon Bliudze and Joseph Sifakis},
  title = {Causal Semantics for the {A}lgebra of {C}onnectors (Extended abstract)},
  booktitle = {FMCO 2007},
  year = 2008,
  editor = {Frank de Boer and Marcello Bonsangue},
  series = {LNCS},
  number = 5382,
  pages = {179--199},
  publisher = {Springer-Verlag},
  address = {Berlin Heidelberg},
  doi = {10.1007/978-3-540-92188-2_8},
  note = {See the journal version}
}
@inproceedings{BliSif08-express-concur,
  author = {Simon Bliudze and Joseph Sifakis},
  title = {A Notion of Glue Expressiveness for Component-Based Systems},
  editor = {Franck van Breugel and Marsha Chechik},
  booktitle = {CONCUR 2008},
  year = 2008,
  series = {LNCS},
  volume = 5201,
  pages = {508--522},
  publisher = {Springer},
  doi = {10.1007/978-3-540-85361-9_39},
  note = {},
  pdf = {http://www.bliudze.me/simon/articles/express-bliudze-sifakis-concur08.pdf}
}
@inproceedings{JabBasuBliu09-symbolic,
  author = {Mohamad Jaber and Ananda Basu and Simon Bliudze},
  title = {Symbolic Implementation of Connectors in {BIP}},
  booktitle = {ICE 2010: Structured Interactions},
  pages = {41--55},
  year = 2009,
  month = sep,
  volume = 12,
  series = {EPTCS},
  doi = {10.4204/EPTCS.12.3},
  pdf = {http://www.bliudze.me/simon/articles/JabBasuBliu09-symbolic-bip.pdf}
}
@inproceedings{BliSif11-constraints-sc,
  title = {Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems
},
  booktitle = {10th International Conference on Software Composition},
  editor = {Sven Apel and Ethan Jackson},
  series = {LNCS},
  author = {Simon Bliudze and Joseph Sifakis},
  location = {Zurich, Switzerland},
  volume = 6708,
  pages = {51--67},
  year = 2011,
  doi = {10.1007/978-3-642-22045-6_4},
  publisher = {Springer},
  pdf = {http://www.bliudze.me/simon/articles/constraints-bliudze-sifakis-sc2011.pdf}
}
@inproceedings{Bliudze11-tca,
  author = {Simon Bliudze},
  title = {Compositional timing analysis: power plant
                  protection system case study},
  booktitle = {Proceedings of the 1st International Workshop on
                  Worst-Case Traversal Time},
  series = {WCTT'11},
  year = 2011,
  month = nov,
  isbn = {978-1-4503-1008-6},
  location = {Viena, Austria},
  pages = {27--34},
  numpages = 8,
  doi = {10.1145/2071589.2071593},
  acmid = 2071593,
  publisher = {ACM},
  address = {New York, NY, USA},
  pdf = {http://www.bliudze.me/simon/articles/tca-bliudze-wctt11.pdf}
}
@inproceedings{BliuForJan12-scade-oasis,
  author = {Simon Bliudze and Xavier Fornari and Mathieu Jan},
  title = {From Model-Based to Real-Time Execution of 
		  Safety-Critical Applications: Coupling {SCADE} with {OASIS}},
  booktitle = {Embedded Real Time Software and Systems},
  pages = {10 pages},
  year = 2012,
  month = feb,
  volume = {},
  series = {ERTS2},
  pdf = {http://www.bliudze.me/simon/articles/scade-oasis-bliudze-fornari-jan-erts2-2012.pdf}
}
@inproceedings{Bliudze12-glue,
  author = {Simon Bliudze},
  title = {Towards a Theory of Glue},
  booktitle = {ICE 2012: Distributed coordination, execution models, and resilient interaction},
  pages = {48--66},
  year = 2012,
  month = dec,
  volume = 104,
  series = {EPTCS},
  doi = {10.4204/EPTCS.104.6},
  pdf = {http://www.bliudze.me/simon/articles/bliudze-glue-ice12.pdf}
}
@inproceedings{BarBliu-ice13,
  author = {Eduard Baranov and Simon Bliudze},
  title = {Extended Connectors: Structuring Glue Operators in {BIP}},
  booktitle = {ICE 2013},
  pages = {20--35},
  year = 2013,
  volume = {131},
  series = {EPTCS},
  doi = {10.4204/EPTCS.131.3},
  pdf = {http://www.bliudze.me/simon/articles/BarBliu-ice13.pdf}
}
@inproceedings{BliudzeFuric14-modelica,
  address = {Link{\"o}ping},
  author = {Bliudze, Simon and Furic, S{\'e}bastien},
  booktitle = {Proceedings of the 10th {I}nternational {M}odelica {C}onference},
  doi = {10.3384/ECP14096693},
  isbn = {978-91-7519-380-9},
  keywords = {hybrid modeling languages; non-standard analysis; models
                 of signals; behavioural abstraction; operational
                 semantics},
  location = {Lund, Sweden},
  pages = {693--706},
  publisher = {Link{\"o}ping University Electronic Press, Link{\"o}pings universitet},
  series = {Link{\"o}ping Electronic Conference Proceedings},
  title = {An Operational Semantics for Hybrid Systems
                 Involving Behavioral Abstraction},
  year = 2014,
  pdf = {http://www.bliudze.me/simon/articles/BliudzeFuric-modelica14.pdf}
}
@inproceedings{BBJS14-internalisation,
  author = {Bliudze, Simon and Sifakis, Joseph and Bozga, Marius Dorel and Jaber, Mohamad},
  title = {Architecture Internalisation in {BIP}},
  booktitle = {Proceedings of the 17th International ACM Sigsoft Symposium on Component-based Software Engineering (CBSE '14)},
  year = 2014,
  isbn = {978-1-4503-2577-6},
  location = {Marcq-en-Bareul, France},
  pages = {169--178},
  doi = {10.1145/2602458.2602477},
  acmid = 2602477,
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {architecture internalisation, BIP, connectors, data transfer, interaction expressions, top/bottom component model},
  pdf = {http://www.bliudze.me/simon/articles/cbse65-bliudze.pdf}
}
@inproceedings{AttieBBJS14-architectures,
  author = {Attie, Paul and
                  Baranov, Eduard and
                  Bliudze, Simon and
                  Jaber, Mohamad and
                  Sifakis, Joseph},
  title = {A General Framework for Architecture Composability},
  booktitle = {12th International Conference on Software Engineering and Formal Methods (SEFM 2014)},
  pages = {128--143},
  year = 2014,
  editor = {D. Giannakopoulou and G. Sala\"un},
  number = 8702,
  series = {LNCS},
  doi = {10.1007/978-3-319-10431-7_10},
  address = {Switzerland},
  publisher = {Springer International Publishing},
  pdf = {http://www.bliudze.me/simon/articles/architectures-sefm14.pdf}
}
@inproceedings{fernandez2013model,
  title = {Model-based automated testing of critical {PLC}
                  programs},
  author = {Fernandez Adiego, Borja and Blanco Vi{\~n}uela,
                  Enrique and Tournier, Jean-Charles and Gonz{\'a}lez
                  Su{\'a}rez, V{\'\i}ctor M. and Bliudze, Simon},
  booktitle = {Industrial Informatics (INDIN), 2013 11th IEEE
                  International Conference on},
  pages = {722--727},
  year = {2013},
  doi = {10.1109/INDIN.2013.6622973},
  organization = {IEEE}
}
@inproceedings{bliudze2014coordination,
  title = {Coordination of software components with {BIP}:
                  {A}pplication to {OSGi}},
  author = {Bliudze, Simon and Mavridou, Anastasia and Szymanek,
                  Radoslaw and Zolotukhina, Alina},
  booktitle = {Proceedings of the 6th International Workshop on
                  Modeling in Software Engineering},
  pages = {25--30},
  year = 2014,
  doi = {10.1145/2593770.2593777},
  organization = {ACM}
}
@inproceedings{DBLP:conf/facs2/NoureddineJBZ14,
  author = {Mohamad Noureddine and Mohamad Jaber and Simon
                  Bliudze and Fadi A. Zaraket},
  title = {Reduction and Abstraction Techniques for {BIP}},
  booktitle = {Formal Aspects of Component Software - 11th
                  International Symposium, {FACS} 2014, Bertinoro,
                  Italy, September 10-12, 2014, Revised Selected
                  Papers},
  editor = {Ivan Lanese and Eric Madelaine},
  pages = {288--305},
  series = {Lecture Notes in Computer Science},
  volume = 8997,
  publisher = {Springer},
  year = 2015,
  doi = {10.1007/978-3-319-15317-9_18}
}
@inproceedings{DBLP:conf/birthday/SifakisBBB15,
  author = {Joseph Sifakis and
               Saddek Bensalem and
               Simon Bliudze and
               Marius Bozga},
  title = {A Theory Agenda for Component-Based Design},
  pages = {409--439},
  editor = {Rocco De Nicola and Rolf Hennicker},
  booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
               on the Occasion of His Retirement from the Chair of Programming and
               Software Engineering},
  series = {Lecture Notes in Computer Science},
  volume = {8950},
  publisher = {Springer},
  year = {2015},
  doi = {10.1007/978-3-319-15545-6_24}
}
@inproceedings{atva15,
  title = {Formal verification of infinite-state
                  {BIP} models},
  author = {Bliudze, Simon\markimportant\ and Cimatti, Alessandro and
                  Jaber, Mohamad and Mover, Sergio and
                  Roveri, Marco and Saab, Wajeb and Wang,
                  Qiang},
  booktitle = {13th International Symposium on Automated
                  Technology for Verification and Analysis (ATVA~2015)},
  year = 2015,
  editor = {Finkbeiner, Bernd and Pu, Geguang and
                  Zhang, Lijun},
  volume = 9364,
  series = {LNCS},
  pages = {326--343},
  month = nov,
  doi = {10.1007/978-3-319-24953-7_25},
  publisher = {Springer International Publishing},
  pdf = {https://infoscience.epfl.ch/record/211062/files/paper_58.pdf}
}
@inproceedings{wang2015sebip,
  author = {Wang Qiang and Simon Bliudze},
  title = {{SeBip}: {A} Symbolic Executor for {BIP}},
  booktitle = {20th International Conference on Engineering of
                  Complex Computer Systems, {ICECCS} 2015, Gold Coast,
                  Australia, December 9-12, 2015},
  pages = {174--177},
  year = 2015,
  doi = {10.1109/ICECCS.2015.26},
  publisher = {{IEEE}}
}
@incollection{wang2015verification,
  title = {Verification of Component-Based Systems via
                  Predicate Abstraction and Simultaneous Set
                  Reduction},
  author = {Wang, Qiang and Bliudze, Simon},
  year = 2015,
  isbn = {978-3-319-28765-2},
  booktitle = {Trustworthy Global Computing},
  volume = 9533,
  series = {Lecture Notes in Computer Science},
  editor = {Ganty, Pierre and Loreti, Michele},
  doi = {10.1007/978-3-319-28766-9_10},
  publisher = {Springer International Publishing},
  pages = {147--162}
}
@inproceedings{wang2015automatic,
  title = {Automatic Fault Localization for {BIP}},
  author = {Wang, Qiang and Bliudze, Simon and Lei, Yan and Mao,
                  Xiaoguang},
  booktitle = {1st Symposium on Dependable Software Engineering
                  Theories, Tools and Applications},
  year = 2015,
  pages = {277--283},
  editor = {Xuandong Li and Zhiming Liu and Wang Yi},
  volume = 9409,
  series = {Lecture Notes in Computer Science},
  month = oct,
  doi = {10.1007/978-3-319-25942-0_18},
  publisher = {Springer}
}
@inproceedings{reo2bip,
  author = {Kasper Dokter and
               Sung{-}Shik T. Q. Jongmans and
               Farhad Arbab and
               Simon Bliudze},
  title = {Relating {BIP} and {Reo}},
  booktitle = {Proceedings 8th Interaction and Concurrency Experience (ICE 2015)},
  series = {{EPTCS}},
  volume = {189},
  pages = {3--20},
  year = {2015},
  doi = {10.4204/EPTCS.189.3},
  editor = {Sophia Knight and
               Ivan Lanese and
               Alberto Lluch{-}Lafuente and
               Hugo Torres Vieira}
}
@inproceedings{mavridou15-pcl,
  author = {Anastasia Mavridou and Eduard Baranov and Simon
                  Bliudze and Joseph Sifakis},
  title = {Configuration {L}ogics: {M}odelling Architecture
                  Styles},
  booktitle = {International Conference on Formal Aspects of
                  Component Software (FACS 2015)},
  pages = {256--274},
  year = 2015,
  doi = {10.1007/978-3-319-28934-2_14},
  volume = 9539,
  series = {LNCS},
  publisher = {Springer}
}
@inproceedings{BarBliu16-express,
  author = {Eduard Baranov and
               Simon Bliudze},
  title = {A Note on the Expressiveness of {BIP}},
  booktitle = {Proceedings Combined 23rd International Workshop on Expressiveness
               in Concurrency and 13th Workshop on Structural Operational Semantics,
               {EXPRESS/SOS} 2016},
  series = {EPTCS},
  volume = 222,
  pages = {1--14},
  year = 2016,
  doi = {10.4204/EPTCS.222.1}
}
@inproceedings{KKW+16-foil-concur,
  author = {Konnov, Igor V. and
               Tomer Kotek and
               Qiang Wang and
               Helmut Veith and
               Simon Bliudze and
               Joseph Sifakis},
  title = {Parameterized Systems in {BIP:} Design and Model Checking},
  booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
               August 23-26, 2016, Qu{\'{e}}bec City, Canada},
  series = {LIPIcs},
  volume = {59},
  pages = {30:1--30:16},
  year = {2016},
  doi = {10.4230/LIPIcs.CONCUR.2016.30},
  pdf = {https://infoscience.epfl.ch/record/221300/files/main.pdf}
}
@inproceedings{MSBLB16-axo,
  author = {Mohiuddin, Maaz Mashood and Saab, Wajeb and Bliudze,
                  Simon and Le Boudec, Jean-Yves},
  title = {Axo: Masking Delay Faults in Real-Time Control
                  Systems},
  booktitle = {The 42nd Annual Conference of IEEE Industrial
                  Electronics Society},
  year = 2016,
  doi = {10.1109/IECON.2016.7793512},
  pages = {4933--4940}
}
@inproceedings{MBBS16-diagrams,
  author = {Anastasia Mavridou and
               Eduard Baranov and
               Simon Bliudze and
               Joseph Sifakis},
  title = {Architecture Diagrams: {A} Graphical Language for Architecture Style
               Specification},
  booktitle = {Proceedings 9th Interaction and Concurrency Experience (ICE)},
  series = {{EPTCS}},
  volume = 223,
  pages = {83--97},
  year = 2016,
  doi = {10.4204/EPTCS.223.6}
}
@inproceedings{CubETH-case-study,
  author = {Mavridou, Anastasia and Stachtiari, Emmanouela and
                  Bliudze, Simon and Ivanov, Anton and Katsaros,
                  Panagiotis and Sifakis, Joseph},
  title = {Architecture-based Design: {A} Satellite On-board
                  Software Case Study},
  booktitle = {13th International Conference on Formal Aspects of
                  Component Software (FACS 2016)},
  series = {Lecture Notes in Computer Science},
  volume = 10231,
  doi = {10.1007/978-3-319-57666-4_16},
  pages = {260--279},
  year = 2016,
  pdf = {http://www.bliudze.me/simon/articles/CubETHUseCase.pdf}
}
@inproceedings{BSZ17-cfNets,
  author = {Simon Bliudze and Alena Simalatsar and Alina
                  Zolotukhina},
  title = {Constraint-Flow Nets: A Model for Building
                  Constraints from Resource Dependencies},
  booktitle = {Proc. of the 19th International Conference on
                  Coordination Models and Languages (COOORDINATION 2017)},
  year = 2017,
  editor = {Jean-Marie Jacquet and Mieke Massink},
  series = {LNCS},
  publisher = {Springer},
  volume = 10319,
  doi = {10.1007/978-3-319-59746-1_11},
  pages = {197--216},
  month = jun,
  pdf = {http://www.bliudze.me/simon/articles/BSZ17-resoursces-Coordination.pdf}
}
@inproceedings{TTBIP,
  author = {Hela Guesmi and Belgacem Ben Hedia and Simon Bliudze
                  and Saddek Bensalem and Briag Le Nabec},
  title = {{TT-BIP:} Using Correct-by-Design {BIP} Approach for
                  Modelling Real-Time System with Time-Triggered
                  Paradigm},
  booktitle = {Proc. of the 11th International Conference
                  Verification and Evaluation of Computer and
                  Communication Systems (VECoS 2017)},
  pages = {171--188},
  series = {Lecture Notes in Computer Science},
  volume = {10466},
  publisher = {Springer},
  year = {2017},
  doi = {10.1007/978-3-319-66176-6_12}
}
@inproceedings{DyJavaBIP,
  author = {Anastasia Mavridou and Valentin Rutz and Simon
                  Bliudze},
  title = {Coordination of Dynamic Software Components with
                  {JavaBIP}},
  booktitle = {Proceedings of the 14th International Conference
                  Formal Aspects of Component Software (FACS)},
  series = {Lecture Notes in Computer Science},
  volume = {10487},
  publisher = {Springer},
  pages = {39--57},
  year = {2017},
  doi = {10.1007/978-3-319-68034-7_3},
  pdf = {http://www.bliudze.me/simon/articles/DynamicJavaBIP.pdf}
}
@inproceedings{WMBLB17-quartz,
  author = {Saab, Wajeb and Mohiuddin, Maaz and
                  Bliudze, Simon and Le Boudec, Jean-Yves},
  title = {Quarts: Quick Agreement for Real-Time Control
                  Systems},
  booktitle = {22nd {IEEE} International Conference on Emerging
                  Technologies and Factory Automation (ETFA)},
  pdf = {https://infoscience.epfl.ch/record/228439/files/quarts.pdf},
  address = {Limassol, Cyprus},
  year = 2017,
  month = sep,
  pages = {1--8},
  doi = {10.1109/ETFA.2017.8247590},
  pdf = {http://www.bliudze.me/simon/articles/Quarts.pdf}
}
@inproceedings{WMBLB18-intentionality,
  author = {Saab, Wajeb and Maaz, Mohiuddin and Bliudze, Simon
                  and Le Boudec, Jean-Yves},
  title = {Ordering Events Based on Intentionality in
                  Cyber-Physical Systems},
  year = 2018,
  booktitle = {Proc. of the 9th ACM/IEEE International Conference
                  on Cyber-Physical Systems (ICCPS)},
  month = apr,
  location = {Porto, Portugal},
  url = {http://dl.acm.org/citation.cfm?id=3207910},
  pages = {107--118},
  publisher = {IEEE Press},
  address = {Piscataway, NJ, USA},
  pdf = {http://www.bliudze.me/simon/articles/Ordering.pdf}
}
@inproceedings{QBMZ18-pNets,
  author = {Qin, Xudong and Bliudze, Simon and Madelaine, Eric
                  and Zhang, Min},
  title = {Using {SMT} engine to generate symbolic automata},
  booktitle = {Proc. of the 18th International Workshop on
                  Automated Verification of Critical Systems (AVOCS
                  2018)},
  year = 2019,
  series = {Electronic Communications of the EASST Open Access
                  Journal},
  note = {To appear}
}
@inproceedings{BHM19-arch-pNets,
  author = {Simon Bliudze and Ludovic Henrio and Eric Madelaine},
  title = {Verification of concurrent design patterns with
                  data},
  booktitle = {Proc. of the 21st International Conference on
                  Coordination Models and Languages (COOORDINATION
                  2019)},
  year = 2019,
  editor = {Emilio Tuosto and Hanne-Riis Nielsen},
  series = {LNCS},
  month = jun,
  note = {To appear}
}

This file was generated by bibtex2html 1.96.