BibTeX records: Mani Swaminathan

download as .bib file

@inproceedings{DBLP:conf/gi/BarthFMVRCS19,
  author    = {Benjamin Barth and
               Monika Friedemann and
               Martin M{\"{u}}hlbauer and
               Jordi Vendrell and
               Torsten Riedlinger and
               Tomaso de Cola and
               Mani Swaminathan},
  editor    = {Claude Draude and
               Martin Lange and
               Bernhard Sick},
  title     = {Design of a multi-hazard collaborative system for scenario-based response
               planning},
  booktitle = {49. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, 50 Jahre
               Gesellschaft f{\"{u}}r Informatik - Informatik f{\"{u}}r
               Gesellschaft, {INFORMATIK} 2019 - Workshops, Kassel, Germany, September
               23-26, 2019},
  series    = {{LNI}},
  volume    = {{P-295}},
  pages     = {559--570},
  publisher = {{GI}},
  year      = {2019},
  url       = {https://doi.org/10.18420/inf2019\_ws59},
  doi       = {10.18420/inf2019\_ws59},
  timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/gi/BarthFMVRCS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FranzleSS018,
  author    = {Martin Fr{\"{a}}nzle and
               Mahsa Shirmohammadi and
               Mani Swaminathan and
               James Worrell},
  editor    = {Ioannis Chatzigiannakis and
               Christos Kaklamanis and
               D{\'{a}}niel Marx and
               Donald Sannella},
  title     = {Costs and Rewards in Priced Timed Automata},
  booktitle = {45th International Colloquium on Automata, Languages, and Programming,
               {ICALP} 2018, July 9-13, 2018, Prague, Czech Republic},
  series    = {LIPIcs},
  volume    = {107},
  pages     = {125:1--125:14},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2018},
  url       = {https://doi.org/10.4230/LIPIcs.ICALP.2018.125},
  doi       = {10.4230/LIPIcs.ICALP.2018.125},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icalp/FranzleSS018.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-01914,
  author    = {Martin Fr{\"{a}}nzle and
               Mahsa Shirmohammadi and
               Mani Swaminathan and
               James Worrell},
  title     = {Costs and Rewards in Priced Timed Automata},
  journal   = {CoRR},
  volume    = {abs/1803.01914},
  year      = {2018},
  url       = {http://arxiv.org/abs/1803.01914},
  archivePrefix = {arXiv},
  eprint    = {1803.01914},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1803-01914.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Swaminathan16,
  author    = {Mani Swaminathan},
  title     = {Quantitative and structural analysis of real-time and probabilistic
               systems},
  school    = {University of Oldenburg, Germany},
  year      = {2016},
  url       = {http://oops.uni-oldenburg.de/2816},
  urn       = {urn:nbn:de:gbv:715-oops-28972},
  timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/phd/dnb/Swaminathan16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/OlderogS15,
  author    = {Ernst{-}R{\"{u}}diger Olderog and
               Mani Swaminathan},
  title     = {Structural transformations for data-enriched real-time systems},
  journal   = {Formal Aspects Comput.},
  volume    = {27},
  number    = {4},
  pages     = {727--750},
  year      = {2015},
  url       = {https://doi.org/10.1007/s00165-014-0306-y},
  doi       = {10.1007/s00165-014-0306-y},
  timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fac/OlderogS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/OlderogS13,
  author    = {Ernst{-}R{\"{u}}diger Olderog and
               Mani Swaminathan},
  editor    = {Einar Broch Johnsen and
               Luigia Petre},
  title     = {Structural Transformations for Data-Enriched Real-Time Systems},
  booktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
               Turku, Finland, June 10-14, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7940},
  pages     = {378--393},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38613-8\_26},
  doi       = {10.1007/978-3-642-38613-8\_26},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/ifm/OlderogS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SwaminathanKO12,
  author    = {Mani Swaminathan and
               Joost{-}Pieter Katoen and
               Ernst{-}R{\"{u}}diger Olderog},
  title     = {Layered reasoning for randomized distributed algorithms},
  journal   = {Formal Aspects Comput.},
  volume    = {24},
  number    = {4-6},
  pages     = {477--496},
  year      = {2012},
  url       = {https://doi.org/10.1007/s00165-012-0231-x},
  doi       = {10.1007/s00165-012-0231-x},
  timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fac/SwaminathanKO12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/OlderogS10,
  author    = {Ernst{-}R{\"{u}}diger Olderog and
               Mani Swaminathan},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {Layered Composition for Timed Automata},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {228--242},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_18},
  doi       = {10.1007/978-3-642-15297-9\_18},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/OlderogS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/FranzleS09,
  author    = {Martin Fr{\"{a}}nzle and
               Mani Swaminathan},
  editor    = {Jo{\"{e}}l Ouaknine and
               Frits W. Vaandrager},
  title     = {Revisiting Decidability and Optimum Reachability for Multi-Priced
               Timed Automata},
  booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
               {FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5813},
  pages     = {149--163},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04368-0\_13},
  doi       = {10.1007/978-3-642-04368-0\_13},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/FranzleS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/SwaminathanFK08,
  author    = {Mani Swaminathan and
               Martin Fr{\"{a}}nzle and
               Joost{-}Pieter Katoen},
  editor    = {Giorgio Ausiello and
               Juhani Karhum{\"{a}}ki and
               Giancarlo Mauri and
               C.{-}H. Luke Ong},
  title     = {The Surprising Robustness of (Closed) Timed Automata against Clock-Drift},
  booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science
               - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
               of Computer Science, September 7-10, 2008, Milano, Italy},
  series    = {{IFIP}},
  volume    = {273},
  pages     = {537--553},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-0-387-09680-3\_36},
  doi       = {10.1007/978-0-387-09680-3\_36},
  timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
  biburl    = {https://dblp.org/rec/conf/ifipTCS/SwaminathanFK08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/SwaminathanF07,
  author    = {Mani Swaminathan and
               Martin Fr{\"{a}}nzle},
  title     = {A Symbolic Decision Procedure for Robust Safety of Timed Systems},
  booktitle = {14th International Symposium on Temporal Representation and Reasoning
               {(TIME} 2007), 28-30 June 2007, Alicante, Spain},
  pages     = {192},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {https://doi.org/10.1109/TIME.2007.39},
  doi       = {10.1109/TIME.2007.39},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/conf/time/SwaminathanF07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BeckerHPBKPDLRWGMSHMW06,
  author    = {Steffen Becker and
               Wilhelm Hasselbring and
               Alexandra Paul and
               Marko Boskovic and
               Heiko Koziolek and
               Jan Ploski and
               Abhishek Dhama and
               Henrik Lipskoch and
               Matthias Rohr and
               Daniel Winteler and
               Simon Giesecke and
               Roland Meyer and
               Mani Swaminathan and
               Jens Happe and
               Margarete Muhle and
               Timo Warns},
  title     = {Trustworthy software systems: a discussion of basic concepts and terminology},
  journal   = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume    = {31},
  number    = {6},
  pages     = {1--18},
  year      = {2006},
  url       = {https://doi.org/10.1145/1218776.1218781},
  doi       = {10.1145/1218776.1218781},
  timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sigsoft/BeckerHPBKPDLRWGMSHMW06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics