BibTeX records: Dieky Adzkiya

download as .bib file

@inproceedings{DBLP:conf/cpsweek/FrehseAABBCGGMM19,
  author    = {Goran Frehse and
               Alessandro Abate and
               Dieky Adzkiya and
               Anna Becchi and
               Lei Bu and
               Alessandro Cimatti and
               Mirco Giacobbe and
               Alberto Griggio and
               Sergio Mover and
               Muhammad Syifa'ul Mufid and
               Idriss Riouak and
               Stefano Tonetta and
               Enea Zaffanella},
  title     = {{ARCH-COMP19} Category Report: Hybrid Systems with Piecewise Constant
               Dynamics},
  booktitle = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
               and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
               April 15, 2019.},
  pages     = {1--13},
  year      = {2019},
  crossref  = {DBLP:conf/cpsweek/2019arch},
  url       = {http://www.easychair.org/publications/paper/MTXh},
  timestamp = {Wed, 03 Jul 2019 10:06:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/FrehseAABBCGGMM19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MufidAA19,
  author    = {Muhammad Syifa'ul Mufid and
               Dieky Adzkiya and
               Alessandro Abate},
  title     = {Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 17th International
               Conference, {FORMATS} 2019, Amsterdam, The Netherlands, August 27-29,
               2019, Proceedings},
  pages     = {142--159},
  year      = {2019},
  crossref  = {DBLP:conf/formats/2019},
  url       = {https://doi.org/10.1007/978-3-030-29662-9\_9},
  doi       = {10.1007/978-3-030-29662-9\_9},
  timestamp = {Tue, 20 Aug 2019 11:03:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/MufidAA19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-03564,
  author    = {Muhammad Syifa'ul Mufid and
               Dieky Adzkiya and
               Alessandro Abate},
  title     = {Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions},
  journal   = {CoRR},
  volume    = {abs/1907.03564},
  year      = {2019},
  url       = {http://arxiv.org/abs/1907.03564},
  archivePrefix = {arXiv},
  eprint    = {1907.03564},
  timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1907-03564},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/FahimA18,
  author    = {Kistosil Fahim and
               Dieky Adzkiya},
  title     = {Generalized public transportation scheduling using max-plus algebra},
  journal   = {Kybernetika},
  volume    = {54},
  number    = {2},
  pages     = {243--267},
  year      = {2018},
  url       = {https://doi.org/10.14736/kyb-2018-2-0243},
  doi       = {10.14736/kyb-2018-2-0243},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/kybernetika/FahimA18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/FrehseAABGMZ18,
  author    = {Goran Frehse and
               Alessandro Abate and
               Dieky Adzkiya and
               Lei Bu and
               Mirco Giacobbe and
               Muhammad Syifa'ul Mufid and
               Enea Zaffanella},
  title     = {{ARCH-COMP18} Category Report: Hybrid Systems with Piecewise Constant
               Dynamics},
  booktitle = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous
               and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
  pages     = {1--13},
  year      = {2018},
  crossref  = {DBLP:conf/adhs/2018arch},
  url       = {http://www.easychair.org/publications/paper/bXtM},
  timestamp = {Fri, 15 Feb 2019 14:30:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/adhs/FrehseAABGMZ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MufidAA18,
  author    = {Muhammad Syifa'ul Mufid and
               Dieky Adzkiya and
               Alessandro Abate},
  title     = {Tropical Abstractions of Max-Plus Linear Systems},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
               Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
  pages     = {271--287},
  year      = {2018},
  crossref  = {DBLP:conf/formats/2018},
  url       = {https://doi.org/10.1007/978-3-030-00151-3\_16},
  doi       = {10.1007/978-3-030-00151-3\_16},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/MufidAA18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inns/Adzkiya18,
  author    = {Dieky Adzkiya},
  title     = {Preface: 3\({}^{\mbox{rd}}\) {INNS} Conference on Big Data and Deep
               Learning 2018},
  booktitle = {{INNS} Conference on Big Data and Deep Learning 2018, Sanur, Bali,
               Indonesia, 17-19 April 2018},
  pages     = {1},
  year      = {2018},
  crossref  = {DBLP:conf/inns/2018},
  url       = {https://doi.org/10.1016/j.procs.2018.10.498},
  doi       = {10.1016/j.procs.2018.10.498},
  timestamp = {Tue, 22 Jan 2019 10:09:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/inns/Adzkiya18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-04604,
  author    = {Muhammad Syifa'ul Mufid and
               Dieky Adzkiya and
               Alessandro Abate},
  title     = {Tropical Abstractions of Max-Plus-Linear Systems},
  journal   = {CoRR},
  volume    = {abs/1806.04604},
  year      = {2018},
  url       = {http://arxiv.org/abs/1806.04604},
  archivePrefix = {arXiv},
  eprint    = {1806.04604},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1806-04604},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/FrehseAABG17,
  author    = {Goran Frehse and
               Alessandro Abate and
               Dieky Adzkiya and
               Lei Bu and
               Mirco Giacobbe},
  title     = {{ARCH-COMP17} Category Report: Hybrid Systems with Piecewise Constant
               Dynamics},
  booktitle = {{ARCH17.} 4th International Workshop on Applied Verification of Continuous
               and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek)
               on April 17, 2017 in Pittsburgh, PA, {USA}},
  pages     = {124--133},
  year      = {2017},
  crossref  = {DBLP:conf/cpsweek/2017arch},
  url       = {http://www.easychair.org/publications/paper/352402},
  timestamp = {Wed, 16 Aug 2017 16:30:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/FrehseAABG17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/AdzkiyaZA16,
  author    = {Dieky Adzkiya and
               Yining Zhang and
               Alessandro Abate},
  title     = {VeriSiMPL 2: An open-source software for the verification of max-plus-linear
               systems},
  journal   = {Discrete Event Dynamic Systems},
  volume    = {26},
  number    = {1},
  pages     = {109--145},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10626-015-0218-x},
  doi       = {10.1007/s10626-015-0218-x},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/deds/AdzkiyaZA16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/SubionoMA16,
  author    = {Subiono and
               Muhammad Syifa'ul Mufid and
               Dieky Adzkiya},
  title     = {Eigenproblems of latin squares in bipartite (min, max, +)-systems},
  journal   = {Discrete Event Dynamic Systems},
  volume    = {26},
  number    = {4},
  pages     = {657--668},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10626-014-0204-8},
  doi       = {10.1007/s10626-014-0204-8},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/deds/SubionoMA16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/SoudjaniAA16,
  author    = {Sadegh Esmaeil Zadeh Soudjani and
               Dieky Adzkiya and
               Alessandro Abate},
  title     = {Formal Verification of Stochastic Max-Plus-Linear Systems},
  journal   = {{IEEE} Trans. Automat. Contr.},
  volume    = {61},
  number    = {10},
  pages     = {2861--2876},
  year      = {2016},
  url       = {https://doi.org/10.1109/TAC.2015.2502781},
  doi       = {10.1109/TAC.2015.2502781},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tac/SoudjaniAA16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/DosciattiTRBFEA16,
  author    = {Eden R. Dosciatti and
               Marcelo Teixeira and
               Richardson Ribeiro and
               Marco A. C. Barbosa and
               F{\'{a}}bio Favarim and
               Fabr{\'{\i}}cio Enembreck and
               Dieky Adzkiya},
  title     = {Resources Planning in Database Infrastructures},
  booktitle = {{ICEIS} 2016 - Proceedings of the 18th International Conference on
               Enterprise Information Systems, Volume 1, Rome, Italy, April 25-28,
               2016},
  pages     = {53--62},
  year      = {2016},
  crossref  = {DBLP:conf/iceis/2016-1},
  url       = {https://doi.org/10.5220/0005831700530062},
  doi       = {10.5220/0005831700530062},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceis/DosciattiTRBFEA16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/RostampourASSK16,
  author    = {Vahab Rostampour and
               Dieky Adzkiya and
               Sadegh Esmaeil Zadeh Soudjani and
               Bart De Schutter and
               Tam{\'{a}}s Keviczky},
  title     = {Chance-constrained model predictive controller synthesis for stochastic
               max-plus linear systems},
  booktitle = {2016 {IEEE} International Conference on Systems, Man, and Cybernetics,
               {SMC} 2016, Budapest, Hungary, October 9-12, 2016},
  pages     = {3581--3588},
  year      = {2016},
  crossref  = {DBLP:conf/smc/2016},
  url       = {https://doi.org/10.1109/SMC.2016.7844789},
  doi       = {10.1109/SMC.2016.7844789},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/smc/RostampourASSK16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AdzkiyaM16,
  author    = {Dieky Adzkiya and
               Manuel Mazo Jr.},
  title     = {Scheduling of Event-Triggered Networked Control Systems using Timed
               Game Automata},
  journal   = {CoRR},
  volume    = {abs/1610.03729},
  year      = {2016},
  url       = {http://arxiv.org/abs/1610.03729},
  archivePrefix = {arXiv},
  eprint    = {1610.03729},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AdzkiyaM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/AdzkiyaSA15,
  author    = {Dieky Adzkiya and
               Bart De Schutter and
               Alessandro Abate},
  title     = {Computational techniques for reachability analysis of Max-Plus-Linear
               systems},
  journal   = {Automatica},
  volume    = {53},
  pages     = {293--302},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.automatica.2015.01.002},
  doi       = {10.1016/j.automatica.2015.01.002},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/automatica/AdzkiyaSA15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/KolarijaniAM15,
  author    = {Arman Sharifi Kolarijani and
               Dieky Adzkiya and
               Manuel Mazo Jr.},
  title     = {Symbolic abstractions for the scheduling of event-triggered control
               systems},
  booktitle = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka,
               Japan, December 15-18, 2015},
  pages     = {6153--6158},
  year      = {2015},
  crossref  = {DBLP:conf/cdc/2015},
  url       = {https://doi.org/10.1109/CDC.2015.7403187},
  doi       = {10.1109/CDC.2015.7403187},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cdc/KolarijaniAM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Adzkiya14,
  author    = {Dieky Adzkiya},
  title     = {Finite Abstractions of Max-Plus-Linear Systems: Theory and Algorithms},
  school    = {Delft University of Technology, Netherlands},
  year      = {2014},
  url       = {http://resolver.tudelft.nl/uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b},
  timestamp = {Wed, 03 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/basesearch/Adzkiya14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AdzkiyaSA14,
  author    = {Dieky Adzkiya and
               Sadegh Esmaeil Zadeh Soudjani and
               Alessandro Abate},
  title     = {Finite Abstractions of Stochastic Max-Plus-Linear Systems},
  booktitle = {Quantitative Evaluation of Systems - 11th International Conference,
               {QEST} 2014, Florence, Italy, September 8-10, 2014. Proceedings},
  pages     = {74--89},
  year      = {2014},
  crossref  = {DBLP:conf/qest/2014},
  url       = {https://doi.org/10.1007/978-3-319-10696-0\_7},
  doi       = {10.1007/978-3-319-10696-0\_7},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/AdzkiyaSA14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AdzkiyaSA14,
  author    = {Dieky Adzkiya and
               Bart De Schutter and
               Alessandro Abate},
  title     = {Forward Reachability Computation for Autonomous Max-Plus-Linear Systems},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 20th International Conference, {TACAS} 2014, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2014, Grenoble, France, April 5-13, 2014. Proceedings},
  pages     = {248--262},
  year      = {2014},
  crossref  = {DBLP:conf/tacas/2014},
  url       = {https://doi.org/10.1007/978-3-642-54862-8\_17},
  doi       = {10.1007/978-3-642-54862-8\_17},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/AdzkiyaSA14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/AdzkiyaSA14,
  author    = {Dieky Adzkiya and
               Bart De Schutter and
               Alessandro Abate},
  title     = {Backward Reachability of Autonomous Max-Plus-Linear Systems},
  booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
               Cachan, France, May 14-16, 2014.},
  pages     = {117--122},
  year      = {2014},
  crossref  = {DBLP:conf/wodes/2014},
  url       = {https://doi.org/10.3182/20140514-3-FR-4046.00056},
  doi       = {10.3182/20140514-3-FR-4046.00056},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wodes/AdzkiyaSA14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/AdzkiyaSA13,
  author    = {Dieky Adzkiya and
               Bart De Schutter and
               Alessandro Abate},
  title     = {Finite Abstractions of Max-Plus-Linear Systems},
  journal   = {{IEEE} Trans. Automat. Contr.},
  volume    = {58},
  number    = {12},
  pages     = {3039--3053},
  year      = {2013},
  url       = {https://doi.org/10.1109/TAC.2013.2273299},
  doi       = {10.1109/TAC.2013.2273299},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tac/AdzkiyaSA13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/AdzkiyaSA13,
  author    = {Dieky Adzkiya and
               Bart De Schutter and
               Alessandro Abate},
  title     = {Finite abstractions of nonautonomous Max-Plus-Linear systems},
  booktitle = {American Control Conference, {ACC} 2013, Washington, DC, USA, June
               17-19, 2013},
  pages     = {4387--4392},
  year      = {2013},
  crossref  = {DBLP:conf/amcc/2013},
  url       = {http://ieeexplore.ieee.org/document/6580515/},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amcc/AdzkiyaSA13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AdzkiyaA13,
  author    = {Dieky Adzkiya and
               Alessandro Abate},
  title     = {VeriSiMPL: Verification via biSimulations of {MPL} Models},
  booktitle = {Quantitative Evaluation of Systems - 10th International Conference,
               {QEST} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
  pages     = {274--277},
  year      = {2013},
  crossref  = {DBLP:conf/qest/2013},
  url       = {https://doi.org/10.1007/978-3-642-40196-1\_22},
  doi       = {10.1007/978-3-642-40196-1\_22},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/AdzkiyaA13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/AdzkiyaSA12,
  author    = {Dieky Adzkiya and
               Bart De Schutter and
               Alessandro Abate},
  title     = {Abstraction and verification of autonomous Max-Plus-Linear systems},
  booktitle = {American Control Conference, {ACC} 2012, Montreal, QC, Canada, June
               27-29, 2012},
  pages     = {721--726},
  year      = {2012},
  crossref  = {DBLP:conf/amcc/2012},
  url       = {http://ieeexplore.ieee.org/document/6314945/},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amcc/AdzkiyaSA12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpsweek/2019arch,
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
               and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
               April 15, 2019},
  series    = {EPiC Series in Computing},
  volume    = {61},
  publisher = {EasyChair},
  year      = {2019},
  url       = {http://www.easychair.org/publications/volume/ARCH19},
  timestamp = {Wed, 03 Jul 2019 10:06:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/2019arch},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2019,
  editor    = {{\'{E}}tienne Andr{\'{e}} and
               Mari{\"{e}}lle Stoelinga},
  title     = {Formal Modeling and Analysis of Timed Systems - 17th International
               Conference, {FORMATS} 2019, Amsterdam, The Netherlands, August 27-29,
               2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11750},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-29662-9},
  doi       = {10.1007/978-3-030-29662-9},
  isbn      = {978-3-030-29661-2},
  timestamp = {Tue, 20 Aug 2019 11:03:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adhs/2018arch,
  editor    = {Goran Frehse and
               Matthias Althoff and
               Sergiy Bogomolov and
               Taylor T. Johnson},
  title     = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous
               and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
  series    = {EPiC Series in Computing},
  volume    = {54},
  publisher = {EasyChair},
  year      = {2018},
  url       = {http://www.easychair.org/publications/volume/ARCH18},
  timestamp = {Fri, 15 Feb 2019 14:30:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/adhs/2018arch},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2018,
  editor    = {David N. Jansen and
               Pavithra Prabhakar},
  title     = {Formal Modeling and Analysis of Timed Systems - 16th International
               Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11022},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-00151-3},
  doi       = {10.1007/978-3-030-00151-3},
  isbn      = {978-3-030-00150-6},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/inns/2018,
  editor    = {Seiichi Ozawa and
               Ah{-}Hwee Tan and
               Plamen P. Angelov and
               Asim Roy and
               Mahardhika Pratama},
  title     = {{INNS} Conference on Big Data and Deep Learning 2018, Sanur, Bali,
               Indonesia, 17-19 April 2018},
  series    = {Procedia Computer Science},
  volume    = {144},
  publisher = {Elsevier},
  year      = {2018},
  url       = {https://www.sciencedirect.com/journal/procedia-computer-science/vol/144/suppl/C},
  timestamp = {Tue, 22 Jan 2019 10:09:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/inns/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpsweek/2017arch,
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {{ARCH17.} 4th International Workshop on Applied Verification of Continuous
               and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek)
               on April 17, 2017 in Pittsburgh, PA, {USA}},
  series    = {EPiC Series in Computing},
  volume    = {48},
  publisher = {EasyChair},
  year      = {2017},
  url       = {http://www.easychair.org/publications/volume/ARCH17},
  timestamp = {Wed, 16 Aug 2017 16:30:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/2017arch},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceis/2016-1,
  editor    = {Slimane Hammoudi and
               Leszek A. Maciaszek and
               Michele Missikoff and
               Olivier Camp and
               Jos{\'{e}} Cordeiro},
  title     = {{ICEIS} 2016 - Proceedings of the 18th International Conference on
               Enterprise Information Systems, Volume 1, Rome, Italy, April 25-28,
               2016},
  publisher = {SciTePress},
  year      = {2016},
  isbn      = {978-989-758-187-8},
  timestamp = {Tue, 09 Aug 2016 10:57:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceis/2016-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smc/2016,
  title     = {2016 {IEEE} International Conference on Systems, Man, and Cybernetics,
               {SMC} 2016, Budapest, Hungary, October 9-12, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7830913/proceeding},
  isbn      = {978-1-5090-1897-0},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/smc/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cdc/2015,
  title     = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka,
               Japan, December 15-18, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7396016/proceeding},
  isbn      = {978-1-4799-7886-1},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cdc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2014,
  editor    = {Gethin Norman and
               William H. Sanders},
  title     = {Quantitative Evaluation of Systems - 11th International Conference,
               {QEST} 2014, Florence, Italy, September 8-10, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8657},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10696-0},
  doi       = {10.1007/978-3-319-10696-0},
  isbn      = {978-3-319-10695-3},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2014,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Klaus Havelund},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 20th International Conference, {TACAS} 2014, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2014, Grenoble, France, April 5-13, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8413},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54862-8},
  doi       = {10.1007/978-3-642-54862-8},
  isbn      = {978-3-642-54861-1},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wodes/2014,
  editor    = {Jean{-}Jacques Lesage and
               Jean{-}Marc Faure and
               Jos{\'{e}} E. R. Cury and
               Bengt Lennartson},
  title     = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
               Cachan, France, May 14-16, 2014},
  publisher = {International Federation of Automatic Control},
  year      = {2014},
  url       = {http://www.ifac-papersonline.net/Discrete\_Event\_Systems/12th\_International\_Workshop\_on\_Discrete\_Event\_Systems\_\_2014\_/index.html},
  isbn      = {978-3-902823-61-8},
  timestamp = {Wed, 26 Nov 2014 19:30:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wodes/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amcc/2013,
  title     = {American Control Conference, {ACC} 2013, Washington, DC, USA, June
               17-19, 2013},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6573242/proceeding},
  isbn      = {978-1-4799-0177-7},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amcc/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2013,
  editor    = {Kaustubh R. Joshi and
               Markus Siegle and
               Mari{\"{e}}lle Stoelinga and
               Pedro R. D'Argenio},
  title     = {Quantitative Evaluation of Systems - 10th International Conference,
               {QEST} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8054},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40196-1},
  doi       = {10.1007/978-3-642-40196-1},
  isbn      = {978-3-642-40195-4},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amcc/2012,
  title     = {American Control Conference, {ACC} 2012, Montreal, QC, Canada, June
               27-29, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6297579/proceeding},
  isbn      = {978-1-4577-1095-7},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amcc/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics