Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Adam Duracz
@inproceedings{DBLP:conf/onward/PervaizYDBSICP022,
author = {Ahsan Pervaiz and
Yao{-}Hsiang Yang and
Adam Duracz and
Ferenc A. Bartha and
Ryuichi Sai and
Connor Imes and
Robert Cartwright and
Krishna V. Palem and
Shan Lu and
Henry Hoffmann},
editor = {Christophe Scholliers and
Jeremy Singer},
title = {{GOAL:} Supporting General and Dynamic Adaptation in Computing Systems},
booktitle = {Proceedings of the 2022 {ACM} {SIGPLAN} International Symposium on
New Ideas, New Paradigms, and Reflections on Programming and Software,
Onward! 2022, Auckland, New Zealand, December 8-10, 2022},
pages = {16--32},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3563835.3567655},
doi = {10.1145/3563835.3567655},
timestamp = {Fri, 02 Dec 2022 18:08:52 +0100},
biburl = {https://dblp.org/rec/conf/onward/PervaizYDBSICP022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BaratiBBCDFHIMM19,
author = {Saeid Barati and
Ferenc A. Bartha and
Swarnendu Biswas and
Robert Cartwright and
Adam Duracz and
Donald S. Fussell and
Henry Hoffmann and
Connor Imes and
Jason E. Miller and
Nikita Mishra and
Arvind and
Dung Nguyen and
Krishna V. Palem and
Yan Pei and
Keshav Pingali and
Ryuichi Sai and
Andrew Wright and
Yao{-}Hsiang Yang and
Sizhuo Zhang},
title = {Proteus: Language and Runtime Support for Self-Adaptive Software Development},
journal = {{IEEE} Softw.},
volume = {36},
number = {2},
pages = {73--82},
year = {2019},
url = {https://doi.org/10.1109/MS.2018.2884864},
doi = {10.1109/MS.2018.2884864},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/BaratiBBCDFHIMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@article{DBLP:journals/corr/abs-1907-08695,
author = {Yao{-}Hsiang Yang and
Adam Duracz and
Ferenc A. Bartha and
Ryuichi Sai and
Ahsan Pervaiz and
Saeid Barati and
Dung Nguyen and
Robert Cartwright and
Henry Hoffmann and
Krishna V. Palem},
title = {Language Support for Adaptation: Intent-Driven Programming in {FAST}},
journal = {CoRR},
volume = {abs/1907.08695},
year = {2019},
url = {http://arxiv.org/abs/1907.08695},
eprinttype = {arXiv},
eprint = {1907.08695},
timestamp = {Fri, 13 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-08695.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MoggiFDT18,
author = {Eugenio Moggi and
Amin Farjudian and
Adam Duracz and
Walid Taha},
title = {Safe {\&} robust reachability analysis of hybrid systems},
journal = {Theor. Comput. Sci.},
volume = {747},
pages = {75--99},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.06.020},
doi = {10.1016/J.TCS.2018.06.020},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MoggiFDT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DuraczMTL18,
author = {Adam Duracz and
Eugenio Moggi and
Walid Taha and
Zhenchao Lin},
editor = {Marten Lohstroh and
Patricia Derler and
Marjan Sirjani},
title = {A Semantic Account of Rigorous Simulation},
booktitle = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10760},
pages = {223--239},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95246-8\_13},
doi = {10.1007/978-3-319-95246-8\_13},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/DuraczMTL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-05658,
author = {Eugenio Moggi and
Amin Farjudian and
Adam Duracz and
Walid Taha},
title = {Safe {\&} Robust Reachability Analysis of Hybrid Systems},
journal = {CoRR},
volume = {abs/1709.05658},
year = {2017},
url = {http://arxiv.org/abs/1709.05658},
eprinttype = {arXiv},
eprint = {1709.05658},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-05658.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/se/Duracz16,
author = {Adam Duracz},
title = {Rigorous Simulation: Its Theory and Applications},
school = {Halmstad University, Sweden},
year = {2016},
url = {https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-32608},
urn = {urn:nbn:se:hh:diva-32608},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/se/Duracz16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/TahaZDXABCP16,
author = {Walid Taha and
Yingfu Zeng and
Adam Duracz and
Fei Xu and
Kevin Atkinson and
Paul Brauner and
Robert Cartwright and
Roland Philippsen},
title = {Developing a first course on cyber-physical systems},
journal = {{SIGBED} Rev.},
volume = {14},
number = {1},
pages = {44--52},
year = {2016},
url = {https://doi.org/10.1145/3036686.3036692},
doi = {10.1145/3036686.3036692},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/TahaZDXABCP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cse/AljarbouhZDCT16,
author = {Ayman Aljarbouh and
Yingfu Zeng and
Adam Duracz and
Beno{\^{\i}}t Caillaud and
Walid Taha},
title = {Chattering-Free Simulation for Hybrid Dynamical Systems Semantics
and Prototype Implementation},
booktitle = {2016 {IEEE} Intl Conference on Computational Science and Engineering,
{CSE} 2016, and {IEEE} Intl Conference on Embedded and Ubiquitous
Computing, {EUC} 2016, and 15th Intl Symposium on Distributed Computing
and Applications for Business Engineering, {DCABES} 2016, Paris, France,
August 24-26, 2016},
pages = {412--422},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CSE-EUC-DCABES.2016.217},
doi = {10.1109/CSE-EUC-DCABES.2016.217},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cse/AljarbouhZDCT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esweek/TahaHXDBZDG16,
author = {Walid Taha and
Lars{-}G{\"{o}}ran Hedstrom and
Fei Xu and
Adam Duracz and
Ferenc A. Bartha and
Yingfu Zeng and
Jennifer David and
Gaurav Gunjan},
editor = {Martin T{\"{o}}rngren and
Martin Edin Grimheden},
title = {Flipping a first course on cyber-physical systems: an experience report},
booktitle = {Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems
Education, {WESE} 2016, Pittsburgh, Pennsylvania, USA, October 1-7,
2016},
pages = {8:1--8:8},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/3005329.3005337},
doi = {10.1145/3005329.3005337},
timestamp = {Mon, 14 Dec 2020 08:24:13 +0100},
biburl = {https://dblp.org/rec/conf/esweek/TahaHXDBZDG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/DuraczEBXZT15,
author = {Adam Duracz and
Henrik Eriksson and
Ferenc A. Bartha and
Fei Xu and
Yingfu Zeng and
Walid Taha},
title = {Using Rigorous Simulation to Support {ISO} 26262 Hazard Analysis and
Risk Assessment},
booktitle = {17th {IEEE} International Conference on High Performance Computing
and Communications, {HPCC} 2015, 7th {IEEE} International Symposium
on Cyberspace Safety and Security, {CSS} 2015, and 12th {IEEE} International
Conference on Embedded Software and Systems, {ICESS} 2015, New York,
NY, USA, August 24-26, 2015},
pages = {1093--1096},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/HPCC-CSS-ICESS.2015.296},
doi = {10.1109/HPCC-CSS-ICESS.2015.296},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/hpcc/DuraczEBXZT15.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}
}
@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}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
