BibTeX records: Jan Duracz

• > Home > Persons > Jan Duracz

@inproceedings{DBLP:conf/cyphy/DuraczABMPEDXZG19,
  author       = {Adam Duracz and
                  Ayman Aljarbouh and
                  Ferenc A. Bartha and
                  Jawad Masood and
                  Roland Philippsen and
                  Henrik Eriksson and
                  Jan Duracz and
                  Fei Xu and
                  Yingfu Zeng and
                  Christian Grante},
  editor       = {Roger D. Chamberlain and
                  Martin Edin Grimheden and
                  Walid Taha},
  title        = {Advanced Hazard Analysis and Risk Assessment in the {ISO} 26262 Functional
                  Safety Standard Using Rigorous Simulation},
  booktitle    = {Cyber Physical Systems. Model-Based Design - 9th International Workshop,
                  CyPhy 2019, and 15th International Workshop, {WESE} 2019, New York
                  City, NY, USA, October 17-18, 2019, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11971},
  pages        = {108--126},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-41131-2\_6},
  doi          = {10.1007/978-3-030-41131-2\_6},
  timestamp    = {Mon, 14 Dec 2020 08:24:12 +0100},
  biburl       = {https://dblp.org/rec/conf/cyphy/DuraczABMPEDXZG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iot360/TahaDZABBDXCKMM15,
  author       = {Walid Taha and
                  Adam Duracz and
                  Yingfu Zeng and
                  Kevin Atkinson and
                  Ferenc A. Bartha and
                  Paul Brauner and
                  Jan Duracz and
                  Fei Xu and
                  Robert Cartwright and
                  Michal Konecn{\'{y}} and
                  Eugenio Moggi and
                  Jawad Masood and
                  Pererik Andreasson and
                  Jun Inoue and
                  Anita Pinheiro Sant'Anna and
                  Roland Philippsen and
                  Alexandre Chapoutot and
                  Marcia O'Malley and
                  Aaron D. Ames and
                  Ver{\'{o}}nica Gaspes and
                  Lise Hvatum and
                  Shyam Mehta and
                  Henrik Eriksson and
                  Christian Grante},
  editor       = {Benny Mandler and
                  Johann M{\'{a}}rquez{-}Barja and
                  Miguel Elias Mitre Campista and
                  Dagmar Cag{\'{a}}nov{\'{a}} and
                  Hakima Chaouchi and
                  Sherali Zeadally and
                  Mohamad Badra and
                  Stefano Giordano and
                  Maria Fazio and
                  Andrey Somov and
                  Radu{-}Laurentiu Vieriu},
  title        = {Acumen: An Open-Source Testbed for Cyber-Physical Systems Research},
  booktitle    = {Internet of Things. IoT Infrastructures - Second International Summit,
                  IoT 360{\textdegree} 2015, Rome, Italy, October 27-29, 2015, Revised
                  Selected Papers, Part {I}},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {169},
  pages        = {118--130},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-47063-4\_11},
  doi          = {10.1007/978-3-319-47063-4\_11},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iot360/TahaDZABBDXCKMM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/DuraczK14,
  author       = {Jan Duracz and
                  Michal Konecn{\'{y}}},
  title        = {Polynomial function intervals for floating-point software verification},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {70},
  number       = {4},
  pages        = {351--398},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10472-014-9409-7},
  doi          = {10.1007/S10472-014-9409-7},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/DuraczK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icms/DuraczFKT14,
  author       = {Jan Duracz and
                  Amin Farjudian and
                  Michal Konecn{\'{y}} and
                  Walid Taha},
  editor       = {Hoon Hong and
                  Chee Yap},
  title        = {Function Interval Arithmetic},
  booktitle    = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
                  Seoul, South Korea, August 5-9, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8592},
  pages        = {677--684},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44199-2\_101},
  doi          = {10.1007/978-3-662-44199-2\_101},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icms/DuraczFKT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsna/KonecnyTDDA13,
  author       = {Michal Konecn{\'{y}} and
                  Walid Taha and
                  Jan Duracz and
                  Adam Duracz and
                  Aaron D. Ames},
  title        = {Enclosing the behavior of a hybrid system up to and beyond a Zeno
                  point},
  booktitle    = {1st {IEEE} International Conference on Cyber-Physical Systems, Networks,
                  and Applications, {CPSNA} 2013, Taipei, Taiwan, August 19-20, 2013},
  pages        = {120--125},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/CPSNA.2013.6614258},
  doi          = {10.1109/CPSNA.2013.6614258},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsna/KonecnyTDDA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}