conferences.bib
@comment{{This file has been generated by bib2bib 1.96}}
@comment{{Command line: bib2bib -c '$key="KKW+16-foil-concur" or $key="TTBIP" or $key="BliuForJan12-scade-oasis" or $key="BliSif08-causal-fmco" or $key="BBJS14-internalisation" or $key="FBD22" or $key="FBDK23-FeCo4Reco" or $key="BliSif11-constraints-sc" or $key="atva15" or $key="QBMZ18-pNets" or $key="Bliudze11-tca" or $key="BK-ribbon" or $key="BBK-harq" or $key="BHM19-arch-pNets" or $key="BK-systems" or $key="reo2bip" or $key="BSZ17-cfNets" or $key="Bliudze12-glue" or $key="wang2015verification" or $key="wang2015sebip" or $key="bliudze2014coordination" or $key="CubETH-case-study" or $key="MBBS16-diagrams" or $key="BliudzeFuric14-modelica" or $key="BarBliu-ice13" or $key="JabBasuBliu09-symbolic" or $key="mavridou15-pcl" or $key="DBLP:conf/facs2/NoureddineJBZ14" or $key="BliSif07-acp-emsoft" or $key="WMBLB17-quartz" or $key="DyJavaBIP" or $key="FBDK24-composing-CBRTVM" or $key="Wang24-BT2BIP" or $key="wang2015automatic" or $key="fernandez2013model" or $key="DBLP:conf/birthday/SifakisBBB15" or $key="AttieBBJS14-architectures" or $key="WMBLB18-intentionality" or $key="BBHRS23-JavaBIP-VerCors" or $key="BarBliu16-express" or $key="MSBLB16-axo" or $key="BliSif08-express-concur" or 1=2' /Users/bliudze/Workspace/pubs-sb/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},
keywords = {conference}
}
@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},
keywords = {conference}
}
@inproceedings{BliSif07-acp-emsoft,
author = {Simon Bliudze and Joseph Sifakis},
title = {The {A}lgebra of {C}onnectors---{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},
pdf = {http://www.bliudze.me/simon/articles/acp-bliudze-sifakis-emsoft07.pdf},
keywords = {conference}
}
@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},
keywords = {journal}
}
@inproceedings{BliSif08-causal-fmco,
author = {Simon Bliudze and Joseph Sifakis},
title = {Causal Semantics for the {Algebra of Connectors}
(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},
keywords = {conference}
}
@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},
pdf = {http://www.bliudze.me/simon/articles/express-bliudze-sifakis-concur08.pdf},
keywords = {conference}
}
@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},
keywords = {conference}
}
@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},
keywords = {conference}
}
@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},
keywords = {conference}
}
@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},
keywords = {conference}
}
@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},
keywords = {conference}
}
@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},
keywords = {conference}
}
@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},
keywords = {conference}
}
@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},
keywords = {conference}
}
@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},
keywords = {conference}
}
@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, Victor 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},
keywords = {conference}
}
@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},
keywords = {conference}
}
@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 = {LNCS},
volume = 8997,
publisher = {Springer},
year = 2015,
doi = {10.1007/978-3-319-15317-9_18},
pdf = {https://www.bliudze.me/simon/articles/facs2014-preproceedings.pdf},
keywords = {conference}
}
@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 = {LNCS},
volume = {8950},
publisher = {Springer},
year = {2015},
doi = {10.1007/978-3-319-15545-6_24},
keywords = {conference}
}
@inproceedings{atva15,
title = {Formal verification of infinite-state
{BIP} models},
author = {Bliudze, Simon 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},
keywords = {conference}
}
@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}},
keywords = {conference}
}
@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 (TGC)},
volume = 9533,
series = {LNCS},
editor = {Ganty, Pierre and Loreti, Michele},
doi = {10.1007/978-3-319-28766-9_10},
publisher = {Springer International Publishing},
pages = {147--162},
keywords = {conference}
}
@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 (SETTA)},
year = 2015,
pages = {277--283},
editor = {Xuandong Li and Zhiming Liu and Wang Yi},
volume = 9409,
series = {LNCS},
month = oct,
doi = {10.1007/978-3-319-25942-0_18},
publisher = {Springer},
keywords = {conference}
}
@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},
keywords = {conference}
}
@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},
keywords = {conference}
}
@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},
keywords = {conference}
}
@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},
keywords = {conference}
}
@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},
keywords = {conference}
}
@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},
keywords = {conference}
}
@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 = {LNCS},
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},
keywords = {conference}
}
@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},
keywords = {conference}
}
@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 = {LNCS},
volume = {10466},
publisher = {Springer},
year = {2017},
doi = {10.1007/978-3-319-66176-6_12},
keywords = {conference}
}
@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 = {LNCS},
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},
keywords = {conference}
}
@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},
keywords = {conference}
}
@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},
keywords = {conference}
}
@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,
doi = {10.14279/tuj.eceasst.76.1103},
series = {Electronic Communications of the EASST Open Access
Journal},
volume = 76,
pages = {17 pages},
keywords = {conference}
}
@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 Int.\@ Conf.\@ on
Coordination Models and Languages (COOORDINATION)},
year = 2019,
publisher = {Springer},
series = {LNCS},
volume = 11533,
pages = {161--181},
doi = {10.1007/978-3-030-22397-7_10},
pdf = {http://www.bliudze.me/simon/articles/arch-pNets.pdf},
month = jun,
keywords = {conference}
}
@inproceedings{FBD22,
author = {Salman Farhat and Simon Bliudze and Laurence
Duchien},
title = {Safe Dynamic Reconfiguration of Concurrent
Component-based Applications},
booktitle = {{IEEE} 19th International Conference on Software
Architecture (ICSA) Companion 2022},
pages = {108--111},
publisher = {IEEE},
year = 2022,
url = {https://hal.science/hal-03585767},
doi = {10.1109/ICSA-C54293.2022.00027},
pdf = {https://hal.science/hal-03585767v1/file/main.pdf},
note = {Poster abstract},
keywords = {other}
}
@inproceedings{FBDK23-FeCo4Reco,
author = {Salman Farhat and Simon Bliudze and Laurence Duchien
and Olga Kouchnarenko},
title = {Toward Run-time Coordination of Reconfiguration
Requests in Cloud Computing Systems},
booktitle = {Proc.\@ of the 25th Int.\@ Conf.\@ on Coordination
Models and Languages (COORDINATION)},
series = {LNCS},
volume = 13908,
pages = {271--291},
publisher = {Springer},
year = 2023,
month = jun,
doi = {10.1007/978-3-031-35361-1_15},
keywords = {conference}
}
@inproceedings{BBHRS23-JavaBIP-VerCors,
author = {Simon Bliudze and Petra van den Bos and Marieke
Huisman and Robert Rubbens and Larisa Safina},
title = {{JavaBIP} meets {VerCors}: Towards the Safety of
Concurrent Software Systems in {Java}},
booktitle = {Proc.\@ of the 26th Int.\@ Conf.\@ on Fundamental
Approaches to Software Engineering (FASE), Held as
Part of ETAPS 2023},
series = {LNCS},
volume = 13991,
pages = {143--150},
publisher = {Springer},
year = 2023,
month = apr,
url = {https://tinyurl.com/fase23-paper},
doi = {10.1007/978-3-031-30826-0_8},
keywords = {conference}
}
@inproceedings{Wang24-BT2BIP,
author = {Qiang Wang and Huadong Dai and Yongxin Zhao and Min
Zhang and Simon Bliudze},
title = {Enabling Behaviour Tree Verification via a
Translation to {BIP}},
booktitle = {20th International Conference on Formal Aspects of
Component Software (FACS)},
series = {LNCS},
volume = 15189,
pages = {3--20},
publisher = {Springer},
year = 2024,
doi = {10.1007/978-3-031-71261-6_1},
keywords = {conference}
}
@inproceedings{FBDK24-composing-CBRTVM,
author = {Salman Farhat and Simon Bliudze and Laurence Duchien
and Olga Kouchnarenko},
title = {Composing Run-time Variability Models},
booktitle = {Proc.\@ of the 22nd International Conference on
Software Engineering and Formal Methods (SEFM)},
year = 2024,
month = nov,
series = {LNCS},
volume = 15280,
pages = {234--252},
doi = {10.1007/978-3-031-77382-2_14},
publisher = {Springer},
keywords = {conference}
}
This file was generated by bibtex2html 1.96.