BibTeX records: Muhammad Syifa'ul Mufid

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}
}
@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}
}
@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}
}
@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}
}
@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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics