Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gabor Karsai
@inproceedings{DBLP:conf/iccps/LuoRPKKM23,
author = {Baiting Luo and
Shreyas Ramakrishna and
Ava Pettet and
Christopher B. Kuhn and
Gabor Karsai and
Ayan Mukhopadhyay},
editor = {Sayan Mitra and
Nalini Venkatasubramanian and
Abhishek Dubey and
Lu Feng and
Mahsa Ghasemi and
Jonathan Sprinkle},
title = {Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber
Physical Systems},
booktitle = {Proceedings of the {ACM/IEEE} 14th International Conference on Cyber-Physical
Systems, {ICCPS} 2023, (with CPS-IoT Week 2023), San Antonio, TX,
USA, May 9-12, 2023},
pages = {177--186},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576841.3585934},
doi = {10.1145/3576841.3585934},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/LuoRPKKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/GhoshK23,
author = {Purboday Ghosh and
Gabor Karsai},
title = {Distributed Cyber Physical Systems Software Model Checking using Timed
Automata},
booktitle = {26th {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2023, Nashville, TN, USA, May 23-25, 2023},
pages = {164--169},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISORC58943.2023.00030},
doi = {10.1109/ISORC58943.2023.00030},
timestamp = {Mon, 07 Aug 2023 15:56:27 +0200},
biburl = {https://dblp.org/rec/conf/isorc/GhoshK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/GhoshBKKDL23,
author = {Purboday Ghosh and
Niloy Barua and
Timothy Krentz and
Gabor Karsai and
Abhishek Dubey and
Srdjan M. Lukic},
title = {Distributed Control Application for Smart Grids using {RIAPS}},
booktitle = {2023 {IEEE} International Conference on Smart Computing, {SMARTCOMP}
2023, Nashville, TN, USA, June 26-30, 2023},
pages = {186--188},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SMARTCOMP58114.2023.00042},
doi = {10.1109/SMARTCOMP58114.2023.00042},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smartcomp/GhoshBKKDL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/BhadaniKTL23,
author = {Rahul Bhadani and
Gabor Karsai and
Hao Tu and
Srdjan M. Lukic},
title = {Modeling and Real-Time Simulation of Microgrid Components Using Systemc-Ams},
booktitle = {Winter Simulation Conference, {WSC} 2023, San Antonio, TX, USA, December
10-13, 2023},
pages = {3214--3225},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/WSC60868.2023.10408025},
doi = {10.1109/WSC60868.2023.10408025},
timestamp = {Sat, 24 Feb 2024 20:42:44 +0100},
biburl = {https://dblp.org/rec/conf/wsc/BhadaniKTL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-09750,
author = {Baiting Luo and
Shreyas Ramakrishna and
Ava Pettet and
Christopher B. Kuhn and
Gabor Karsai and
Ayan Mukhopadhyay},
title = {Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber
Physical Systems},
journal = {CoRR},
volume = {abs/2302.09750},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.09750},
doi = {10.48550/ARXIV.2302.09750},
eprinttype = {arXiv},
eprint = {2302.09750},
timestamp = {Thu, 23 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-09750.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/RamakrishnaRKED22,
author = {Shreyas Ramakrishna and
Zahra RahimiNasab and
Gabor Karsai and
Arvind Easwaran and
Abhishek Dubey},
title = {Efficient Out-of-Distribution Detection Using Latent Space of \emph{{\(\beta\)}}-VAE
for Cyber-Physical Systems},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {6},
number = {2},
pages = {15:1--15:34},
year = {2022},
url = {https://doi.org/10.1145/3491243},
doi = {10.1145/3491243},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcps/RamakrishnaRKED22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coins/GhoshTKKL22,
author = {Purboday Ghosh and
Hao Tu and
Timothy Krentz and
Gabor Karsai and
Srdjan M. Lukic},
title = {An Automated Deployment and Testing Framework for Resilient Distributed
Smart Grid Applications},
booktitle = {{IEEE} International Conference on Omni-layer Intelligent Systems,
{COINS} 2022, Barcelona, Spain, August 1-3, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/COINS54846.2022.9854934},
doi = {10.1109/COINS54846.2022.9854934},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coins/GhoshTKKL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/RamakrishnaLBKD22,
author = {Shreyas Ramakrishna and
Baiting Luo and
Yogesh D. Barve and
Gabor Karsai and
Abhishek Dubey},
title = {Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2022,
Virtual Event / Fajardo, PR, USA, March 22-24, 2022},
pages = {107--116},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICAA52185.2022.00022},
doi = {10.1109/ICAA52185.2022.00022},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icaa2/RamakrishnaLBKD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccn/GhoshSLMK22,
author = {Purboday Ghosh and
Shashank Shekhar and
Yashen Lin and
Ulrich M{\"{u}}nz and
Gabor Karsai},
title = {Peer-to-Peer Communication Trade-Offs for Smart Grid Applications},
booktitle = {31st International Conference on Computer Communications and Networks,
{ICCCN} 2022, Honolulu, HI, USA, July 25-28, 2022},
pages = {1--10},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICCCN54977.2022.9868911},
doi = {10.1109/ICCCN54977.2022.9868911},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icccn/GhoshSLMK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KarsaiB22,
author = {Gabor Karsai and
Daniel Balasubramanian},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Assurance Provenance: The Next Challenge in Software Documentation},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {90--104},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_6},
doi = {10.1007/978-3-031-19756-7\_6},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/KarsaiB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/RamakrishnaLKKD22,
author = {Shreyas Ramakrishna and
Baiting Luo and
Christopher B. Kuhn and
Gabor Karsai and
Abhishek Dubey},
title = {{ANTI-CARLA:} An Adversarial Testing Framework for Autonomous Vehicles
in {CARLA}},
booktitle = {25th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
pages = {2620--2627},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ITSC55140.2022.9921776},
doi = {10.1109/ITSC55140.2022.9921776},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itsc/RamakrishnaLKKD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/Karsai22,
author = {Gabor Karsai},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Edwin Seidewitz},
title = {Model-based Development and Assurance of Learning-enabled Cyber-Physical
Systems},
booktitle = {Proceedings of the 10th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2022, Online Streaming, February
6-8, 2022},
pages = {7},
publisher = {{SCITEPRESS}},
year = {2022},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/Karsai22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2205-11706,
author = {Alessandro Coglio and
Eric McCarthy and
Stephen J. Westfold and
Daniel Balasubramanian and
Abhishek Dubey and
Gabor Karsai},
editor = {Rob Sumners and
Cuong Chau},
title = {Syntheto: {A} Surface Language for {APT} and {ACL2}},
booktitle = {Proceedings Seventeenth International Workshop on the {ACL2} Theorem
Prover and its Applications, Austin, Texas, USA, 26th-27th May 2022},
series = {{EPTCS}},
volume = {359},
pages = {151--167},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.359.13},
doi = {10.4204/EPTCS.359.13},
timestamp = {Tue, 05 Jul 2022 12:50:48 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-11706.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-13510,
author = {Shreyas Ramakrishna and
Baiting Luo and
Yogesh D. Barve and
Gabor Karsai and
Abhishek Dubey},
title = {Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems},
journal = {CoRR},
volume = {abs/2202.13510},
year = {2022},
url = {https://arxiv.org/abs/2202.13510},
eprinttype = {arXiv},
eprint = {2202.13510},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-13510.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-13000,
author = {Purboday Ghosh and
Hao Tu and
Timothy Krentz and
Gabor Karsai and
Srdjan M. Lukic},
title = {An Automated Deployment and Testing Framework for Resilient Distributed
Smart Grid Applications},
journal = {CoRR},
volume = {abs/2206.13000},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.13000},
doi = {10.48550/ARXIV.2206.13000},
eprinttype = {arXiv},
eprint = {2206.13000},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-13000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-06309,
author = {Shreyas Ramakrishna and
Baiting Luo and
Christopher B. Kuhn and
Gabor Karsai and
Abhishek Dubey},
title = {{ANTI-CARLA:} An Adversarial Testing Framework for Autonomous Vehicles
in {CARLA}},
journal = {CoRR},
volume = {abs/2208.06309},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.06309},
doi = {10.48550/ARXIV.2208.06309},
eprinttype = {arXiv},
eprint = {2208.06309},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-06309.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/StojcsicsBMKK21,
author = {D{\'{a}}niel Stojcsics and
Dimitrios Boursinos and
Nagabhushan Mahadevan and
Xenofon D. Koutsoukos and
Gabor Karsai},
title = {Fault-Adaptive Autonomy in Systems with Learning-Enabled Components},
journal = {Sensors},
volume = {21},
number = {18},
pages = {6089},
year = {2021},
url = {https://doi.org/10.3390/s21186089},
doi = {10.3390/S21186089},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/StojcsicsBMKK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/ChhokraBDKK21,
author = {Ajay Chhokra and
Carlos A. Barreto and
Abhishek Dubey and
Gabor Karsai and
Xenofon D. Koutsoukos},
editor = {Edmund Widl},
title = {Power-attack: a comprehensive tool-chain for modeling and simulating
attacks in power systems},
booktitle = {MSCPES@CPSIoTWeek '21: Proceedings of the 9th Workshop on Modeling
and Simulation of Cyber-Physical Energy Systems, Virtual Event, May
19 - 21, 2021},
pages = {5:1--5:6},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3470481.3472705},
doi = {10.1145/3470481.3472705},
timestamp = {Thu, 11 Nov 2021 17:36:18 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/ChhokraBDKK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsrs/HartsellMDK21,
author = {Charles Hartsell and
Nagabhushan Mahadevan and
Abhishek Dubey and
Gabor Karsai},
title = {Automated Method for Assurance Case Construction from System Design
Models},
booktitle = {5th International Conference on System Reliability and Safety, {ICSRS}
2021, Palermo, Italy, November 24-26, 2021},
pages = {230--239},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSRS53853.2021.9660735},
doi = {10.1109/ICSRS53853.2021.9660735},
timestamp = {Tue, 11 Jan 2022 13:04:53 +0100},
biburl = {https://dblp.org/rec/conf/icsrs/HartsellMDK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Balasubramanian21,
author = {Daniel Balasubramanian and
Alessandro Coglio and
Abhishek Dubey and
Gabor Karsai},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Model-Based Intent-Driven Adaptive Software},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation
- 10th International Symposium on Leveraging Applications of Formal
Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13036},
pages = {378--392},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89159-6\_24},
doi = {10.1007/978-3-030-89159-6\_24},
timestamp = {Thu, 14 Oct 2021 09:48:48 +0200},
biburl = {https://dblp.org/rec/conf/isola/Balasubramanian21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seams/HartsellRDSMK21,
author = {Charles Hartsell and
Shreyas Ramakrishna and
Abhishek Dubey and
D{\'{a}}niel Stojcsics and
Nagabhushan Mahadevan and
Gabor Karsai},
title = {ReSonAte: {A} Runtime Risk Assessment Framework for Autonomous Systems},
booktitle = {16th International Symposium on Software Engineering for Adaptive
and Self-Managing Systems, SEAMS@ICSE 2021, Madrid, Spain, May 18-24,
2021},
pages = {118--129},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SEAMS51251.2021.00025},
doi = {10.1109/SEAMS51251.2021.00025},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seams/HartsellRDSMK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-09419,
author = {Charles Hartsell and
Shreyas Ramakrishna and
Abhishek Dubey and
D{\'{a}}niel Stojcsics and
Nagabhushan Mahadevan and
Gabor Karsai},
title = {ReSonAte: {A} Runtime Risk Assessment Framework for Autonomous Systems},
journal = {CoRR},
volume = {abs/2102.09419},
year = {2021},
url = {https://arxiv.org/abs/2102.09419},
eprinttype = {arXiv},
eprint = {2102.09419},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-09419.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-11800,
author = {Shreyas Ramakrishna and
Zahra RahimiNasab and
Gabor Karsai and
Arvind Easwaran and
Abhishek Dubey},
title = {Efficient Out-of-Distribution Detection Using Latent Space of {\(\beta\)}-VAE
for Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/2108.11800},
year = {2021},
url = {https://arxiv.org/abs/2108.11800},
eprinttype = {arXiv},
eprint = {2108.11800},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-11800.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-06848,
author = {Purboday Ghosh and
Shashank Shekhar and
Ulrich M{\"{u}}nz and
Gabor Karsai},
title = {Peer-to-Peer Communication Trade-Offs for Smart Grid Applications},
journal = {CoRR},
volume = {abs/2112.06848},
year = {2021},
url = {https://arxiv.org/abs/2112.06848},
eprinttype = {arXiv},
eprint = {2112.06848},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-06848.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/ShekharCSGDKK20,
author = {Shashank Shekhar and
Ajay Chhokra and
Hongyang Sun and
Aniruddha Gokhale and
Abhishek Dubey and
Xenofon D. Koutsoukos and
Gabor Karsai},
title = {{URMILA:} Dynamically trading-off fog and edge resources for performance
and mobility-aware IoT services},
journal = {J. Syst. Archit.},
volume = {107},
pages = {101710},
year = {2020},
url = {https://doi.org/10.1016/j.sysarc.2020.101710},
doi = {10.1016/J.SYSARC.2020.101710},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/ShekharCSGDKK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/GhoshEDMMVK20,
author = {Purboday Ghosh and
Scott Eisele and
Abhishek Dubey and
Mary Metelko and
Istv{\'{a}}n Madari and
P{\'{e}}ter V{\"{o}}lgyesi and
Gabor Karsai},
title = {Designing a decentralized fault-tolerant software framework for smart
grids and its applications},
journal = {J. Syst. Archit.},
volume = {109},
pages = {101759},
year = {2020},
url = {https://doi.org/10.1016/j.sysarc.2020.101759},
doi = {10.1016/J.SYSARC.2020.101759},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/GhoshEDMMVK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/RamakrishnaHBKD20,
author = {Shreyas Ramakrishna and
Charles Hartsell and
Matthew P. Burruss and
Gabor Karsai and
Abhishek Dubey},
title = {Dynamic-weighted simplex strategy for learning enabled cyber physical
systems},
journal = {J. Syst. Archit.},
volume = {111},
pages = {101760},
year = {2020},
url = {https://doi.org/10.1016/j.sysarc.2020.101760},
doi = {10.1016/J.SYSARC.2020.101760},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/RamakrishnaHBKD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/TuDYDLK20,
author = {Hao Tu and
Yuhua Du and
Hui Yu and
Abhishek Dubey and
Srdjan M. Lukic and
Gabor Karsai},
title = {Resilient Information Architecture Platform for the Smart Grid: {A}
Novel Open-Source Platform for Microgrid Control},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {67},
number = {11},
pages = {9393--9404},
year = {2020},
url = {https://doi.org/10.1109/TIE.2019.2952803},
doi = {10.1109/TIE.2019.2952803},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/TuDYDLK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/ChhokraHDK20,
author = {Ajay Chhokra and
Saqib Hasan and
Abhishek Dubey and
Gabor Karsai},
title = {A Binary Decision Diagram Based Cascade Prognostics Scheme For Power
Systems},
booktitle = {2020 American Control Conference, {ACC} 2020, Denver, CO, USA, July
1-3, 2020},
pages = {3011--3016},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.23919/ACC45564.2020.9147902},
doi = {10.23919/ACC45564.2020.9147902},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/ChhokraHDK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfec/BhattacharjeeCS20,
author = {Anirban Bhattacharjee and
Ajay Dev Chhokra and
Hongyang Sun and
Shashank Shekhar and
Aniruddha Gokhale and
Gabor Karsai and
Abhishek Dubey},
title = {Deep-Edge: An Efficient Framework for Deep Learning Model Update on
Heterogeneous Edge},
booktitle = {4th {IEEE} International Conference on Fog and Edge Computing, {ICFEC}
2020, Melbourne, Australia, May 11-14, 2020},
pages = {75--84},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICFEC50348.2020.00016},
doi = {10.1109/ICFEC50348.2020.00016},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfec/BhattacharjeeCS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/GhoshK20,
author = {Purboday Ghosh and
Gabor Karsai},
title = {An Integrated Cyber-Physical Fault Management Approach},
booktitle = {23rd {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2020, Nashville, TN, USA, May 19-21, 2020},
pages = {148--149},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ISORC49007.2020.00032},
doi = {10.1109/ISORC49007.2020.00032},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isorc/GhoshK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/ChhokraMDK20,
author = {Ajay Chhokra and
Nagabhushan Mahadevan and
Abhishek Dubey and
Gabor Karsai},
editor = {Abdelouahed Gherbi and
Wahab Hamou{-}Lhadj and
Ahmed Bali},
title = {Qualitative Fault Modeling in Safety Critical Cyber Physical Systems},
booktitle = {{SAM} '20: 12th System Analysis and Modelling Conference, Virtual
Event, Canada, October 19-20, 2020},
pages = {128--137},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3419804.3420273},
doi = {10.1145/3419804.3420273},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/ChhokraMDK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-05388,
author = {Shreyas Ramakrishna and
Charles Hartsell and
Abhishek Dubey and
Partha Pratim Pal and
Gabor Karsai},
title = {A Methodology for Automating Assurance Case Generation},
journal = {CoRR},
volume = {abs/2003.05388},
year = {2020},
url = {https://arxiv.org/abs/2003.05388},
eprinttype = {arXiv},
eprint = {2003.05388},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-05388.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-05654,
author = {Charles Hartsell and
Nagabhushan Mahadevan and
Harmon Nine and
Ted Bapty and
Abhishek Dubey and
Gabor Karsai},
title = {Workflow Automation for Cyber Physical System Development Processes},
journal = {CoRR},
volume = {abs/2004.05654},
year = {2020},
url = {https://arxiv.org/abs/2004.05654},
eprinttype = {arXiv},
eprint = {2004.05654},
timestamp = {Tue, 14 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-05654.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-05740,
author = {Anirban Bhattacharjee and
Ajay Dev Chhokra and
Hongyang Sun and
Shashank Shekhar and
Aniruddha Gokhale and
Gabor Karsai and
Abhishek Dubey},
title = {Deep-Edge: An Efficient Framework for Deep Learning Model Update on
Heterogeneous Edge},
journal = {CoRR},
volume = {abs/2004.05740},
year = {2020},
url = {https://arxiv.org/abs/2004.05740},
eprinttype = {arXiv},
eprint = {2004.05740},
timestamp = {Thu, 27 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-05740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/esl/DubeyKVMMTDL19,
author = {Abhishek Dubey and
Gabor Karsai and
P{\'{e}}ter V{\"{o}}lgyesi and
Mary Metelko and
Istv{\'{a}}n Madari and
Hao Tu and
Yuhua Du and
Srdjan M. Lukic},
title = {Device Access Abstractions for Resilient Information Architecture
Platform for Smart Grid},
journal = {{IEEE} Embed. Syst. Lett.},
volume = {11},
number = {2},
pages = {34--37},
year = {2019},
url = {https://doi.org/10.1109/LES.2018.2845854},
doi = {10.1109/LES.2018.2845854},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/esl/DubeyKVMMTDL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/HartsellMRDBJKS19,
author = {Charles Hartsell and
Nagabhushan Mahadevan and
Shreyas Ramakrishna and
Abhishek Dubey and
Theodore Bapty and
Taylor T. Johnson and
Xenofon D. Koutsoukos and
Janos Sztipanovits and
Gabor Karsai},
editor = {Alberto L. Sangiovanni{-}Vincentelli and
Janos Sztipanovits and
Qi Zhu},
title = {Model-based design for {CPS} with learning-enabled components},
booktitle = {Proceedings of the Workshop on Design Automation for {CPS} and IoT,
DESTION@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019},
pages = {1--9},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3313151.3313166},
doi = {10.1145/3313151.3313166},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/HartsellMRDBJKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic2e/BhattacharjeeCK19,
author = {Anirban Bhattacharjee and
Ajay Dev Chhokra and
Zhuangwei Kang and
Hongyang Sun and
Aniruddha Gokhale and
Gabor Karsai},
title = {{BARISTA:} Efficient and Scalable Serverless Serving System for Deep
Learning Prediction Services},
booktitle = {{IEEE} International Conference on Cloud Engineering, {IC2E} 2019,
Prague, Czech Republic, June 24-27, 2019},
pages = {23--33},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IC2E.2019.00-10},
doi = {10.1109/IC2E.2019.00-10},
timestamp = {Thu, 27 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ic2e/BhattacharjeeCK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/HartsellMRDBK19,
author = {Charles Hartsell and
Nagabhushan Mahadevan and
Shreyas Ramakrishna and
Abhishek Dubey and
Theodore Bapty and
Gabor Karsai},
editor = {Xue Liu and
Paulo Tabuada and
Miroslav Pajic and
Linda Bushnell},
title = {A {CPS} toolchain for learning-based systems: demo abstract},
booktitle = {Proceedings of the 10th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2019, Montreal, QC, Canada, April 16-18, 2019},
pages = {342--343},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302509.3313332},
doi = {10.1145/3302509.3313332},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/HartsellMRDBK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icit2/KulkarniBLBDK19,
author = {Amogh Kulkarni and
William Z. Bernstein and
David Lechevalier and
Daniel Balasubramanian and
Peter Denno and
Gabor Karsai},
title = {Towards Operational Use of Unit Manufacturing Process Models},
booktitle = {{IEEE} International Conference on Industrial Technology, {ICIT} 2019,
Melbourne, Australia, February 13-15, 2019},
pages = {818--823},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICIT.2019.8754963},
doi = {10.1109/ICIT.2019.8754963},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icit2/KulkarniBLBDK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmla/PalGK19,
author = {Neelanjana Pal and
Purboday Ghosh and
Gabor Karsai},
editor = {M. Arif Wani and
Taghi M. Khoshgoftaar and
Dingding Wang and
Huanjing Wang and
Naeem Seliya},
title = {DeepECO: Applying Deep Learning for Occupancy Detection from Energy
Consumption Data},
booktitle = {18th {IEEE} International Conference On Machine Learning And Applications,
{ICMLA} 2019, Boca Raton, FL, USA, December 16-19, 2019},
pages = {1938--1943},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICMLA.2019.00311},
doi = {10.1109/ICMLA.2019.00311},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmla/PalGK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/GhoshEDMMVK19,
author = {Purboday Ghosh and
Scott Eisele and
Abhishek Dubey and
Mary Metelko and
Istv{\'{a}}n Madari and
P{\'{e}}ter V{\"{o}}lgyesi and
Gabor Karsai},
title = {On the Design of Fault- Tolerance in a Decentralized Software Platform
for Power Systems},
booktitle = {{IEEE} 22nd International Symposium on Real-Time Distributed Computing,
{ISORC} 2019, Valencia, Spain, May 7-9, 2019},
pages = {52--60},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISORC.2019.00018},
doi = {10.1109/ISORC.2019.00018},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isorc/GhoshEDMMVK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/EiseleGCDK19,
author = {Scott Eisele and
Purboday Ghosh and
Keegan Campanelli and
Abhishek Dubey and
Gabor Karsai},
title = {Demo: Transactive Energy Application with {RIAPS}},
booktitle = {{IEEE} 22nd International Symposium on Real-Time Distributed Computing,
{ISORC} 2019, Valencia, Spain, May 7-9, 2019},
pages = {85--86},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISORC.2019.00024},
doi = {10.1109/ISORC.2019.00024},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isorc/EiseleGCDK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BurrussRKD19,
author = {Matthew P. Burruss and
Shreyas Ramakrishna and
Gabor Karsai and
Abhishek Dubey},
title = {DeepNNCar: {A} Testbed for Deploying and Testing Middleware Frameworks
for Autonomous Robots},
booktitle = {{IEEE} 22nd International Symposium on Real-Time Distributed Computing,
{ISORC} 2019, Valencia, Spain, May 7-9, 2019},
pages = {87--88},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISORC.2019.00025},
doi = {10.1109/ISORC.2019.00025},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/BurrussRKD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/RamakrishnaDBHM19,
author = {Shreyas Ramakrishna and
Abhishek Dubey and
Matthew P. Burruss and
Charles Hartsell and
Nagabhushan Mahadevan and
Saideep Nannapaneni and
Aron Laszka and
Gabor Karsai},
title = {Augmenting Learning Components for Safety in Resource Constrained
Autonomous Robots},
booktitle = {{IEEE} 22nd International Symposium on Real-Time Distributed Computing,
{ISORC} 2019, Valencia, Spain, May 7-9, 2019},
pages = {108--117},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISORC.2019.00032},
doi = {10.1109/ISORC.2019.00032},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/RamakrishnaDBHM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KrentzDK19,
author = {Timothy Krentz and
Abhishek Dubey and
Gabor Karsai},
title = {Short Paper: Towards An Edge-Located Time-Series Database},
booktitle = {{IEEE} 22nd International Symposium on Real-Time Distributed Computing,
{ISORC} 2019, Valencia, Spain, May 7-9, 2019},
pages = {151--154},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISORC.2019.00037},
doi = {10.1109/ISORC.2019.00037},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isorc/KrentzDK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/IbrahimKPHK19,
author = {Amjad Ibrahim and
Severin Kacianka and
Alexander Pretschner and
Charles Hartsell and
Gabor Karsai},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {Practical Causal Models for Cyber-Physical Systems},
booktitle = {{NASA} Formal Methods - 11th International Symposium, {NFM} 2019,
Houston, TX, USA, May 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11460},
pages = {211--227},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20652-9\_14},
doi = {10.1007/978-3-030-20652-9\_14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/IbrahimKPHK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/HartsellMRDBJKS19,
author = {Charles Hartsell and
Nagabhushan Mahadevan and
Shreyas Ramakrishna and
Abhishek Dubey and
Theodore Bapty and
Taylor T. Johnson and
Xenofon D. Koutsoukos and
Janos Sztipanovits and
Gabor Karsai},
title = {{CPS} Design with Learning-Enabled Components: {A} Case Study},
booktitle = {Proceedings of the 30th International Workshop on Rapid System Prototyping,
{RSP} 2019, New York, NY, USA, October 17-18, 2019},
pages = {57--63},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3339985.3358491},
doi = {10.1145/3339985.3358491},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/HartsellMRDBJKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Balasubramanian19,
author = {Daniel Balasubramanian and
Zhenkai Zhang and
Dan McDermet and
Gabor Karsai},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Dynamic symbolic execution for the analysis of web server applications
in Java},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {2178--2185},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297494},
doi = {10.1145/3297280.3297494},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/Balasubramanian19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-00844,
author = {Aron Laszka and
Scott Eisele and
Abhishek Dubey and
Gabor Karsai and
Karla Kvaternik},
title = {{TRANSAX:} {A} Blockchain-based Decentralized Forward-Trading Energy
Exchange for Transactive Microgrids},
journal = {CoRR},
volume = {abs/1902.00844},
year = {2019},
url = {http://arxiv.org/abs/1902.00844},
eprinttype = {arXiv},
eprint = {1902.00844},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-00844.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-02432,
author = {Shreyas Ramakrishna and
Abhishek Dubey and
Matthew P. Burruss and
Charles Hartsell and
Nagabhushan Mahadevan and
Saideep Nannapaneni and
Aron Laszka and
Gabor Karsai},
title = {Augmenting Learning Components for Safety in Resource Constrained
Autonomous Robots},
journal = {CoRR},
volume = {abs/1902.02432},
year = {2019},
url = {http://arxiv.org/abs/1902.02432},
eprinttype = {arXiv},
eprint = {1902.02432},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-02432.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-01576,
author = {Anirban Bhattacharjee and
Ajay Dev Chhokra and
Zhuangwei Kang and
Hongyang Sun and
Aniruddha Gokhale and
Gabor Karsai},
title = {{BARISTA:} Efficient and Scalable Serverless Serving System for Deep
Learning Prediction Services},
journal = {CoRR},
volume = {abs/1904.01576},
year = {2019},
url = {http://arxiv.org/abs/1904.01576},
eprinttype = {arXiv},
eprint = {1904.01576},
timestamp = {Thu, 27 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-01576.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/KoutsoukosKLNPV18,
author = {Xenofon D. Koutsoukos and
Gabor Karsai and
Aron Laszka and
Himanshu Neema and
Bradley Potteiger and
P{\'{e}}ter V{\"{o}}lgyesi and
Yevgeniy Vorobeychik and
Janos Sztipanovits},
title = {{SURE:} {A} Modeling and Simulation Integration Platform for Evaluation
of Secure and Resilient Cyber-Physical Systems},
journal = {Proc. {IEEE}},
volume = {106},
number = {1},
pages = {93--112},
year = {2018},
url = {https://doi.org/10.1109/JPROC.2017.2731741},
doi = {10.1109/JPROC.2017.2731741},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/KoutsoukosKLNPV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/ZhangZBKK18,
author = {Zhenkai Zhang and
Zihao Zhan and
Daniel Balasubramanian and
Xenofon D. Koutsoukos and
Gabor Karsai},
editor = {Chip{-}Hong Chang and
Ulrich R{\"{u}}hrmair and
Daniel E. Holcomb and
Jorge Guajardo},
title = {Triggering Rowhammer Hardware Faults on {ARM:} {A} Revisit},
booktitle = {Proceedings of the 2018 Workshop on Attacks and Solutions in Hardware
Security, ASHES@CCS 2018, Toronto, ON, Canada, October 19, 2018},
pages = {24--33},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3266444.3266454},
doi = {10.1145/3266444.3266454},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/ZhangZBKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/LaszkaEDKK18,
author = {Aron Laszka and
Scott Eisele and
Abhishek Dubey and
Gabor Karsai and
Karla Kvaternik},
title = {{TRANSAX:} {A} Blockchain-Based Decentralized Forward-Trading Energy
Exchanged for Transactive Microgrids},
booktitle = {24th {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2018, Singapore, December 11-13, 2018},
pages = {918--927},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/PADSW.2018.8645001},
doi = {10.1109/PADSW.2018.8645001},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icpads/LaszkaEDKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgt/HasanGDKK18,
author = {Saqib Hasan and
Amin Ghafouri and
Abhishek Dubey and
Gabor Karsai and
Xenofon D. Koutsoukos},
title = {Vulnerability analysis of power systems based on cyber-attack and
defense models},
booktitle = {2018 {IEEE} Power {\&} Energy Society Innovative Smart Grid Technologies
Conference, {ISGT} 2018, Washington, DC, USA, February 19-22, 2018},
pages = {1--5},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ISGT.2018.8403337},
doi = {10.1109/ISGT.2018.8403337},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isgt/HasanGDKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Karsai18,
author = {Gabor Karsai},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {From Modeling to Model-Based Programming},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
November 5-9, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11244},
pages = {295--308},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03418-4\_18},
doi = {10.1007/978-3-030-03418-4\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Karsai18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/NeemaPKKVS18,
author = {Himanshu Neema and
Bradley Potteiger and
Xenofon D. Koutsoukos and
Gabor Karsai and
P{\'{e}}ter V{\"{o}}lgyesi and
Janos Sztipanovits},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {Integrated simulation testbed for security and resilience of {CPS}},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {368--374},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167173},
doi = {10.1145/3167132.3167173},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/NeemaPKKVS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Balasubramanian18,
author = {Daniel Balasubramanian and
Dmitriy Kostyuchenko and
Kasper S{\o}e Luckow and
Rody Kersten and
Gabor Karsai},
editor = {Einar Broch Johnsen and
Ina Schaefer},
title = {A Cloud-Based Execution Framework for Program Analysis},
booktitle = {Software Engineering and Formal Methods - 16th International Conference,
{SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10886},
pages = {139--154},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92970-5\_9},
doi = {10.1007/978-3-319-92970-5\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/Balasubramanian18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/ChhokraKHDMK17,
author = {Ajay Chhokra and
Amogh Kulkarni and
Saqib Hasan and
Abhishek Dubey and
Nagabhushan Mahadevan and
Gabor Karsai},
title = {A Systematic Approach of Identifying Optimal Load Control Actions
for Arresting Cascading Failures in Power Systems},
booktitle = {Proceedings of the 2nd Workshop on Cyber-Physical Security and Resilience
in Smart Grids, SPSR-SG@CPSWeek 2017, Pittsburgh, PA, USA, April 21,
2017},
pages = {41--46},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3055386.3055395},
doi = {10.1145/3055386.3055395},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/ChhokraKHDMK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmec/DubeyKP17,
author = {Abhishek Dubey and
Gabor Karsai and
Subhav Pradhan},
title = {Resilience at the edge in cyber-physical systems},
booktitle = {Second International Conference on Fog and Mobile Edge Computing,
{FMEC} 2017, Valencia, Spain, May 8-11, 2017},
pages = {139--146},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/FMEC.2017.7946421},
doi = {10.1109/FMEC.2017.7946421},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmec/DubeyKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fwc/EiselePDK17,
author = {Scott Eisele and
Geoffrey Pettet and
Abhishek Dubey and
Gabor Karsai},
title = {Towards an architecture for evaluating and analyzing decentralized
Fog applications},
booktitle = {{IEEE} Fog World Congress, {FWC} 2017, Santa Clara, CA, USA, October
30 - Nov. 1, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/FWC.2017.8368531},
doi = {10.1109/FWC.2017.8368531},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fwc/EiselePDK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ChhokraHDMK17,
author = {Ajay Chhokra and
Saqib Hasan and
Abhishek Dubey and
Nagabhushan Mahadevan and
Gabor Karsai},
editor = {Sonia Mart{\'{\i}}nez and
Eduardo Tovar and
Chris Gill and
Bruno Sinopoli},
title = {Diagnostics and prognostics using temporal causal models for cyber
physical energy systems},
booktitle = {Proceedings of the 8th International Conference on Cyber-Physical
Systems, {ICCPS} 2017, Pittsburgh, Pennsylvania, USA, April 18-20,
2017},
pages = {87},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3055004.3064843},
doi = {10.1145/3055004.3064843},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/ChhokraHDMK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/EiseleDKL17,
author = {Scott Eisele and
Abhishek Dubey and
Gabor Karsai and
Srdjan M. Lukic},
editor = {Sonia Mart{\'{\i}}nez and
Eduardo Tovar and
Chris Gill and
Bruno Sinopoli},
title = {Transactive energy demo with {RIAPS} platform},
booktitle = {Proceedings of the 8th International Conference on Cyber-Physical
Systems, {ICCPS} 2017, Pittsburgh, Pennsylvania, USA, April 18-20,
2017},
pages = {91},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3055004.3064845},
doi = {10.1145/3055004.3064845},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/EiseleDKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgt/HasanCDMKJL17,
author = {Saqib Hasan and
Ajay Chhokra and
Abhishek Dubey and
Nagabhushan Mahadevan and
Gabor Karsai and
Rishabh Jain and
Srdjan M. Lukic},
title = {A simulation testbed for cascade analysis},
booktitle = {{IEEE} Power {\&} Energy Society Innovative Smart Grid Technologies
Conference, {ISGT} 2017, Washington, DC, USA, April 23-26, 2017},
pages = {1--5},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ISGT.2017.8086080},
doi = {10.1109/ISGT.2017.8086080},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isgt/HasanCDMKJL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/EiseleMDK17,
author = {Scott Eisele and
Istv{\'{a}}n Madari and
Abhishek Dubey and
Gabor Karsai},
title = {{RIAPS:} Resilient Information Architecture Platform for Decentralized
Smart Systems},
booktitle = {20th {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2017, Toronto, ON, Canada, May 16-18, 2017},
pages = {125--132},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISORC.2017.22},
doi = {10.1109/ISORC.2017.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/EiseleMDK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/HartsellKL17,
author = {Charles Hartsell and
Gabor Karsai and
Michael R. Lowry},
editor = {Abhishek Dubey and
Marisol Garc{\'{\i}}a{-}Valls},
title = {Timing analysis of a middleware-based system},
booktitle = {Proceedings of the 16th Workshop on Adaptive and Reflective Middleware,
ARM@Middleware 2017, Las Vegas, NV, USA, December 11 - 15, 2017},
pages = {5:1--5:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3152881.3152886},
doi = {10.1145/3152881.3152886},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/middleware/HartsellKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/VolgyesiDKMMK17,
author = {P{\'{e}}ter V{\"{o}}lgyesi and
Abhishek Dubey and
Timothy Krentz and
Istv{\'{a}}n Madari and
Mary Metelko and
Gabor Karsai},
editor = {Sungjoo Yoo and
Fabiano Hessel and
Fr{\'{e}}d{\'{e}}ric Rousseau and
Kenneth B. Kent and
Kyoungwoo Lee},
title = {Time synchronization services for low-cost fog computing applications},
booktitle = {International Symposium on Rapid System Prototyping, {RSP} 2017, Shortening
the Path from Specification to Prototype, October 19-20, 2017, Seoul,
South Korea},
pages = {57--63},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3130265.3130325},
doi = {10.1145/3130265.3130325},
timestamp = {Mon, 04 Jul 2022 08:26:30 +0200},
biburl = {https://dblp.org/rec/conf/rsp/VolgyesiDKMMK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-00267,
author = {Gabor Karsai and
Daniel Balasubramanian and
Abhishek Dubey and
William R. Otte},
title = {Distributed and Managed: Research Challenges and Opportunities of
the Next Generation Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1710.00267},
year = {2017},
url = {http://arxiv.org/abs/1710.00267},
eprinttype = {arXiv},
eprint = {1710.00267},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-00267.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-00268,
author = {Abhishek Dubey and
Gabor Karsai and
Aniruddha S. Gokhale and
William Emfinger and
Pranav Srinivas Kumar},
title = {{DREMS-OS:} An Operating System for Managed Distributed Real-time
Embedded Systems},
journal = {CoRR},
volume = {abs/1710.00268},
year = {2017},
url = {http://arxiv.org/abs/1710.00268},
eprinttype = {arXiv},
eprint = {1710.00268},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-00268.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/PradhanDLKEBOK16,
author = {Subhav Pradhan and
Abhishek Dubey and
Tihamer Levendovszky and
Pranav Srinivas Kumar and
William Emfinger and
Daniel Balasubramanian and
William Otte and
Gabor Karsai},
title = {Achieving resilience in distributed software systems via self-reconfiguration},
journal = {J. Syst. Softw.},
volume = {122},
pages = {344--363},
year = {2016},
url = {https://doi.org/10.1016/j.jss.2016.05.038},
doi = {10.1016/J.JSS.2016.05.038},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/PradhanDLKEBOK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edge/EmfingerDVSK16,
author = {William Emfinger and
Abhishek Dubey and
P{\'{e}}ter V{\"{o}}lgyesi and
J{\'{a}}nos Sallai and
Gabor Karsai},
title = {Demo Abstract: {RIAPS} - {A} Resilient Information Architecture Platform
for Edge Computing},
booktitle = {{IEEE/ACM} Symposium on Edge Computing, {SEC} 2016, Washington, DC,
USA, October 27-28, 2016},
pages = {119--120},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SEC.2016.23},
doi = {10.1109/SEC.2016.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edge/EmfingerDVSK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/NeemaVPEKKVS16,
author = {Himanshu Neema and
P{\'{e}}ter V{\"{o}}lgyesi and
Bradley Potteiger and
William Emfinger and
Xenofon D. Koutsoukos and
Gabor Karsai and
Yevgeniy Vorobeychik and
Janos Sztipanovits},
title = {Demo Abstract: {SURE:} An Experimentation and Evaluation Testbed for
{CPS} Security and Resilience},
booktitle = {7th {ACM/IEEE} International Conference on Cyber-Physical Systems,
{ICCPS} 2016, Vienna, Austria, April 11-14, 2016},
pages = {27:1},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICCPS.2016.7479099},
doi = {10.1109/ICCPS.2016.7479099},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/NeemaVPEKKVS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ChhokraDMK16,
author = {Ajay Chhokra and
Abhishek Dubey and
Nagabhushan Mahadevan and
Gabor Karsai},
title = {Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages
in Cyber Physical Energy Systems},
booktitle = {7th {ACM/IEEE} International Conference on Cyber-Physical Systems,
{ICCPS} 2016, Vienna, Austria, April 11-14, 2016},
pages = {33:1},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICCPS.2016.7479113},
doi = {10.1109/ICCPS.2016.7479113},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/ChhokraDMK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LattmannKMKVL16,
author = {Zsolt Lattmann and
Tam{\'{a}}s Kecsk{\'{e}}s and
Patrik Meijer and
Gabor Karsai and
P{\'{e}}ter V{\"{o}}lgyesi and
{\'{A}}kos L{\'{e}}deczi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Abstractions for Modeling Complex Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {68--79},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_6},
doi = {10.1007/978-3-319-47169-3\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/LattmannKMKVL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imm/MahadevanDCGK15,
author = {Nagabhushan Mahadevan and
Abhishek Dubey and
Ajay Chhokra and
Huangcheng Guo and
Gabor Karsai},
title = {Using temporal causal models to isolate failures in power system protection
devices},
journal = {{IEEE} Instrum. Meas. Mag.},
volume = {18},
number = {4},
pages = {28--39},
year = {2015},
url = {https://doi.org/10.1109/MIM.2015.7155770},
doi = {10.1109/MIM.2015.7155770},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imm/MahadevanDCGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Balasubramanian15,
author = {Daniel Balasubramanian and
Abhishek Dubey and
William Otte and
Tihamer Levendovszky and
Aniruddha S. Gokhale and
Pranav Srinivas Kumar and
William Emfinger and
Gabor Karsai},
title = {{DREMS} {ML:} {A} wide spectrum architecture design language for distributed
computing platforms},
journal = {Sci. Comput. Program.},
volume = {106},
pages = {3--29},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.04.002},
doi = {10.1016/J.SCICO.2015.04.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Balasubramanian15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KumarK15,
author = {Pranav Srinivas Kumar and
Gabor Karsai},
title = {Integrated Analysis of Temporal Behavior of Component-Based Distributed
Real-Time Embedded Systems},
booktitle = {2015 {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2015,
Auckland, New Zealand, April 13-17, 2015},
pages = {50--57},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISORCW.2015.56},
doi = {10.1109/ISORCW.2015.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/KumarK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/EmfingerK15,
author = {William Emfinger and
Gabor Karsai},
title = {Modeling Network Medium Access Protocols for Network Quality of Service
Analysis},
booktitle = {{IEEE} 18th International Symposium on Real-Time Distributed Computing,
{ISORC} 2015, Auckland, New Zealand, 13-17 April, 2015},
pages = {292--295},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISORC.2015.47},
doi = {10.1109/ISORC.2015.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/EmfingerK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DragomirGKNO15,
author = {Iulia Dragomir and
Susanne Graf and
Gabor Karsai and
Florian Noyrit and
Iulian Ober},
editor = {Iulia Dragomir and
Susanne Graf and
Gabor Karsai and
Florian Noyrit and
Iulian Ober and
Damiano Torre and
Yvan Labiche and
Marcela Genero and
Maged Elaasar},
title = {Introduction to {ACES-MB} 2015},
booktitle = {Joint Proceedings of the 8th International Workshop on Model-based
Architecting of Cyber-physical and Embedded Systems and 1st International
Workshop on {UML} Consistency Rules {(ACES-MB} 2015 {\&} {WUCOR}
2015) co-located with {ACM/IEEE} 18th International Conference on
Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa,
Canada, September 28, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1508},
pages = {1--2},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1508/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/DragomirGKNO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/KumarEKKWGRA15,
author = {Pranav Srinivas Kumar and
William Emfinger and
Amogh Kulkarni and
Gabor Karsai and
Dexter Watkins and
Benjamin Gasser and
Cameron Ridgewell and
Amrutur Anilkumar},
title = {{ROSMOD:} a toolsuite for modeling, generating, deploying, and managing
distributed real-time component-based software using {ROS}},
booktitle = {2015 International Symposium on Rapid System Prototyping, {RSP} 2015,
Amsterdam, The Netherlands, October 8-9, 2015},
pages = {39--45},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/RSP.2015.7416545},
doi = {10.1109/RSP.2015.7416545},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rsp/KumarEKKWGRA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/LattmannKMSNBK15,
author = {Zsolt Lattmann and
James Klingler and
Patrik Meijer and
Jason Scott and
Sandeep Neema and
Ted Bapty and
Gabor Karsai},
title = {Towards an analysis-driven rapid design process for cyber-physical
systems},
booktitle = {2015 International Symposium on Rapid System Prototyping, {RSP} 2015,
Amsterdam, The Netherlands, October 8-9, 2015},
pages = {90--96},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/RSP.2015.7416552},
doi = {10.1109/RSP.2015.7416552},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/LattmannKMSNBK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/KumarEK15,
author = {Pranav Srinivas Kumar and
William Emfinger and
Gabor Karsai},
title = {A testbed to simulate and analyze resilient cyber-physical systems},
booktitle = {2015 International Symposium on Rapid System Prototyping, {RSP} 2015,
Amsterdam, The Netherlands, October 8-9, 2015},
pages = {97--103},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/RSP.2015.7416553},
doi = {10.1109/RSP.2015.7416553},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rsp/KumarEK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2015acesmb,
editor = {Iulia Dragomir and
Susanne Graf and
Gabor Karsai and
Florian Noyrit and
Iulian Ober and
Damiano Torre and
Yvan Labiche and
Marcela Genero and
Maged Elaasar},
title = {Joint Proceedings of the 8th International Workshop on Model-based
Architecting of Cyber-physical and Embedded Systems and 1st International
Workshop on {UML} Consistency Rules {(ACES-MB} 2015 {\&} {WUCOR}
2015) co-located with {ACM/IEEE} 18th International Conference on
Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa,
Canada, September 28, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1508},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1508},
urn = {urn:nbn:de:0074-1508-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2015acesmb.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/ZhangEKPKS14,
author = {Zhenkai Zhang and
Emeka Eyisi and
Xenofon D. Koutsoukos and
Joseph Porter and
Gabor Karsai and
Janos Sztipanovits},
title = {A co-simulation framework for design of time-triggered automotive
cyber physical systems},
journal = {Simul. Model. Pract. Theory},
volume = {43},
pages = {16--33},
year = {2014},
url = {https://doi.org/10.1016/j.simpat.2014.01.001},
doi = {10.1016/J.SIMPAT.2014.01.001},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simpra/ZhangEKPKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/LevendovszkyDOBCNEKGK14,
author = {Tihamer Levendovszky and
Abhishek Dubey and
William Otte and
Daniel Balasubramanian and
Alessandro Coglio and
Sandor Nyako and
William Emfinger and
Pranav Srinivas Kumar and
Aniruddha S. Gokhale and
Gabor Karsai},
title = {Distributed Real-Time Managed Systems: {A} Model-Driven Distributed
Secure Information Architecture Platform for Managed Embedded Systems},
journal = {{IEEE} Softw.},
volume = {31},
number = {2},
pages = {62--69},
year = {2014},
url = {https://doi.org/10.1109/MS.2013.143},
doi = {10.1109/MS.2013.143},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/LevendovszkyDOBCNEKGK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/LevendovszkyBNSBK14,
author = {Tihamer Levendovszky and
Daniel Balasubramanian and
Anantha Narayanan and
Feng Shi and
Christopher P. van Buskirk and
Gabor Karsai},
title = {A semi-formal description of migrating domain-specific models with
evolving domains},
journal = {Softw. Syst. Model.},
volume = {13},
number = {2},
pages = {807--823},
year = {2014},
url = {https://doi.org/10.1007/s10270-012-0313-5},
doi = {10.1007/S10270-012-0313-5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/LevendovszkyBNSBK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/EmfingerKDG14,
author = {William Emfinger and
Gabor Karsai and
Abhishek Dubey and
Aniruddha S. Gokhale},
editor = {Ralf L{\"{a}}mmel and
Walid Taha},
title = {Analysis, verification, and management toolsuite for cyber-physical
applications on time-varying networks},
booktitle = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
Germany, April 14-17, 2014},
pages = {44--47},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593458.2593459},
doi = {10.1145/2593458.2593459},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cyphy/EmfingerKDG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DeAntoniBCFKNS14,
author = {Julien Deantoni and
C{\'{e}}dric Brun and
Beno{\^{\i}}t Caillaud and
Robert B. France and
Gabor Karsai and
Oscar Nierstrasz and
Eugene Syriani},
editor = {Betty H. C. Cheng and
Beno{\^{\i}}t Combemale and
Robert B. France and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Bernhard Rumpe},
title = {Domain Globalization: Using Languages to Support Technical and Social
Coordination},
booktitle = {Globalizing Domain-Specific Languages - International Dagstuhl Seminar
Dagstuhl Castle, Germany, October 5-10, 2014 Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {9400},
pages = {70--87},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-26172-0\_5},
doi = {10.1007/978-3-319-26172-0\_5},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/DeAntoniBCFKNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KarsaiBDO14,
author = {Gabor Karsai and
Daniel Balasubramanian and
Abhishek Dubey and
William Otte},
title = {Distributed and Managed: Research Challenges and Opportunities of
the Next Generation Cyber-Physical Systems},
booktitle = {17th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2014, Reno, NV, USA, June
10-12, 2014},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ISORC.2014.36},
doi = {10.1109/ISORC.2014.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/KarsaiBDO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Karsai14,
author = {Gabor Karsai},
editor = {Beno{\^{\i}}t Combemale and
Julien Deantoni and
Robert B. France},
title = {Unification or Integration? The Challenge of Semantics in Heterogeneous
Modeling Languages},
booktitle = {Proceedings of the 2nd International Workshop on The Globalization
of Modeling Languages co-located with {ACM/IEEE} 17th International
Conference on Model Driven Engineering Languages and Systems, GEMOC@Models
2014, Valencia, - Spain, September 28, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1236},
pages = {2--6},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1236/paper-02.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/Karsai14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BalasubramanianLDK14,
author = {Daniel Balasubramanian and
Tihamer Levendovszky and
Abhishek Dubey and
Gabor Karsai},
editor = {Daniel Balasubramanian and
Christophe Jacquet and
Pieter Van Gorp and
Sahar Kokaly and
Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros},
title = {Taming Multi-Paradigm Integration in a Software Architecture Description
Language},
booktitle = {Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located
with the 17th International Conference on Model Driven Engineering
Languages and Systems, MPM@MODELS 2014, Valencia, Spain, September
30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1237},
pages = {67--76},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1237/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/BalasubramanianLDK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KumarDK14,
author = {Pranav Srinivas Kumar and
Abhishek Dubey and
Gabor Karsai},
editor = {Fr{\'{e}}d{\'{e}}ric Boulanger and
Michalis Famelis and
Daniel Ratiu},
title = {Colored Petri Net-based Modeling and Formal Analysis of Component-based
Applications},
booktitle = {Proceedings of the 11th Workshop on Model-Driven Engineering, Verification
and Validation co-located with 17th International Conference on Model
Driven Engineering Languages and Systems, MoDeVVa@MODELS 2014, Valencia,
Spain, September 30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1235},
pages = {79--88},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1235/paper-10.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/KumarDK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/BalasubramanianDOEKK14,
author = {Daniel Balasubramanian and
Abhishek Dubey and
William R. Otte and
William Emfinger and
Pranav Srinivas Kumar and
Gabor Karsai},
title = {A Rapid Testing Framework for a Mobile Cloud},
booktitle = {25nd {IEEE} International Symposium on Rapid System Prototyping, {RSP}
2014, New Delhi, India, October 16-17, 2014},
pages = {128--134},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/RSP.2014.6966903},
doi = {10.1109/RSP.2014.6966903},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rsp/BalasubramanianDOEKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SprinkleRVK14,
author = {Jonathan Sprinkle and
Bernhard Rumpe and
Hans Vangheluwe and
Gabor Karsai},
title = {Metamodelling: State of the Art and Research Challenges},
journal = {CoRR},
volume = {abs/1409.2359},
year = {2014},
url = {http://arxiv.org/abs/1409.2359},
eprinttype = {arXiv},
eprint = {1409.2359},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SprinkleRVK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KarsaiKPRSV14,
author = {Gabor Karsai and
Holger Krahn and
Claas Pinkernell and
Bernhard Rumpe and
Martin Schindler and
Steven V{\"{o}}lkel},
title = {Design Guidelines for Domain Specific Languages},
journal = {CoRR},
volume = {abs/1409.2378},
year = {2014},
url = {http://arxiv.org/abs/1409.2378},
eprinttype = {arXiv},
eprint = {1409.2378},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KarsaiKPRSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/DubeyK13,
author = {Abhishek Dubey and
Gabor Karsai},
title = {Software health management},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {4},
pages = {217},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0226-7},
doi = {10.1007/S11334-013-0226-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/DubeyK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/MahadevanDBK13,
author = {Nagabhushan Mahadevan and
Abhishek Dubey and
Daniel Balasubramanian and
Gabor Karsai},
title = {Deliberative, search-based mitigation strategies for model-based software
health management},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {4},
pages = {293--318},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0215-x},
doi = {10.1007/S11334-013-0215-X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/MahadevanDBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/PradhanGOK13,
author = {Subhav Pradhan and
Aniruddha S. Gokhale and
William Otte and
Gabor Karsai},
title = {Real-time fault tolerant deployment and configuration framework for
cyber physical systems},
journal = {{SIGBED} Rev.},
volume = {10},
number = {2},
pages = {32},
year = {2013},
url = {https://doi.org/10.1145/2518148.2518170},
doi = {10.1145/2518148.2518170},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/PradhanGOK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/PradhanODGK13,
author = {Subhav Pradhan and
William Otte and
Abhishek Dubey and
Aniruddha S. Gokhale and
Gabor Karsai},
title = {Towards a resilient deployment and configuration infrastructure for
fractionated spacecraft},
journal = {{SIGBED} Rev.},
volume = {10},
number = {4},
pages = {29--32},
year = {2013},
url = {https://doi.org/10.1145/2583687.2583694},
doi = {10.1145/2583687.2583694},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/PradhanODGK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ClarkKWFR13,
author = {Tony Clark and
Gabor Karsai and
Roel J. Wieringa and
Robert B. France and
Bernhard Rumpe},
title = {A newly introduced Industry Voice Column},
journal = {Softw. Syst. Model.},
volume = {12},
number = {3},
pages = {441--442},
year = {2013},
url = {https://doi.org/10.1007/s10270-013-0361-5},
doi = {10.1007/S10270-013-0361-5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/ClarkKWFR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ZhangPEKKS13,
author = {Zhenkai Zhang and
Joseph Porter and
Emeka Eyisi and
Gabor Karsai and
Xenofon D. Koutsoukos and
Janos Sztipanovits},
editor = {Chenyang Lu and
P. R. Kumar and
Radu Stoleru},
title = {Co-simulation framework for design of time-triggered cyber physical
systems},
booktitle = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
(with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
8-11, 2013},
pages = {119--128},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502524.2502541},
doi = {10.1145/2502524.2502541},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/ZhangPEKKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/OtteDPPGKW13,
author = {William Otte and
Abhishek Dubey and
Subhav Pradhan and
Prithviraj Patil and
Aniruddha S. Gokhale and
Gabor Karsai and
Johnny Willemsen},
title = {{F6COM:} {A} component model for resource-constrained and dynamic
space-based computing environments},
booktitle = {16th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2013, Paderborn, Germany,
June 19-21, 2013},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISORC.2013.6913199},
doi = {10.1109/ISORC.2013.6913199},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/OtteDPPGKW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/med/ShangEZKPKS13,
author = {Di Shang and
Emeka Eyisi and
Zhenkai Zhang and
Xenofon D. Koutsoukos and
Joseph Porter and
Gabor Karsai and
Janos Sztipanovits},
title = {A case study on the model-based design and integration of automotive
cyber-physical systems},
booktitle = {21st Mediterranean Conference on Control and Automation, Platanias,
Chania, Crete, Greece, June 25-28, 2013},
pages = {483--492},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/MED.2013.6608766},
doi = {10.1109/MED.2013.6608766},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/med/ShangEZKPKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simultech/VargaTISVLKC13,
author = {Gergely Varga and
Sara Toth and
Christopher R. Iacovella and
J{\'{a}}nos Sallai and
P{\'{e}}ter V{\"{o}}lgyesi and
{\'{A}}kos L{\'{e}}deczi and
Gabor Karsai and
Peter T. Cummings},
editor = {Tuncer I. {\"{O}}ren and
Janusz Kacprzyk and
Leifur {\TH}. Leifsson and
Mohammad S. Obaidat and
Slawomir Koziel},
title = {Web-based Metaprogrammable Frontend for Molecular Dynamics Simulations},
booktitle = {{SIMULTECH} 2013 - Proceedings of the 3rd International Conference
on Simulation and Modeling Methodologies, Technologies and Applications,
Reykjav{\'{\i}}k, Iceland, 29-31 July, 2013},
pages = {171--178},
publisher = {SciTePress},
year = {2013},
url = {https://doi.org/10.5220/0004486401710178},
doi = {10.5220/0004486401710178},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/simultech/VargaTISVLKC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BalasubramanianPKL13,
author = {Daniel Balasubramanian and
Corina S. Pasareanu and
Gabor Karsai and
Michael R. Lowry},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Polyglot: Systematic Analysis for Multiple Statechart Formalisms},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {523--529},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_36},
doi = {10.1007/978-3-642-36742-7\_36},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BalasubramanianPKL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2013acesmb,
editor = {Iulian Ober and
Florian Noyrit and
Susanne Graf and
Gabor Karsai},
title = {Proceedings of the 6th International Workshop on Model Based Architecting
and Construction of Embedded Systems co-located with {ACM/IEEE} 16th
International Conference on Model Driven Engineering Languages and
Systems (MoDELS 2013), Miami, Florida, USA, September 29th, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1084},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1084},
urn = {urn:nbn:de:0074-1084-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2013acesmb.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/SztipanovitsKKKAGGBW12,
author = {Janos Sztipanovits and
Xenofon D. Koutsoukos and
Gabor Karsai and
Nicholas Kottenstette and
Panos J. Antsaklis and
Vijay Gupta and
Bill Goodwine and
John S. Baras and
Shige Wang},
title = {Toward a Science of Cyber-Physical System Integration},
journal = {Proc. {IEEE}},
volume = {100},
number = {1},
pages = {29--44},
year = {2012},
url = {https://doi.org/10.1109/JPROC.2011.2161529},
doi = {10.1109/JPROC.2011.2161529},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/SztipanovitsKKKAGGBW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simulation/HemingwayNNSK12,
author = {Graham Hemingway and
Himanshu Neema and
Harmon Nine and
Janos Sztipanovits and
Gabor Karsai},
title = {Rapid synthesis of high-level architecture-based heterogeneous simulation:
a model-based integration approach},
journal = {Simul.},
volume = {88},
number = {2},
pages = {217--232},
year = {2012},
url = {https://doi.org/10.1177/0037549711401950},
doi = {10.1177/0037549711401950},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simulation/HemingwayNNSK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/MahadevanDK12,
author = {Nagabhushan Mahadevan and
Abhishek Dubey and
Gabor Karsai},
editor = {Chunming Hu and
Gabor Karsai and
Jie Xu and
Andreas Polze and
Ji Wang and
Andy J. Wellings},
title = {Architecting Health Management into Software Component Assemblies:
Lessons Learned from the {ARINC-653} Component Mode},
booktitle = {15th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2012, Shenzhen, China, April
11-13, 2012},
pages = {79--86},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISORC.2012.19},
doi = {10.1109/ISORC.2012.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/MahadevanDK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LevendovszkySBS12,
author = {Tihamer Levendovszky and
Kevin Smyth and
Daniel Balasubramanian and
Feng Shi and
Gabor Karsai},
title = {Evolution in a context of an model-integrated tool environment},
booktitle = {Proceedings of the 6th International Workshop on Models and Evolution,
ME@MoDELS 2012, Innsbruck, Austria, October 1-5, 2012},
pages = {33--38},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2523599.2523606},
doi = {10.1145/2523599.2523606},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/LevendovszkySBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LattmannNLBNK12,
author = {Zsolt Lattmann and
Adam Nagel and
Tihamer Levendovszky and
Ted Bapty and
Sandeep Neema and
Gabor Karsai},
editor = {C{\'{e}}cile Hardebolle and
Eugene Syriani and
Jonathan Sprinkle and
Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros},
title = {Component-based modeling of dynamic systems using heterogeneous composition},
booktitle = {Proceedings of the 6th International Workshop on Multi-Paradigm Modeling,
MPM@MoDELS 2012, Innsbruck, Austria, October 1-5, 2012},
pages = {73--78},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2508443.2508456},
doi = {10.1145/2508443.2508456},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/LattmannNLBNK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BalasubramanianPBPKLW12,
author = {Daniel Balasubramanian and
Corina S. Pasareanu and
Jason Biatek and
Thomas Pressburger and
Gabor Karsai and
Michael R. Lowry and
Michael W. Whalen},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Integrating Statechart Components in Polyglot},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {267--272},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_26},
doi = {10.1007/978-3-642-28891-3\_26},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BalasubramanianPBPKLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/DabholkarDGKM12,
author = {Akshay Dabholkar and
Abhishek Dubey and
Aniruddha S. Gokhale and
Gabor Karsai and
Nagabhushan Mahadevan},
title = {Reliable Distributed Real-Time and Embedded Systems through Safe Middleware
Adaptation},
booktitle = {{IEEE} 31st Symposium on Reliable Distributed Systems, {SRDS} 2012,
Irvine, CA, USA, October 8-11, 2012},
pages = {362--371},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SRDS.2012.59},
doi = {10.1109/SRDS.2012.59},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/DabholkarDGKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hicons/2012,
editor = {S. Shankar Sastry and
Tamer Basar and
Saurabh Amin and
Gabor Karsai},
title = {1st International Conference on High Confidence Networked Systems
(HiCoNS - at {CPS} Week 2012), HiCoNS '12, Beijing, China, April 17-18,
2012},
publisher = {{ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2185505},
isbn = {978-1-4503-1263-9},
timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicons/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2012,
editor = {Chunming Hu and
Gabor Karsai and
Jie Xu and
Andreas Polze and
Ji Wang and
Andy J. Wellings},
title = {15th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2012, Shenzhen, China, April
11-13, 2012},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://ieeexplore.ieee.org/xpl/conhome/6195236/proceeding},
isbn = {978-1-4673-0499-3},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isorc/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/BryantGMCFK11,
author = {Barrett R. Bryant and
Jeff Gray and
Marjan Mernik and
Peter J. Clarke and
Robert B. France and
Gabor Karsai},
title = {Challenges and directions in formalizing the semantics of modeling
languages},
journal = {Comput. Sci. Inf. Syst.},
volume = {8},
number = {2},
pages = {225--253},
year = {2011},
url = {https://doi.org/10.2298/CSIS110114012B},
doi = {10.2298/CSIS110114012B},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsis/BryantGMCFK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/DubeyKM11,
author = {Abhishek Dubey and
Gabor Karsai and
Nagabhushan Mahadevan},
title = {A component model for hard real-time systems: {CCM} with {ARINC-653}},
journal = {Softw. Pract. Exp.},
volume = {41},
number = {12},
pages = {1517--1550},
year = {2011},
url = {https://doi.org/10.1002/spe.1083},
doi = {10.1002/SPE.1083},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/DubeyKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SaxenaK11,
author = {Tripti Saxena and
Gabor Karsai},
title = {A Meta-Framework for Design Space Exploration},
booktitle = {18th {IEEE} International Conference and Workshops on the Engineering
of Computer-Based Systems, {ECBS} 2011, Las Vegas, NV, USA, 27-29
April, 2011},
pages = {71--80},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ECBS.2011.21},
doi = {10.1109/ECBS.2011.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/SaxenaK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MahadevanDK11,
author = {Nagabhushan Mahadevan and
Abhishek Dubey and
Gabor Karsai},
editor = {Holger Giese and
Betty H. C. Cheng},
title = {Application of software health management techniques},
booktitle = {2011 {ICSE} Symposium on Software Engineering for Adaptive and Self-Managing
Systems, {SEAMS} 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011},
pages = {1--10},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1988008.1988010},
doi = {10.1145/1988008.1988010},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MahadevanDK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BalasubramanianPWKL11,
author = {Daniel Balasubramanian and
Corina S. Pasareanu and
Michael W. Whalen and
Gabor Karsai and
Michael R. Lowry},
editor = {Matthew B. Dwyer and
Frank Tip},
title = {Polyglot: modeling and analysis for multiple Statechart formalisms},
booktitle = {Proceedings of the 20th International Symposium on Software Testing
and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
pages = {45--55},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2001420.2001427},
doi = {10.1145/2001420.2001427},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/BalasubramanianPWKL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/KavimandanGKG11,
author = {Amogh Kavimandan and
Aniruddha S. Gokhale and
Gabor Karsai and
Jeff Gray},
editor = {Ivica Crnkovic and
Judith A. Stafford and
Dorina C. Petriu and
Jens Happe and
Paola Inverardi},
title = {Managing the quality of software product line architectures through
reusable model transformations},
booktitle = {7th International Conference on the Quality of Software Architectures,
QoSA 2011 and 2nd International Symposium on Architecting Critical
Systems, {ISARCS} 2011. Boulder, CO, USA, June 20-24, 2011, Proceedings},
pages = {13--22},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2000259.2000264},
doi = {10.1145/2000259.2000264},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qosa/KavimandanGKG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/BalasubramanianPNKLPP11,
author = {Daniel Balasubramanian and
G{\'{a}}bor Pap and
Harmon Nine and
Gabor Karsai and
Michael R. Lowry and
Corina S. Pasareanu and
Thomas Pressburger},
title = {Rapid property specification and checking for model-based formalisms},
booktitle = {Proceedings of the 22nd {IEEE} International Symposium on Rapid System
Prototyping, {RSP} 2011, Karlsruhe, Germany, 24-27 May, 2011},
pages = {121--127},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/RSP.2011.5929985},
doi = {10.1109/RSP.2011.5929985},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rsp/BalasubramanianPNKLPP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2007rt,
editor = {Holger Giese and
Gabor Karsai and
Edward Lee and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {Model-Based Engineering of Embedded Real-Time Systems - International
Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6100},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-16277-0},
doi = {10.1007/978-3-642-16277-0},
isbn = {978-3-642-16276-3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2007rt.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/KarsaiMOS10,
author = {Gabor Karsai and
Fabio Massacci and
Leon J. Osterweil and
Ina Schieferdecker},
title = {Evolving Embedded Systems},
journal = {Computer},
volume = {43},
number = {5},
pages = {34--40},
year = {2010},
url = {https://doi.org/10.1109/MC.2010.135},
doi = {10.1109/MC.2010.135},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/KarsaiMOS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/LevendovszkyK10,
author = {Tihamer Levendovszky and
Gabor Karsai},
title = {An Active Pattern Infrastructure for Domain-Specific Languages},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {25},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.25.366},
doi = {10.14279/TUJ.ECEASST.25.366},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/LevendovszkyK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/SaxenaK10,
author = {Tripti Saxena and
Gabor Karsai},
title = {Towards a Generic Design Space Exploration Framework},
booktitle = {10th {IEEE} International Conference on Computer and Information Technology,
{CIT} 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010},
pages = {1940--1947},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/CIT.2010.330},
doi = {10.1109/CIT.2010.330},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcit/SaxenaK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Karsai10,
author = {Gabor Karsai},
editor = {Gregor Engels and
Claus Lewerentz and
Wilhelm Sch{\"{a}}fer and
Andy Sch{\"{u}}rr and
Bernhard Westfechtel},
title = {Lessons Learned from Building a Graph Transformation System},
booktitle = {Graph Transformations and Model-Driven Engineering - Essays Dedicated
to Manfred Nagl on the Occasion of his 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5765},
pages = {202--223},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17322-6\_10},
doi = {10.1007/978-3-642-17322-6\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Karsai10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LemosGMSALSTVVWBBBBCDDEGGGGIKKLMMMMMNPPSSSSTWW10,
author = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw and
Jesper Andersson and
Marin Litoiu and
Bradley R. Schmerl and
Gabriel Tamura and
Norha M. Villegas and
Thomas Vogel and
Danny Weyns and
Luciano Baresi and
Basil Becker and
Nelly Bencomo and
Yuriy Brun and
Bojan Cukic and
Ronald J. Desmarais and
Schahram Dustdar and
Gregor Engels and
Kurt Geihs and
Karl M. G{\"{o}}schka and
Alessandra Gorla and
Vincenzo Grassi and
Paola Inverardi and
Gabor Karsai and
Jeff Kramer and
Ant{\'{o}}nia Lopes and
Jeff Magee and
Sam Malek and
Serge Mankovski and
Raffaela Mirandola and
John Mylopoulos and
Oscar Nierstrasz and
Mauro Pezz{\`{e}} and
Christian Prehofer and
Wilhelm Sch{\"{a}}fer and
Richard D. Schlichting and
Dennis B. Smith and
Jo{\~{a}}o Pedro Sousa and
Ladan Tahvildari and
Kenny Wong and
Jochen Wuttke},
editor = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw},
title = {Software Engineering for Self-Adaptive Systems: {A} Second Research
Roadmap},
booktitle = {Software Engineering for Self-Adaptive Systems {II} - International
Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {7475},
pages = {1--32},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-35813-5\_1},
doi = {10.1007/978-3-642-35813-5\_1},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LemosGMSALSTVVWBBBBCDDEGGGGIKKLMMMMMNPPSSSSTWW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/TamuraVMSBKMPSTW10,
author = {Gabriel Tamura and
Norha M. Villegas and
Hausi A. M{\"{u}}ller and
Jo{\~{a}}o Pedro Sousa and
Basil Becker and
Gabor Karsai and
Serge Mankovski and
Mauro Pezz{\`{e}} and
Wilhelm Sch{\"{a}}fer and
Ladan Tahvildari and
Kenny Wong},
editor = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw},
title = {Towards Practical Runtime Verification and Validation of Self-Adaptive
Software Systems},
booktitle = {Software Engineering for Self-Adaptive Systems {II} - International
Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {7475},
pages = {108--132},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-35813-5\_5},
doi = {10.1007/978-3-642-35813-5\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/TamuraVMSBKMPSTW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DubeyKM10,
author = {Abhishek Dubey and
Gabor Karsai and
Nagabhushan Mahadevan},
editor = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw},
title = {Fault-Adaptivity in Hard Real-Time Component-Based Software Systems},
booktitle = {Software Engineering for Self-Adaptive Systems {II} - International
Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {7475},
pages = {294--323},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-35813-5\_12},
doi = {10.1007/978-3-642-35813-5\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DubeyKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/NeemaKKXK10,
author = {Himanshu Neema and
Anand Kashyap and
R{\'{o}}bert Keresk{\'{e}}nyi and
Yuan Xue and
Gabor Karsai},
editor = {Stephen John Turner and
David J. Roberts},
title = {{SOAMANET:} {A} Tool for Evaluating Service-Oriented Architectures
on Mobile Ad-Hoc Networks},
booktitle = {{DS-RT} '10 Proceedings of the 2010 {IEEE/ACM} 14th International
Symposium on Distributed Simulation and Real Time Applications, Fairfax,
Virginia, USA, 17-20 October 2010},
pages = {179--188},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DS-RT.2010.27},
doi = {10.1109/DS-RT.2010.27},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsrt/NeemaKKXK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/LevendovszkyBSSK10,
author = {Tihamer Levendovszky and
Daniel Balasubramanian and
Kevin Smyth and
Feng Shi and
Gabor Karsai},
editor = {Jon Oldevik and
G{\o}ran K. Olsen and
Dimitrios S. Kolovos},
title = {A transformation instance-based approach to traceability},
booktitle = {Proceedings of the 6th {ECMFA} Traceability Workshop, {ECMFA-TW} 2010,
Paris, France, June 15, 2010},
pages = {55--60},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1814392.1814400},
doi = {10.1145/1814392.1814400},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/LevendovszkyBSSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/PorterHKKS10,
author = {Joseph Porter and
Graham Hemingway and
Nicholas Kottenstette and
Gabor Karsai and
Janos Sztipanovits},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Online stability validation using sector analysis},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {29--38},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879026},
doi = {10.1145/1879021.1879026},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/PorterHKKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/JacksonSBK10,
author = {Ethan K. Jackson and
Wolfram Schulte and
Daniel Balasubramanian and
Gabor Karsai},
editor = {David S. Rosenblum and
Gabriele Taentzer},
title = {Reusing Model Transformations While Preserving Properties},
booktitle = {Fundamental Approaches to Software Engineering, 13th International
Conference, {FASE} 2010, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus,
March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6013},
pages = {44--58},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12029-9\_4},
doi = {10.1007/978-3-642-12029-9\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/JacksonSBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/DubeyKKM10,
author = {Abhishek Dubey and
Gabor Karsai and
R{\'{o}}bert Keresk{\'{e}}nyi and
Nagabhushan Mahadevan},
title = {A Real-Time Component Framework: Experience with {CCM} and {ARINC-653}},
booktitle = {13th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2010, Carmona, Sevilla, Spain,
5-6 May 2010},
pages = {143--150},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ISORC.2010.39},
doi = {10.1109/ISORC.2010.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/DubeyKKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SaxenaK10,
author = {Tripti Saxena and
Gabor Karsai},
editor = {Dorina C. Petriu and
Nicolas Rouquette and
{\O}ystein Haugen},
title = {MDE-Based Approach for Generalizing Design Space Exploration},
booktitle = {Model Driven Engineering Languages and Systems - 13th International
Conference, {MODELS} 2010, Oslo, Norway, October 3-8, 2010, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6394},
pages = {46--60},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16145-2\_4},
doi = {10.1007/978-3-642-16145-2\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/SaxenaK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SaxenaK10,
author = {Tripti Saxena and
Gabor Karsai},
title = {The {GDSE} framework: a meta-tool for automated design space exploration},
booktitle = {DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific
Modeling, Reno, Nevada, USA, October 17-18, 2010},
pages = {15:1--15:6},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2060329.2060362},
doi = {10.1145/2060329.2060362},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/SaxenaK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/HemingwayPKNBKS10,
author = {Graham Hemingway and
Joseph Porter and
Nicholas Kottenstette and
Harmon Nine and
Christopher P. van Buskirk and
Gabor Karsai and
Janos Sztipanovits},
title = {Automated synthesis of Time-Triggered Architecture-based TrueTime
models for platform effects simulation and analysis},
booktitle = {Proceedings of the 21st {IEEE} International Symposium on Rapid System
Prototyping, {RSP} 2010, Fairfax, VA, USA, 8-11 June, 2010},
pages = {1--7},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/RSP.2010.5656335},
doi = {10.1109/RSP.2010.5656335},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rsp/HemingwayPKNBKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LemosGMSABBBBCD10,
author = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw and
Jesper Andersson and
Luciano Baresi and
Basil Becker and
Nelly Bencomo and
Yuriy Brun and
Bojan Cukic and
Ronald J. Desmarais and
Schahram Dustdar and
Gregor Engels and
Kurt Geihs and
Karl M. G{\"{o}}schka and
Alessandra Gorla and
Vincenzo Grassi and
Paola Inverardi and
Gabor Karsai and
Jeff Kramer and
Marin Litoiu and
Ant{\'{o}}nia Lopes and
Jeff Magee and
Sam Malek and
Serge Mankovskii and
Raffaela Mirandola and
John Mylopoulos and
Oscar Nierstrasz and
Mauro Pezz{\`{e}} and
Christian Prehofer and
Wilhelm Sch{\"{a}}fer and
Richard D. Schlichting and
Bradley R. Schmerl and
Dennis B. Smith and
Jo{\~{a}}o Pedro Sousa and
Gabriel Tamura and
Ladan Tahvildari and
Norha M. Villegas and
Thomas Vogel and
Danny Weyns and
Kenny Wong and
Jochen Wuttke},
editor = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw},
title = {Software Engineering for Self-Adaptive Systems: {A} second Research
Roadmap},
booktitle = {Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10431},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2011/3156/},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LemosGMSABBBBCD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/LevendovszkyL09,
author = {Tihamer Levendovszky and
L{\'{a}}szl{\'{o}} Lengyel and
Gabor Karsai and
C{\'{e}}cile Hardebolle},
title = {Preface},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {21},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.21.282.269},
doi = {10.14279/TUJ.ECEASST.21.282.269},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/LevendovszkyL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tim/AbdelwahedKMO09,
author = {Sherif Abdelwahed and
Gabor Karsai and
Nagabhushan Mahadevan and
Stanley C. Ofsthun},
title = {Practical Implementation of Diagnosis Systems Using Timed Failure
Propagation Graph Models},
journal = {{IEEE} Trans. Instrum. Meas.},
volume = {58},
number = {2},
pages = {240--247},
year = {2009},
url = {https://doi.org/10.1109/TIM.2008.2005958},
doi = {10.1109/TIM.2008.2005958},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tim/AbdelwahedKMO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09,
author = {Betty H. C. Cheng and
Rog{\'{e}}rio de Lemos and
Holger Giese and
Paola Inverardi and
Jeff Magee and
Jesper Andersson and
Basil Becker and
Nelly Bencomo and
Yuriy Brun and
Bojan Cukic and
Giovanna Di Marzo Serugendo and
Schahram Dustdar and
Anthony Finkelstein and
Cristina Gacek and
Kurt Geihs and
Vincenzo Grassi and
Gabor Karsai and
Holger M. Kienle and
Jeff Kramer and
Marin Litoiu and
Sam Malek and
Raffaela Mirandola and
Hausi A. M{\"{u}}ller and
Sooyong Park and
Mary Shaw and
Matthias Tichy and
Massimo Tivoli and
Danny Weyns and
Jon Whittle},
editor = {Betty H. C. Cheng and
Rog{\'{e}}rio de Lemos and
Holger Giese and
Paola Inverardi and
Jeff Magee},
title = {Software Engineering for Self-Adaptive Systems: {A} Research Roadmap},
booktitle = {Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl
Seminar]},
series = {Lecture Notes in Computer Science},
volume = {5525},
pages = {1--26},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02161-9\_1},
doi = {10.1007/978-3-642-02161-9\_1},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/PorterKS09,
author = {Joseph Porter and
Gabor Karsai and
Janos Sztipanovits},
editor = {Samarjit Chakraborty and
Nicolas Halbwachs},
title = {Towards a time-triggered schedule calculation tool to support model-based
embedded software design},
booktitle = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
2009},
pages = {167--176},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629335.1629358},
doi = {10.1145/1629335.1629358},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/PorterKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fusion/NeemaBKNSK09,
author = {Sandeep Neema and
Ted Bapty and
Xenofon D. Koutsoukos and
Himanshu Neema and
Janos Sztipanovits and
Gabor Karsai},
title = {Model based integration and experimentation of Information Fusion
and {C2} Systems},
booktitle = {12th International Conference on Information Fusion, {FUSION} '09,
Seattle, Washington, USA, July 6-9, 2009},
pages = {1958--1965},
publisher = {{IEEE}},
year = {2009},
url = {https://ieeexplore.ieee.org/document/5203876/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fusion/NeemaBKNSK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/DubeyKA09,
author = {Abhishek Dubey and
Gabor Karsai and
Sherif Abdelwahed},
title = {Compensating for Timing Jitter in Computing Systems with General-Purpose
Operating Systems},
booktitle = {2009 {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2009, Tokyo, Japan, 17-20
March 2009},
pages = {55--62},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISORC.2009.28},
doi = {10.1109/ISORC.2009.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/DubeyKA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AmaralHKLL09,
author = {Vasco Amaral and
C{\'{e}}cile Hardebolle and
Gabor Karsai and
L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky},
editor = {Sudipto Ghosh},
title = {Recent Advances in Multi-paradigm Modeling},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6002},
pages = {220--224},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12261-3\_21},
doi = {10.1007/978-3-642-12261-3\_21},
timestamp = {Wed, 23 Feb 2022 12:58:06 +0100},
biburl = {https://dblp.org/rec/conf/models/AmaralHKLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/NarayananLBK09,
author = {Anantha Narayanan and
Tihamer Levendovszky and
Daniel Balasubramanian and
Gabor Karsai},
editor = {Andy Sch{\"{u}}rr and
Bran Selic},
title = {Automatic Domain Model Migration to Manage Metamodel Evolution},
booktitle = {Model Driven Engineering Languages and Systems, 12th International
Conference, {MODELS} 2009, Denver, CO, USA, October 4-9, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5795},
pages = {706--711},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04425-0\_57},
doi = {10.1007/978-3-642-04425-0\_57},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/NarayananLBK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/PorterVKNKS09,
author = {Joseph Porter and
P{\'{e}}ter V{\"{o}}lgyesi and
Nicholas Kottenstette and
Harmon Nine and
Gabor Karsai and
Janos Sztipanovits},
title = {An Experimental Model-Based Rapid Prototyping Environment for High-Confidence
Embedded Software},
booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium
on Rapid System Prototyping, Shortening the Path from Specification
to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009},
pages = {3--10},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/RSP.2009.32},
doi = {10.1109/RSP.2009.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/PorterVKNKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/LevendovszkyBNK09,
author = {Tihamer Levendovszky and
Daniel Balasubramanian and
Anantha Narayanan and
Gabor Karsai},
editor = {Mark van den Brand and
Dragan Gasevic and
Jeff Gray},
title = {A Novel Approach to Semi-automated Evolution of {DSML} Model Transformation},
booktitle = {Software Language Engineering, Second International Conference, {SLE}
2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5969},
pages = {23--41},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12107-4\_4},
doi = {10.1007/978-3-642-12107-4\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sle/LevendovszkyBNK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/NarayananK08,
author = {Anantha Narayanan and
Gabor Karsai},
title = {Verifying Model Transformations by Structural Correspondence},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {10},
year = {2008},
url = {https://doi.org/10.14279/tuj.eceasst.10.157},
doi = {10.14279/TUJ.ECEASST.10.157},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/NarayananK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KarsaiNS08,
author = {Gabor Karsai and
Sandeep Neema and
David Sharp},
title = {Model-driven architecture for embedded software: {A} synopsis and
an example},
journal = {Sci. Comput. Program.},
volume = {73},
number = {1},
pages = {26--38},
year = {2008},
url = {https://doi.org/10.1016/j.scico.2008.05.006},
doi = {10.1016/J.SCICO.2008.05.006},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KarsaiNS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/GianiKRSSW08,
author = {Annarita Giani and
Gabor Karsai and
Tanya G. Roosta and
Aakash Shah and
Bruno Sinopoli and
Jon Wiley},
title = {A testbed for secure and robust {SCADA} systems},
journal = {{SIGBED} Rev.},
volume = {5},
number = {2},
pages = {4},
year = {2008},
url = {https://doi.org/10.1145/1399583.1399587},
doi = {10.1145/1399583.1399587},
timestamp = {Tue, 07 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/GianiKRSSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMse/NessK08,
author = {Benjamin Ness and
Gabor Karsai},
title = {High precision automatic scheduling of periodic task sets for microcontrollers},
booktitle = {Proceedings of the 46th Annual Southeast Regional Conference, 2008,
Auburn, Alabama, USA, March 28-29, 2008},
pages = {1--6},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1593105.1593107},
doi = {10.1145/1593105.1593107},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ACMse/NessK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NarayananK08,
author = {Anantha Narayanan and
Gabor Karsai},
editor = {Gabor Karsai and
Gabriele Taentzer},
title = {Specifying the correctness properties of model transformations},
booktitle = {Proceedings of the Third International Workshop on Graph and Model
Transformations, GRaMoT '08, Leipzig, Germany, May 12, 2008},
pages = {45--52},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1402947.1402957},
doi = {10.1145/1402947.1402957},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/NarayananK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KarsaiT08,
author = {Gabor Karsai and
Gabriele Taentzer},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {Third international workshop on graph and model transformations},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008, Companion Volume},
pages = {1055--1056},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370175.1370244},
doi = {10.1145/1370175.1370244},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/KarsaiT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KavimandanNGK08,
author = {Amogh Kavimandan and
Anantha Narayanan and
Aniruddha S. Gokhale and
Gabor Karsai},
title = {Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration
Process in Distributed Real-Time and Embedded Systems},
booktitle = {11th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2008), 5-7 May 2008, Orlando, Florida, {USA}},
pages = {100--107},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISORC.2008.24},
doi = {10.1109/ISORC.2008.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/KavimandanNGK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PorterKVNHHTS08,
author = {Joseph Porter and
Gabor Karsai and
P{\'{e}}ter V{\"{o}}lgyesi and
Harmon Nine and
Peter Humke and
Graham Hemingway and
Ryan Thibodeaux and
Janos Sztipanovits},
editor = {Michel R. V. Chaudron},
title = {Towards Model-Based Integration of Tools and Techniques for Embedded
Control System Design, Verification, and Implementation},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2008, Toulouse, France, September 28 - October 3, 2008. Reports and
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5421},
pages = {20--34},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01648-6\_3},
doi = {10.1007/978-3-642-01648-6\_3},
timestamp = {Wed, 23 Feb 2022 12:58:05 +0100},
biburl = {https://dblp.org/rec/conf/models/PorterKVNHHTS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GrayFCKMT08,
author = {Jeff Gray and
Kathleen Fisher and
Charles Consel and
Gabor Karsai and
Marjan Mernik and
Juha{-}Pekka Tolvanen},
editor = {Gail E. Harris},
title = {DSLs: the good, the bad, and the ugly},
booktitle = {Companion to the 23rd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2008,
October 19-13, 2007, Nashville, TN, {USA}},
pages = {791--794},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449814.1449863},
doi = {10.1145/1449814.1449863},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GrayFCKMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seus/KarsaiS08,
author = {Gabor Karsai and
Janos Sztipanovits},
editor = {Uwe Brinkschulte and
Tony Givargis and
Stefano Russo},
title = {Model-Integrated Development of Cyber-Physical Systems},
booktitle = {Software Technologies for Embedded and Ubiquitous Systems, 6th {IFIP}
{WG} 10.2 International Workshop, {SEUS} 2008, Anacarpi, Capri Island,
Italy, October 1-3, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5287},
pages = {46--54},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87785-1\_5},
doi = {10.1007/978-3-540-87785-1\_5},
timestamp = {Wed, 22 Mar 2023 16:53:33 +0100},
biburl = {https://dblp.org/rec/conf/seus/KarsaiS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2008gramot,
editor = {Gabor Karsai and
Gabriele Taentzer},
title = {Proceedings of the Third International Workshop on Graph and Model
Transformations, GRaMoT '08, Leipzig, Germany, May 12, 2008},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1402947},
doi = {10.1145/1402947},
isbn = {978-1-60558-033-3},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/2008gramot.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BalasubramanianNNSTK07,
author = {Daniel Balasubramanian and
Anantha Narayanan and
Sandeep Neema and
Feng Shi and
Ryan Thibodeaux and
Gabor Karsai},
title = {A Subgraph Operator for Graph Transformation Languages},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {6},
year = {2007},
url = {https://doi.org/10.14279/tuj.eceasst.6.72},
doi = {10.14279/TUJ.ECEASST.6.72},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BalasubramanianNNSTK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/DubeyNKNBK07,
author = {Abhishek Dubey and
Steven Nordstrom and
Turker Keskinpala and
Sandeep Neema and
Ted Bapty and
Gabor Karsai},
title = {Towards a verifiable real-time, autonomic, fault mitigation framework
for large scale real-time systems},
journal = {Innov. Syst. Softw. Eng.},
volume = {3},
number = {1},
pages = {33--52},
year = {2007},
url = {https://doi.org/10.1007/s11334-006-0015-7},
doi = {10.1007/S11334-006-0015-7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/DubeyNKNBK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/EbyWKL07,
author = {Matthew Eby and
Jan Werner and
Gabor Karsai and
{\'{A}}kos L{\'{e}}deczi},
title = {Embedded systems security co-design},
journal = {{SIGBED} Rev.},
volume = {4},
number = {2},
pages = {1--4},
year = {2007},
url = {https://doi.org/10.1145/1295464.1295466},
doi = {10.1145/1295464.1295466},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/EbyWKL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/BalasubramanianNNNSTK07,
author = {Daniel Balasubramanian and
Anantha Narayanan and
Sandeep Neema and
Benjamin Ness and
Feng Shi and
Ryan Thibodeaux and
Gabor Karsai},
editor = {Andy Sch{\"{u}}rr and
Manfred Nagl and
Albert Z{\"{u}}ndorf},
title = {Applying a Grouping Operator in Model Transformations},
booktitle = {Applications of Graph Transformations with Industrial Relevance, Third
International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
2007, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5088},
pages = {410--425},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89020-1\_28},
doi = {10.1007/978-3-540-89020-1\_28},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agtive/BalasubramanianNNNSTK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SprinkleRVK07,
author = {Jonathan Sprinkle and
Bernhard Rumpe and
Hans Vangheluwe and
Gabor Karsai},
editor = {Holger Giese and
Gabor Karsai and
Edward Lee and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {Metamodelling - State of the Art and Research Challenges},
booktitle = {Model-Based Engineering of Embedded Real-Time Systems - International
Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6100},
pages = {57--76},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-642-16277-0\_3},
doi = {10.1007/978-3-642-16277-0\_3},
timestamp = {Sat, 30 Sep 2023 09:38:34 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/SprinkleRVK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SztipanovitsKNB07,
author = {Janos Sztipanovits and
Gabor Karsai and
Sandeep Neema and
Ted Bapty},
editor = {Holger Giese and
Gabor Karsai and
Edward Lee and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {The Model-Integrated Computing Tool Suite},
booktitle = {Model-Based Engineering of Embedded Real-Time Systems - International
Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6100},
pages = {369--376},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-642-16277-0\_20},
doi = {10.1007/978-3-642-16277-0\_20},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/SztipanovitsKNB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/EbyWKL07,
author = {Matthew Eby and
Jan Werner and
Gabor Karsai and
{\'{A}}kos L{\'{e}}deczi},
title = {Integrating Security Modeling into Embedded System Design},
booktitle = {14th Annual {IEEE} International Conference and Workshop on Engineering
of Computer Based Systems {(ECBS} 2007), 26-29 March 2007, Tucson,
Arizona, {USA}},
pages = {221--228},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ECBS.2007.45},
doi = {10.1109/ECBS.2007.45},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/EbyWKL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2007P7451,
editor = {Holger Giese and
Gabor Karsai and
Edward Lee and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07451},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/portals/07451/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2007P7451.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GieseKLRS07,
author = {Holger Giese and
Gabor Karsai and
Edward Lee and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
editor = {Holger Giese and
Gabor Karsai and
Edward Lee and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {07451 Summary - Model-Based Engineering of Embedded Real-Time Systems},
booktitle = {Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07451},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1272},
timestamp = {Thu, 10 Jun 2021 13:02:10 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GieseKLRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GieseKLRS07a,
author = {Holger Giese and
Gabor Karsai and
Edward Lee and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
editor = {Holger Giese and
Gabor Karsai and
Edward Lee and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time
Systems},
booktitle = {Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07451},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1271},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GieseKLRS07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BalasubramanianGKSN06,
author = {Krishnakumar Balasubramanian and
Aniruddha S. Gokhale and
Gabor Karsai and
Janos Sztipanovits and
Sandeep Neema},
title = {Developing Applications Using Model-Driven Design Environments},
journal = {Computer},
volume = {39},
number = {2},
pages = {33--40},
year = {2006},
url = {https://doi.org/10.1109/MC.2006.54},
doi = {10.1109/MC.2006.54},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/BalasubramanianGKSN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BalasubramanianNBK06,
author = {Daniel Balasubramanian and
Anantha Narayanan and
Christopher P. van Buskirk and
Gabor Karsai},
title = {The Graph Rewriting and Transformation Language: GReAT},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {1},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.1.89},
doi = {10.14279/TUJ.ECEASST.1.89},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BalasubramanianNBK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/KarsaiT06,
author = {Gabor Karsai and
Gabriele Taentzer},
title = {Preface to GraMoT 2006 Workshop Proceedings},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {4},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.4.24.2},
doi = {10.14279/TUJ.ECEASST.4.24.2},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/KarsaiT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/NarayananK06,
author = {Anantha Narayanan and
Gabor Karsai},
title = {Using Semantic Anchoring to Verify Behavior Preservation in Graph
Transformations},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {4},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.4.22},
doi = {10.14279/TUJ.ECEASST.4.22},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/NarayananK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/SzemethyK06,
author = {Tivadar Szemethy and
Gabor Karsai},
title = {{PML:} a Transformation Language for Platform Modeling},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {4},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.4.19},
doi = {10.14279/TUJ.ECEASST.4.19},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/SzemethyK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AgrawalKNSV06,
author = {Aditya Agrawal and
Gabor Karsai and
Sandeep Neema and
Feng Shi and
Attila Vizhanyo},
title = {The design of a language for model transformations},
journal = {Softw. Syst. Model.},
volume = {5},
number = {3},
pages = {261--288},
year = {2006},
url = {https://doi.org/10.1007/s10270-006-0027-7},
doi = {10.1007/S10270-006-0027-7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/AgrawalKNSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/SzekelyMNRSBFGHKB06,
author = {Pedro A. Szekely and
Rajiv T. Maheswaran and
Robert Neches and
Craig Milo Rogers and
Romeo Sanchez and
Marcel Becker and
Stephen Fitzpatrick and
Gergely Gati and
D{\'{a}}vid Han{\'{a}}k and
Gabor Karsai and
Christopher P. van Buskirk},
title = {An Examination of Criticality-Sensitive Approaches to Coordination},
booktitle = {Distributed Plan and Schedule Management, Papers from the 2006 {AAAI}
Spring Symposium, Technical Report SS-06-04, Stanford, California,
USA, March 27-29, 2006},
pages = {136--142},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/Symposia/Spring/2006/ss06-04-019.php},
timestamp = {Sat, 18 Feb 2012 12:29:46 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/SzekelyMNRSBFGHKB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswsd/KarsaiN06,
author = {Gabor Karsai and
Anantha Narayanan},
editor = {Manfred Broy and
Ingolf H. Kr{\"{u}}ger and
Michael Meisinger},
title = {Towards Verification of Model Transformations Via Goal-Directed Certification},
booktitle = {Model-Driven Development of Reliable Automotive Services, Second Automotive
Software Workshop, {ASWSD} 2006, San Diego, CA, USA, March 15-17,
2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4922},
pages = {67--83},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70930-5\_5},
doi = {10.1007/978-3-540-70930-5\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aswsd/KarsaiN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SzekelyBFGHJKMNRSB06,
author = {Pedro A. Szekely and
Marcel Becker and
Stephen Fitzpatrick and
Gergely Gati and
D{\'{a}}vid Han{\'{a}}k and
Jing Jin and
Gabor Karsai and
Rajiv T. Maheswaran and
Robert Neches and
Craig Milo Rogers and
Romeo Sanchez and
Christopher P. van Buskirk},
editor = {Hideyuki Nakashima and
Michael P. Wellman and
Gerhard Weiss and
Peter Stone},
title = {{CSC:} Criticality-Sensitive Coordination},
booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006},
pages = {1441--1442},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1160633.1160905},
doi = {10.1145/1160633.1160905},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/SzekelyBFGHJKMNRSB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SzemethyKB06,
author = {Tivadar Szemethy and
Gabor Karsai and
Daniel Balasubramanian},
title = {Model Transformations in the Model-Based Development of Real-time
Systems},
booktitle = {13th Annual {IEEE} International Conference and Workshop on Engineering
of Computer Based Systems {(ECBS} 2006), 27-30 March 2006, Potsdam,
Germany},
pages = {177--186},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ECBS.2006.47},
doi = {10.1109/ECBS.2006.47},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/SzemethyKB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mompes/MandersBMK06,
author = {Eric{-}Jan Manders and
Gautam Biswas and
Nagabhushan Mahadevan and
Gabor Karsai},
editor = {Ricardo Jorge Machado and
Jo{\~{a}}o M. Fernandes and
Matthias Riebisch and
Bernhard Sch{\"{a}}tz},
title = {Component-oriented modeling of hybrid dynamic systems using the Generic
Modeling Environment},
booktitle = {Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based
Development of Computrer-Based Systems and The Third International
Workshop on Model-based Methodologies for Pervasive and Embedded Software,
{MBD/MOMPES} 2006, Potsdam, Germany, March 30, 2006, Proceedings},
pages = {159--168},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/MBD-MOMPES.2006.6},
doi = {10.1109/MBD-MOMPES.2006.6},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/mompes/MandersBMK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/KarsaiN06,
author = {Gabor Karsai and
Anantha Narayanan},
editor = {Fabrice Kordon and
Oleg Sokolsky},
title = {On the Correctness of Model Transformations in the Development of
Embedded Systems},
booktitle = {Composition of Embedded Systems. Scientific and Industrial Issues,
13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4888},
pages = {1--18},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77419-8\_1},
doi = {10.1007/978-3-540-77419-8\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/monterey/KarsaiN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NarayananK08,
author = {Anantha Narayanan and
Gabor Karsai},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Towards Verifying Model Transformations},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {191--200},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.041},
doi = {10.1016/J.ENTCS.2008.04.041},
timestamp = {Fri, 17 Feb 2023 09:34:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NarayananK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gramot/2005,
editor = {Gabor Karsai and
Gabriele Taentzer},
title = {Proceedings of the International Workshop on Graph and Model Transformation,
GraMoT@GPCE 2005, Tallinn, Estonia, September 28, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {152},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/152/suppl/C},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gramot/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KarsaiLN05,
author = {Gabor Karsai and
Andras Lang and
Sandeep Neema},
title = {Design patterns for open tool integration},
journal = {Softw. Syst. Model.},
volume = {4},
number = {2},
pages = {157--170},
year = {2005},
url = {https://doi.org/10.1007/s10270-004-0073-y},
doi = {10.1007/S10270-004-0073-Y},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/KarsaiLN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SztipanovitsBFGHKKKS05,
author = {Janos Sztipanovits and
Gautam Biswas and
Ken Frampton and
Aniruddha S. Gokhale and
Larry Howard and
Gabor Karsai and
Tak{-}John Koo and
Xenofon D. Koutsoukos and
Douglas C. Schmidt},
title = {Introducing embedded software and systems education and advanced learning
technology in an engineering curriculum},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {3},
pages = {549--568},
year = {2005},
url = {https://doi.org/10.1145/1086519.1086524},
doi = {10.1145/1086519.1086524},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/SztipanovitsBFGHKKKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/NeemaKSVK05,
author = {Sandeep Neema and
Zsolt Kalmar and
Feng Shi and
Attila Vizhanyo and
Gabor Karsai},
title = {A Visually-Specified Code Generator for Simulink/Stateflow},
booktitle = {2005 {IEEE} Symposium on Visual Languages and Human-Centric Computing
{(VL/HCC} 2005), 21-24 September 2005, Dallas, TX, {USA}},
pages = {275--277},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/VLHCC.2005.14},
doi = {10.1109/VLHCC.2005.14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/NeemaKSVK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KarsaiT06,
author = {Gabor Karsai and
Gabriele Taentzer},
editor = {Gabor Karsai and
Gabriele Taentzer},
title = {Preface},
booktitle = {Proceedings of the International Workshop on Graph and Model Transformation,
GraMoT@GPCE 2005, Tallinn, Estonia, September 28, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {152},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.01.010},
doi = {10.1016/J.ENTCS.2006.01.010},
timestamp = {Thu, 15 Dec 2022 15:55:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KarsaiT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MensGVK06,
author = {Tom Mens and
Pieter Van Gorp and
D{\'{a}}niel Varr{\'{o}} and
Gabor Karsai},
editor = {Gabor Karsai and
Gabriele Taentzer},
title = {Applying a Model Transformation Taxonomy to Graph Transformation Technology},
booktitle = {Proceedings of the International Workshop on Graph and Model Transformation,
GraMoT@GPCE 2005, Tallinn, Estonia, September 28, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {152},
pages = {143--159},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.022},
doi = {10.1016/J.ENTCS.2005.10.022},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MensGVK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VizhanyoNSBK06,
author = {Attila Vizhanyo and
Sandeep Neema and
Feng Shi and
Daniel Balasubramanian and
Gabor Karsai},
editor = {Gabor Karsai and
Gabriele Taentzer},
title = {Improving the Usability of a Graph Transformation Language},
booktitle = {Proceedings of the International Workshop on Graph and Model Transformation,
GraMoT@GPCE 2005, Tallinn, Estonia, September 28, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {152},
pages = {207--222},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.026},
doi = {10.1016/J.ENTCS.2005.10.026},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VizhanyoNSBK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/SzemethyK04,
author = {Tivadar Szemethy and
Gabor Karsai},
title = {Platform Modeling and Model Transformations for Analysis},
journal = {J. Univers. Comput. Sci.},
volume = {10},
number = {10},
pages = {1383--1407},
year = {2004},
url = {https://doi.org/10.3217/jucs-010-10-1383},
doi = {10.3217/JUCS-010-10-1383},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/SzemethyK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/KarsaiMLGS04,
author = {Gabor Karsai and
Mikl{\'{o}}s Mar{\'{o}}ti and
{\'{A}}kos L{\'{e}}deczi and
Jeff Gray and
Janos Sztipanovits},
title = {Composition and cloning in modeling and meta-modeling},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {12},
number = {2},
pages = {263--278},
year = {2004},
url = {https://doi.org/10.1109/TCST.2004.824311},
doi = {10.1109/TCST.2004.824311},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcst/KarsaiMLGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/SprinkleK04,
author = {Jonathan Sprinkle and
Gabor Karsai},
title = {A domain-specific visual language for domain model evolution},
journal = {J. Vis. Lang. Comput.},
volume = {15},
number = {3-4},
pages = {291--307},
year = {2004},
url = {https://doi.org/10.1016/j.jvlc.2004.01.006},
doi = {10.1016/J.JVLC.2004.01.006},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/SprinkleK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswsd/Karsai04,
author = {Gabor Karsai},
editor = {Manfred Broy and
Ingolf H. Kr{\"{u}}ger and
Michael Meisinger},
title = {Automotive Software: {A} Challenge and Opportunity for Model-Based
Software Development},
booktitle = {Automotive Software - Connected Services in Mobile Networks, First
Automotive Software Workshop, {ASWSD} 2004, San Diego, CA, USA, January
10-12, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4147},
pages = {103--115},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11823063\_8},
doi = {10.1007/11823063\_8},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/aswsd/Karsai04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswsd/NeemaK04,
author = {Sandeep Neema and
Gabor Karsai},
editor = {Manfred Broy and
Ingolf H. Kr{\"{u}}ger and
Michael Meisinger},
title = {Software for Automotive Systems: Model-Integrated Computing},
booktitle = {Automotive Software - Connected Services in Mobile Networks, First
Automotive Software Workshop, {ASWSD} 2004, San Diego, CA, USA, January
10-12, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4147},
pages = {116--136},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11823063\_9},
doi = {10.1007/11823063\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswsd/NeemaK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/MadlAK04,
author = {Gabor Madl and
Sherif Abdelwahed and
Gabor Karsai},
title = {Automatic Verification of Component-Based Real-Time {CORBA} Applications},
booktitle = {Proceedings of the 25th {IEEE} Real-Time Systems Symposium {(RTSS}
2004), 5-8 December 2004, Lisbon, Portugal},
pages = {231--240},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/REAL.2004.13},
doi = {10.1109/REAL.2004.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/MadlAK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/KandasamyHBNK04,
author = {Nagarajan Kandasamy and
D{\'{a}}vid Han{\'{a}}k and
Christopher P. van Buskirk and
Himanshu Neema and
Gabor Karsai},
title = {Synthesis of robust task schedules for minimum disruption repair},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
{\&} Cybernetics: The Hague, Netherlands, 10-13 October 2004},
pages = {5056--5061},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/ICSMC.2004.1400995},
doi = {10.1109/ICSMC.2004.1400995},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/KandasamyHBNK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AgrawalSK04,
author = {Aditya Agrawal and
Gyula Simon and
Gabor Karsai},
editor = {Reiko Heckel},
title = {Semantic Translation of Simulink/Stateflow Models to Hybrid Automata
Using Graph Transformations},
booktitle = {Proceedings of the 2004 Workshop on Graph Transformation and Visual
Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {109},
pages = {43--56},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.055},
doi = {10.1016/J.ENTCS.2004.02.055},
timestamp = {Tue, 13 Dec 2022 10:50:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AgrawalSK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AgrawalVKSNK05,
author = {Aditya Agrawal and
Attila Vizhanyo and
Zsolt Kalmar and
Feng Shi and
Anantha Narayanan and
Gabor Karsai},
editor = {Tom Mens and
Andy Sch{\"{u}}rr and
Gabriele Taentzer},
title = {Reusable Idioms and Patterns in Graph Transformation Languages},
booktitle = {Proceedings of the 2nd International Workshop on Graph-Based Tools,
GraBaTs 2004, Rome, Italy, October 2, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {127},
number = {1},
pages = {181--192},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.035},
doi = {10.1016/J.ENTCS.2004.12.035},
timestamp = {Mon, 12 Dec 2022 13:56:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AgrawalVKSNK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gpce/2004,
editor = {Gabor Karsai and
Eelco Visser},
title = {Generative Programming and Component Engineering: Third International
Conference, {GPCE} 2004, Vancouver, Canada, October 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3286},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b101929},
doi = {10.1007/B101929},
isbn = {3-540-23580-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/KarsaiASS03,
author = {Gabor Karsai and
Aditya Agrawal and
Feng Shi and
Jonathan Sprinkle},
title = {On the Use of Graph Transformation in the Formal Specification of
Model Interpreters},
journal = {J. Univers. Comput. Sci.},
volume = {9},
number = {11},
pages = {1296--1321},
year = {2003},
url = {http://www.jucs.org/jucs\_9\_11/on\_the\_use\_of},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/KarsaiASS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/KarsaiSLB03,
author = {Gabor Karsai and
Janos Sztipanovits and
{\'{A}}kos L{\'{e}}deczi and
Ted Bapty},
title = {Model-integrated development of embedded software},
journal = {Proc. {IEEE}},
volume = {91},
number = {1},
pages = {145--164},
year = {2003},
url = {https://doi.org/10.1109/JPROC.2002.805824},
doi = {10.1109/JPROC.2002.805824},
timestamp = {Mon, 04 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/KarsaiSLB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/KarsaiA03,
author = {Gabor Karsai and
Aditya Agrawal},
editor = {John L. Pfaltz and
Manfred Nagl and
Boris B{\"{o}}hlen},
title = {Graph Transformations in OMG's Model-Driven Architecture: (Invited
Talk)},
booktitle = {Applications of Graph Transformations with Industrial Relevance, Second
International Workshop, {AGTIVE} 2003, Charlottesville, VA, USA, September
27 - October 1, 2003, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3062},
pages = {243--259},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25959-6\_18},
doi = {10.1007/978-3-540-25959-6\_18},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/agtive/KarsaiA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SprinkleALSK03,
author = {Jonathan Sprinkle and
Aditya Agrawal and
Tihamer Levendovszky and
Feng Shi and
Gabor Karsai},
title = {Domain Model Translation Using Graph Transformations},
booktitle = {10th {IEEE} International Conference on Engineering of Computer-Based
Systems {(ECBS} 2003), 7-10 April 2003, Huntsville, AL, {USA}},
pages = {159--167},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ECBS.2003.1194795},
doi = {10.1109/ECBS.2003.1194795},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/SprinkleALSK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/NeemaSKB03,
author = {Sandeep Neema and
Janos Sztipanovits and
Gabor Karsai and
Ken Butts},
editor = {Rajeev Alur and
Insup Lee},
title = {Constraint-Based Design-Space Exploration and Model Synthesis},
booktitle = {Embedded Software, Third International Conference, {EMSOFT} 2003,
Philadelphia, PA, USA, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2855},
pages = {290--305},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45212-6\_19},
doi = {10.1007/978-3-540-45212-6\_19},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/NeemaSKB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/GrayK03,
author = {Jeff Gray and
Gabor Karsai},
title = {An Examination of DSLs for Concisely Representing Model Traversals
and Transformations},
booktitle = {36th Hawaii International Conference on System Sciences {(HICSS-36}
2003), {CD-ROM} / Abstracts Proceedings, January 6-9, 2003, Big Island,
HI, {USA}},
pages = {325},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/HICSS.2003.1174892},
doi = {10.1109/HICSS.2003.1174892},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/GrayK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AgrawalKL03,
author = {Aditya Agrawal and
Gabor Karsai and
{\'{A}}kos L{\'{e}}deczi},
editor = {Ron Crocker and
Guy L. Steele Jr.},
title = {An end-to-end domain-driven software development framework},
booktitle = {Companion of the 18th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2003,
October 26-30, 2003, Anaheim, CA, {USA}},
pages = {8--15},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/949344.949347},
doi = {10.1145/949344.949347},
timestamp = {Fri, 25 Jun 2021 17:20:20 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AgrawalKL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/SuAKB03,
author = {Rong Su and
Sherif Abdelwahed and
Gabor Karsai and
Gautam Biswas},
title = {Discrete abstraction and supervisory control of switching systems},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
{\&} Cybernetics: Washington, D.C., USA, 5-8 October 2003},
pages = {415--421},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/ICSMC.2003.1243851},
doi = {10.1109/ICSMC.2003.1243851},
timestamp = {Wed, 22 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smc/SuAKB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/AbdelwahedKB02,
author = {Sherif Abdelwahed and
Gabor Karsai and
Gautam Biswas},
title = {Online safety control of a class of hybrid systems},
booktitle = {41st {IEEE} Conference on Decision and Control, {CDC} 2002, Las Vegas,
NV, USA, December 10-13, 2002},
pages = {1988--1990},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/CDC.2002.1184819},
doi = {10.1109/CDC.2002.1184819},
timestamp = {Tue, 08 Mar 2022 11:46:48 +0100},
biburl = {https://dblp.org/rec/conf/cdc/AbdelwahedKB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/SztipanovitsK02,
author = {Janos Sztipanovits and
Gabor Karsai},
editor = {Don S. Batory and
Charles Consel and
Walid Taha},
title = {Generative Programming for Embedded Systems},
booktitle = {Generative Programming and Component Engineering, {ACM} {SIGPLAN/SIGSOFT}
Conference, {GPCE} 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2487},
pages = {32--49},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45821-2\_2},
doi = {10.1007/3-540-45821-2\_2},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/gpce/SztipanovitsK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/LevendovszkyKMLC02,
author = {Tihamer Levendovszky and
Gabor Karsai and
Miklos Maroti and
{\'{A}}kos L{\'{e}}deczi and
Hassan Charaf},
editor = {Cristina Gacek},
title = {Model Reuse with Metamodel-Based Transformations},
booktitle = {Software Reuse: Methods, Techniques, and Tools, 7th International
Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2319},
pages = {166--178},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46020-9\_12},
doi = {10.1007/3-540-46020-9\_12},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/icsr/LevendovszkyKMLC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SztipanovitsK02,
author = {Janos Sztipanovits and
Gabor Karsai},
title = {Generative programming for embedded systems},
booktitle = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, October 6-8, 2002,
Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
pages = {180--180},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/571157.571175},
doi = {10.1145/571157.571175},
timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/SztipanovitsK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/LedecziBMVNSK01,
author = {{\'{A}}kos L{\'{e}}deczi and
Arpad Bakay and
Miklos Maroti and
P{\'{e}}ter V{\"{o}}lgyesi and
Greg Nordstrom and
Jonathan Sprinkle and
Gabor Karsai},
title = {Composing Domain-Specific Design Environments},
journal = {Computer},
volume = {34},
number = {11},
pages = {44--51},
year = {2001},
url = {https://doi.org/10.1109/2.963443},
doi = {10.1109/2.963443},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/LedecziBMVNSK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/KarsaiBPNPSK01,
author = {Gabor Karsai and
Gautam Biswas and
Tal Pasternak and
Sriram Narasimhan and
G{\'{a}}bor P{\'{e}}celi and
Gyula Simon and
Tam{\'{a}}s Kov{\'{a}}csh{\'{a}}zy},
title = {Fault-Adaptive Control: {A} {CBS} Application},
booktitle = {8th {IEEE} International Conference on Engineering of Computer-Based
Systems {(ECBS} 2001), 17-20 April 2001, Washington, DC, {USA}},
pages = {205},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ECBS.2001.922423},
doi = {10.1109/ECBS.2001.922423},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/KarsaiBPNPSK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SprinkleLKN01,
author = {Jonathan Sprinkle and
{\'{A}}kos L{\'{e}}deczi and
Gabor Karsai and
Greg Nordstrom},
title = {The New Metamodeling Generation},
booktitle = {8th {IEEE} International Conference on Engineering of Computer-Based
Systems {(ECBS} 2001), 17-20 April 2001, Washington, DC, {USA}},
pages = {275},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ECBS.2001.922433},
doi = {10.1109/ECBS.2001.922433},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/SprinkleLKN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/SztipanovitsK01,
author = {Janos Sztipanovits and
Gabor Karsai},
editor = {Thomas A. Henzinger and
Christoph M. Kirsch},
title = {Embedded Software: Challenges and Opportunities},
booktitle = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
City, CA, USA, October, 8-10, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2211},
pages = {403--415},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45449-7\_28},
doi = {10.1007/3-540-45449-7\_28},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/SztipanovitsK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsas/KarsaiLSPSK01,
author = {Gabor Karsai and
{\'{A}}kos L{\'{e}}deczi and
Janos Sztipanovits and
G{\'{a}}bor P{\'{e}}celi and
Gyula Simon and
Tam{\'{a}}s Kov{\'{a}}csh{\'{a}}zy},
editor = {Robert Laddaga and
Paul Robertson and
Howard E. Shrobe},
title = {An Approach to Self-adaptive Software Based on Supervisory Control},
booktitle = {Self-Adaptive Software, Second International Workshop, {IWSAS} 2001,
Balatonf{\"{u}}red, Hungary, May 17-19, 2001 Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2614},
pages = {24--38},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-36554-0\_3},
doi = {10.1007/3-540-36554-0\_3},
timestamp = {Fri, 11 Dec 2020 15:37:35 +0100},
biburl = {https://dblp.org/rec/conf/iwsas/KarsaiLSPSK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/KarsaiNLS00,
author = {Gabor Karsai and
Greg Nordstrom and
{\'{A}}kos L{\'{e}}deczi and
Janos Sztipanovits},
title = {Towards Two-Level Formal Modeling of Computer-Based Systems},
journal = {J. Univers. Comput. Sci.},
volume = {6},
number = {11},
pages = {1131--1144},
year = {2000},
url = {http://www.jucs.org/jucs\_6\_11/towards\_two\_level\_formal},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/KarsaiNLS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Karsai00,
author = {Gabor Karsai},
title = {Model integrated computing {(MIC)}},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {105},
year = {2000},
url = {https://doi.org/10.1145/340855.341125},
doi = {10.1145/340855.341125},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Karsai00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/Karsai00,
author = {Gabor Karsai},
title = {Design Tool Integration: An Exercise in Semantic Interoperability},
booktitle = {7th {IEEE} International Symposium on Engineering of Computer-Based
Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
pages = {272--278},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ECBS.2000.839886},
doi = {10.1109/ECBS.2000.839886},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/Karsai00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/SprinkleBK00,
author = {Jonathan Sprinkle and
Christopher P. van Buskirk and
Gabor Karsai},
title = {Modeling agent negotiation},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
{\&} Cybernetics: "Cybernetics Evolving to Systems, Humans, Organizations,
and their Complex Interactions", Sheraton Music City Hotel, Nashville,
Tennessee, USA, 8-11 October 2000},
pages = {454--459},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/ICSMC.2000.885034},
doi = {10.1109/ICSMC.2000.885034},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/SprinkleBK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/NarasimhanBKPZ00,
author = {Sriram Narasimhan and
Gautam Biswas and
Gabor Karsai and
Tal Pasternak and
Feng Zhao},
title = {Building observers to address fault isolation and control problems
in hybrid dynamic systems},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
{\&} Cybernetics: "Cybernetics Evolving to Systems, Humans, Organizations,
and their Complex Interactions", Sheraton Music City Hotel, Nashville,
Tennessee, USA, 8-11 October 2000},
pages = {2393--2398},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/ICSMC.2000.884349},
doi = {10.1109/ICSMC.2000.884349},
timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/NarasimhanBKPZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/KarsaiS99,
author = {Gabor Karsai and
Janos Sztipanovits},
title = {A model-based approach to self-adaptive software},
journal = {{IEEE} Intell. Syst.},
volume = {14},
number = {3},
pages = {46--53},
year = {1999},
url = {https://doi.org/10.1109/5254.769884},
doi = {10.1109/5254.769884},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/expert/KarsaiS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/NordstromSKL99,
author = {Greg Nordstrom and
Janos Sztipanovits and
Gabor Karsai and
{\'{A}}kos L{\'{e}}deczi},
title = {Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling
Environments},
booktitle = {6th Symposium on Engineering of Computer-Based Systems {(ECBS} '99),
7-12 March 1999, Nashville, TN, {USA.} {IEEE} Computer Society, 1999},
pages = {68--74},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ECBS.1999.755863},
doi = {10.1109/ECBS.1999.755863},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/NordstromSKL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/Karsai99,
author = {Gabor Karsai},
title = {Structured Specification of Model Interpreters},
booktitle = {6th Symposium on Engineering of Computer-Based Systems {(ECBS} '99),
7-12 March 1999, Nashville, TN, {USA.} {IEEE} Computer Society, 1999},
pages = {84},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ECBS.1999.755865},
doi = {10.1109/ECBS.1999.755865},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/Karsai99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/MisraSKMLL99,
author = {Amit Misra and
Janos Sztipanovits and
Gabor Karsai and
Michael Moore and
{\'{A}}kos L{\'{e}}deczi and
Earl Long},
title = {Model-Integrated Computing and Integration of Globally Distributed
Manufacturing Enterprises: Issues and Challenges},
booktitle = {6th Symposium on Engineering of Computer-Based Systems {(ECBS} '99),
7-12 March 1999, Nashville, TN, {USA.} {IEEE} Computer Society, 1999},
pages = {225--231},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ECBS.1999.755884},
doi = {10.1109/ECBS.1999.755884},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/MisraSKMLL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/LedecziMKN99,
author = {{\'{A}}kos L{\'{e}}deczi and
Miklos Maroti and
Gabor Karsai and
Greg Nordstrom},
title = {Metaprogrammable Toolkit for Model-Integrated Computing},
booktitle = {6th Symposium on Engineering of Computer-Based Systems {(ECBS} '99),
7-12 March 1999, Nashville, TN, {USA.} {IEEE} Computer Society, 1999},
pages = {311},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ECBS.1999.755896},
doi = {10.1109/ECBS.1999.755896},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/LedecziMKN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MisraSKML99,
author = {Amit Misra and
Janos Sztipanovits and
Gabor Karsai and
Michael Moore and
{\'{A}}kos L{\'{e}}deczi},
title = {Integration of Information Systems in Large-Scale Enterprises Using
Model-Integrated Computing},
booktitle = {Proceedings of the 1st International Conference on Enterprise Information
Systems, Setubal, Portugal, 27-30 March 1999},
pages = {485--492},
publisher = {{ICEIS} Secretariat, Escola Superior de Tecnologia de Set{\'{u}}bal,
Portugal},
year = {1999},
timestamp = {Wed, 22 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceis/MisraSKML99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/SztipanovitsKB98,
author = {Janos Sztipanovits and
Gabor Karsai and
Ted Bapty},
title = {Self-Adaptive Software for Signal Processing},
journal = {Commun. {ACM}},
volume = {41},
number = {5},
pages = {66--73},
year = {1998},
url = {https://doi.org/10.1145/274946.274958},
doi = {10.1145/274946.274958},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/SztipanovitsKB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/MisraPKBS98,
author = {Amit Misra and
Gregory M. Provan and
Gabor Karsai and
George Bloor and
Ethan Scarl},
title = {A generic and symbolic model-based diagnostic reasoner with highly
scalable properties},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, {SMC} 1998, Hyatt Regency La Jolla, San Diego, California,
USA, October 11-14,1998},
pages = {3154--3160},
publisher = {{IEEE}},
year = {1998},
url = {https://doi.org/10.1109/ICSMC.1998.726487},
doi = {10.1109/ICSMC.1998.726487},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smc/MisraPKBS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/SztipanovitsK97,
author = {Janos Sztipanovits and
Gabor Karsai},
title = {Model-Integrated Computing},
journal = {Computer},
volume = {30},
number = {4},
pages = {110--111},
year = {1997},
url = {https://doi.org/10.1109/2.585163},
doi = {10.1109/2.585163},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/SztipanovitsK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KarsaiMSLM97,
author = {Gabor Karsai and
Amit Misra and
Janos Sztipanovits and
{\'{A}}kos L{\'{e}}deczi and
Michael Moore},
title = {Model-integrated system development: models, architecture, and process},
booktitle = {21st International Computer Software and Applications Conference {(COMPSAC}
'97), 11-15 August 1997, Washington, DC, {USA}},
pages = {176--181},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/CMPSAC.1997.624786},
doi = {10.1109/CMPSAC.1997.624786},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/KarsaiMSLM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/MisraKSLML97,
author = {Amit Misra and
Gabor Karsai and
Janos Sztipanovits and
{\'{A}}kos L{\'{e}}deczi and
Michael Moore and
Earl Long},
title = {A model-integrated information system for increasing throughput in
discrete manufacturing},
booktitle = {1997 Workshop on Engineering of Computer-Based Systems {(ECBS} '97),
March 24-28, 1997, Monterey, CA, {USA}},
pages = {203--210},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ECBS.1997.581859},
doi = {10.1109/ECBS.1997.581859},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/MisraKSLML97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/FrankeSK97,
author = {Hubertus Franke and
Janos Sztipanovits and
Gabor Karsai},
title = {Model-Integrated Programming},
booktitle = {30th Annual Hawaii International Conference on System Sciences (HICSS-30),
7-10 January 1997, Maui, Hawaii, {USA}},
pages = {415--422},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/HICSS.1997.667291},
doi = {10.1109/HICSS.1997.667291},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/FrankeSK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SztipanovitsKF96,
author = {Janos Sztipanovits and
Gabor Karsai and
Hubertus Franke},
title = {Model-Integrated Program Synthesis Environment},
booktitle = {{IEEE} Symposium and Workshop on Engineering of Computer Based Systems
(ECBS'96), March 11-15, 1996, Friedrichshafen, Germany},
pages = {348--355},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ECBS.1996.494548},
doi = {10.1109/ECBS.1996.494548},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/SztipanovitsKF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acj/LedecziBKS95,
author = {{\'{A}}kos L{\'{e}}deczi and
Ted Bapty and
Gabor Karsai and
Janos Sztipanovits},
title = {Modeling Paradigm for Parallel Signal Processing},
journal = {Aust. Comput. J.},
volume = {27},
number = {3},
pages = {92--102},
year = {1995},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acj/LedecziBKS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Karsai95,
author = {Gabor Karsai},
title = {A Configurable Visual Programming Environment: {A} Tool for Domain-Specific
Programming},
journal = {Computer},
volume = {28},
number = {3},
pages = {36--44},
year = {1995},
url = {https://doi.org/10.1109/2.366147},
doi = {10.1109/2.366147},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Karsai95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/KarsaiSFPD95,
author = {Gabor Karsai and
Janos Sztipanovits and
Hubertus Franke and
Samir Padalkar and
Frank DeCaria},
title = {Model-embedded on-line problem solving environment for chemical engineering},
booktitle = {1st {IEEE} International Conference on Engineering of Complex Computer
Systems {(ICECCS} '95), November 6-10, 1995, Fort Lauderdale, Florida,
{USA}},
pages = {227--233},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICECCS.1995.479334},
doi = {10.1109/ICECCS.1995.479334},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/KarsaiSFPD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SztipanovitsKBBLM95,
author = {Janos Sztipanovits and
Gabor Karsai and
Csaba Biegl and
Ted Bapty and
{\'{A}}kos L{\'{e}}deczi and
Amit Misra},
title = {{MULTIGRAPH:} an architecture for model-integrated computing},
booktitle = {1st {IEEE} International Conference on Engineering of Complex Computer
Systems {(ICECCS} '95), November 6-10, 1995, Fort Lauderdale, Florida,
{USA}},
pages = {361--368},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICECCS.1995.479359},
doi = {10.1109/ICECCS.1995.479359},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/SztipanovitsKBBLM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/MooreKS94,
author = {Michael S. Moore and
Gabor Karsai and
Janos Sztipanovits},
title = {Model-Based Programming for Parallel Image Processing},
booktitle = {Proceedings 1994 International Conference on Image Processing, Austin,
Texas, USA, November 13-16, 1994},
pages = {811--815},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICIP.1994.413776},
doi = {10.1109/ICIP.1994.413776},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icip/MooreKS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/LedecziABBKS93,
author = {{\'{A}}kos L{\'{e}}deczi and
Ben Abbott and
Csaba Biegl and
Ted Bapty and
Gabor Karsai and
Janos Sztipanovits},
title = {Parallel {DSP} system integration},
journal = {Microprocess. Microsystems},
volume = {17},
number = {8},
pages = {460--470},
year = {1993},
url = {https://doi.org/10.1016/0141-9331(93)90029-7},
doi = {10.1016/0141-9331(93)90029-7},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/LedecziABBKS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/AbbottBBKS93,
author = {Ben Abbott and
Ted Bapty and
Csaba Biegl and
Gabor Karsai and
Janos Sztipanovits},
title = {Model-Based Software Synthesis},
journal = {{IEEE} Softw.},
volume = {10},
number = {3},
pages = {42--52},
year = {1993},
url = {https://doi.org/10.1109/52.210602},
doi = {10.1109/52.210602},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/AbbottBBKS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/SztipanovitsWKBL93,
author = {Janos Sztipanovits and
D. Mitchell Wilkes and
Gabor Karsai and
Csaba Biegl and
Lester E. Lynd Jr.},
title = {The multigraph and structural adaptivity},
journal = {{IEEE} Trans. Signal Process.},
volume = {41},
number = {8},
pages = {2695--2716},
year = {1993},
url = {https://doi.org/10.1109/78.229900},
doi = {10.1109/78.229900},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsp/SztipanovitsWKBL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jim/KarsaiACB92,
author = {Gabor Karsai and
Kristinn Andersen and
George E. Cook and
Robert Joel Barnett},
title = {Neural network methods for the modeling and control of welding processes},
journal = {J. Intell. Manuf.},
volume = {3},
number = {4},
pages = {229--235},
year = {1992},
url = {https://doi.org/10.1007/BF01473900},
doi = {10.1007/BF01473900},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jim/KarsaiACB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/KarsaiSPB92,
author = {Gabor Karsai and
Janos Sztipanovits and
Samir Padalkar and
Csaba Biegl},
title = {Model-Based Intelligent Process Control for Cogenerator Plants},
journal = {J. Parallel Distributed Comput.},
volume = {15},
number = {2},
pages = {90--102},
year = {1992},
url = {https://doi.org/10.1016/0743-7315(92)90103-T},
doi = {10.1016/0743-7315(92)90103-T},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/KarsaiSPB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/PadalkarKBSOM91,
author = {Samir Padalkar and
Gabor Karsai and
Csaba Biegl and
Janos Sztipanovits and
Koji Okuda and
Nobuji Miyasaka},
title = {Real-Time Fault Diagnostics},
journal = {{IEEE} Expert},
volume = {6},
number = {3},
pages = {75--85},
year = {1991},
url = {https://doi.org/10.1109/64.87689},
doi = {10.1109/64.87689},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/expert/PadalkarKBSOM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/PadalkarKSOM91,
author = {Samir Padalkar and
Gabor Karsai and
Janos Sztipanovits and
Koji Okuda and
Nobuji Miyasaka},
title = {Real-time fault diagnostics with multiple aspect models},
booktitle = {Proceedings of the 1991 {IEEE} International Conference on Robotics
and Automation, Sacramento, CA, USA, 9-11 April 1991},
pages = {803--808},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/ROBOT.1991.131685},
doi = {10.1109/ROBOT.1991.131685},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icra/PadalkarKSOM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/WilkesLSK90,
author = {D. Mitch Wilkes and
Lester E. Lynd Jr. and
Janos Sztipanovits and
Gabor Karsai},
title = {The multigraph approach to parallel, distributed, structurally adaptive
signal processing},
booktitle = {1990 International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '90, Albuquerque, New Mexico, USA, April 3-6, 1990},
pages = {2037--2040},
publisher = {{IEEE}},
year = {1990},
url = {https://doi.org/10.1109/ICASSP.1990.115923},
doi = {10.1109/ICASSP.1990.115923},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/icassp/WilkesLSK90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/SztipanovitsKPB90,
author = {Janos Sztipanovits and
Gabor Karsai and
Samir Padalkar and
Csaba Biegl and
Nobuji Miyasaka and
Koji Okuda},
title = {Intelligent monitoring and diagnostics for plant automation},
booktitle = {Proceedings of the 1990 {IEEE} International Conference on Robotics
and Automation, Cincinnati, Ohio, USA, May 13-18, 1990},
pages = {1390--1395},
publisher = {{IEEE}},
year = {1990},
url = {https://doi.org/10.1109/ROBOT.1990.126197},
doi = {10.1109/ROBOT.1990.126197},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icra/SztipanovitsKPB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/SztipanovitsKB88,
author = {Janos Sztipanovits and
Gabor Karsai and
Csaba Biegl},
title = {Graph model-based approach to the representation, interpretation,
and execution of signal processing systems},
journal = {Int. J. Intell. Syst.},
volume = {3},
number = {3},
pages = {269--280},
year = {1988},
url = {https://doi.org/10.1002/int.4550030306},
doi = {10.1002/INT.4550030306},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/SztipanovitsKB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nn/KarsaiARC88,
author = {Gabor Karsai and
Kristinn Andersen and
Kumar Ramaswamy and
George E. Cook},
title = {Gas tungsten {ARC} weld modeling using a mapping network},
journal = {Neural Networks},
volume = {1},
number = {Supplement-1},
pages = {341},
year = {1988},
url = {https://doi.org/10.1016/0893-6080(88)90369-3},
doi = {10.1016/0893-6080(88)90369-3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nn/KarsaiARC88.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-21 17:49 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:
