Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sebastián Uchitel
@article{DBLP:journals/tse/Uchitel24,
author = {Sebasti{\'{a}}n Uchitel},
title = {Distinguished Reviewers 2023},
journal = {{IEEE} Trans. Software Eng.},
volume = {50},
number = {3},
pages = {359},
year = {2024},
url = {https://doi.org/10.1109/TSE.2024.3373234},
doi = {10.1109/TSE.2024.3373234},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Uchitel24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/CiolekDZPBBDU23,
author = {Daniel Ciolek and
Matias Duran and
Florencia Zanollo and
Nicolas Pazos and
Juli{\'{a}}n Braier and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Sebasti{\'{a}}n Uchitel},
title = {On-the-fly informed search of non-blocking directed controllers},
journal = {Autom.},
volume = {147},
pages = {110731},
year = {2023},
url = {https://doi.org/10.1016/j.automatica.2022.110731},
doi = {10.1016/J.AUTOMATICA.2022.110731},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/CiolekDZPBBDU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ras/MarcosigZCU23,
author = {Ezequiel Pecker Marcosig and
Sebasti{\'{a}}n Zudaire and
Rodrigo D. Castro and
Sebasti{\'{a}}n Uchitel},
title = {Correct and efficient {UAV} missions based on temporal planning and
in-flight hybrid simulations},
journal = {Robotics Auton. Syst.},
volume = {164},
pages = {104404},
year = {2023},
url = {https://doi.org/10.1016/j.robot.2023.104404},
doi = {10.1016/J.ROBOT.2023.104404},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ras/MarcosigZCU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/DelgadoSBU23,
author = {Tom{\'{a}}s Delgado and
Marco S{\'{a}}nchez Sorondo and
V{\'{\i}}ctor A. Braberman and
Sebasti{\'{a}}n Uchitel},
editor = {Sven Koenig and
Roni Stern and
Mauro Vallati},
title = {Exploration Policies for On-the-Fly Controller Synthesis: {A} Reinforcement
Learning Approach},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated
Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
pages = {569--577},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/icaps.v33i1.27238},
doi = {10.1609/ICAPS.V33I1.27238},
timestamp = {Wed, 20 Sep 2023 11:58:30 +0200},
biburl = {https://dblp.org/rec/conf/aips/DelgadoSBU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seams/BuckworthAKU23,
author = {Titus Buckworth and
Dalal Alrajeh and
Jeff Kramer and
Sebasti{\'{a}}n Uchitel},
title = {Adapting Specifications for Reactive Controllers},
booktitle = {18th {IEEE/ACM} Symposium on Software Engineering for Adaptive and
Self-Managing Systems, {SEAMS} 2023, Melbourne, Australia, May 15-16,
2023},
pages = {1--12},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SEAMS59076.2023.00012},
doi = {10.1109/SEAMS59076.2023.00012},
timestamp = {Tue, 18 Jul 2023 16:25:40 +0200},
biburl = {https://dblp.org/rec/conf/seams/BuckworthAKU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2023,
editor = {Leen Lambers and
Sebasti{\'{a}}n Uchitel},
title = {Fundamental Approaches to Software Engineering - 26th International
Conference, {FASE} 2023, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2023, Paris, France, April
22-27, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13991},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30826-0},
doi = {10.1007/978-3-031-30826-0},
isbn = {978-3-031-30825-3},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/NahabedianBDKU22,
author = {Leandro Nahabedian and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Jeff Kramer and
Sebasti{\'{a}}n Uchitel},
title = {Assured automatic dynamic reconfiguration of business processes},
journal = {Inf. Syst.},
volume = {104},
pages = {101850},
year = {2022},
url = {https://doi.org/10.1016/j.is.2021.101850},
doi = {10.1016/J.IS.2021.101850},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/NahabedianBDKU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KeeganBDPU22,
author = {Maureen Keegan and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
title = {Control and Discovery of Environment Behaviour},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {6},
pages = {1965--1978},
year = {2022},
url = {https://doi.org/10.1109/TSE.2020.3044532},
doi = {10.1109/TSE.2020.3044532},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KeeganBDPU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GorostiagaZSSU22,
author = {Felipe Gorostiaga and
Sebasti{\'{a}}n Zudaire and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Sebasti{\'{a}}n Uchitel},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Assumption Monitoring of Temporal Task Planning Using Stream Runtime
Verification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {397--414},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_23},
doi = {10.1007/978-3-031-19849-6\_23},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/GorostiagaZSSU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GodoyGGU22,
author = {Javier Godoy and
Juan Pablo Galeotti and
Diego Garbervetsky and
Sebasti{\'{a}}n Uchitel},
editor = {Eugene Syriani and
Houari A. Sahraoui and
Nelly Bencomo and
Manuel Wimmer},
title = {Predicate abstractions for smart contract validation},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2022, Montreal, Quebec, Canada, October
23-28, 2022},
pages = {289--299},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550355.3552462},
doi = {10.1145/3550355.3552462},
timestamp = {Thu, 27 Oct 2022 15:55:50 +0200},
biburl = {https://dblp.org/rec/conf/models/GodoyGGU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-05393,
author = {Tom{\'{a}}s Delgado and
V{\'{\i}}ctor A. Braberman and
Sebasti{\'{a}}n Uchitel},
title = {Scaling Directed Controller Synthesis via Reinforcement Learning},
journal = {CoRR},
volume = {abs/2210.05393},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.05393},
doi = {10.48550/ARXIV.2210.05393},
eprinttype = {arXiv},
eprint = {2210.05393},
timestamp = {Thu, 13 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-05393.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-04560,
author = {Alexis Soifer and
Diego Garbervetsky and
V{\'{\i}}ctor A. Braberman and
Sebasti{\'{a}}n Uchitel},
title = {Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model},
journal = {CoRR},
volume = {abs/2211.04560},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.04560},
doi = {10.48550/ARXIV.2211.04560},
eprinttype = {arXiv},
eprint = {2211.04560},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-04560.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-04683,
author = {Ivan Postolski and
V{\'{\i}}ctor A. Braberman and
Diego Garbervetsky and
Sebasti{\'{a}}n Uchitel},
title = {Dynamic Slicing by On-demand Re-execution},
journal = {CoRR},
volume = {abs/2211.04683},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.04683},
doi = {10.48550/ARXIV.2211.04683},
eprinttype = {arXiv},
eprint = {2211.04683},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-04683.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/ZudaireNU21,
author = {Sebasti{\'{a}}n A. Zudaire and
Leandro Nahabedian and
Sebasti{\'{a}}n Uchitel},
title = {Assured Mission Adaptation of UAVs},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {16},
number = {3-4},
pages = {1--27},
year = {2021},
url = {https://doi.org/10.1145/3513091},
doi = {10.1145/3513091},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taas/ZudaireNU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/GodoyGGU21,
author = {Javier Godoy and
Juan Pablo Galeotti and
Diego Garbervetsky and
Sebasti{\'{a}}n Uchitel},
title = {Enabledness-based Testing of Object Protocols},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {30},
number = {2},
pages = {12:1--12:36},
year = {2021},
url = {https://doi.org/10.1145/3415153},
doi = {10.1145/3415153},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/GodoyGGU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/AlrahmanBDPU21,
author = {Yehia Abd Alrahman and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
title = {Synthesis of Run-To-Completion Controllers for Discrete Event Systems},
booktitle = {2021 American Control Conference, {ACC} 2021, New Orleans, LA, USA,
May 25-28, 2021},
pages = {4892--4899},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/ACC50511.2021.9482704},
doi = {10.23919/ACC50511.2021.9482704},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/AlrahmanBDPU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ZudaireGSSU21,
author = {Sebasti{\'{a}}n Zudaire and
Felipe Gorostiaga and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Sebasti{\'{a}}n Uchitel},
title = {Assumption Monitoring Using Runtime Verification for {UAV} Temporal
Task Plan Executions},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2021, Xi'an, China, May 30 - June 5, 2021},
pages = {6824--6830},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICRA48506.2021.9561671},
doi = {10.1109/ICRA48506.2021.9561671},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icra/ZudaireGSSU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AlrajehBU21,
author = {Dalal Alrajeh and
Patrick Benjamin and
Sebasti{\'{a}}n Uchitel},
title = {Adaptation\({}^{\mbox{2}}\): Adapting Specification Learners in Assured
Adaptive Systems},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {1347--1352},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678919},
doi = {10.1109/ASE51524.2021.9678919},
timestamp = {Mon, 24 Jan 2022 16:18:34 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AlrajehBU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-10173,
author = {Sebasti{\'{a}}n Zudaire and
Leandro Nahabedian and
Sebasti{\'{a}}n Uchitel},
title = {Assured Mission Adaptation of UAVs},
journal = {CoRR},
volume = {abs/2107.10173},
year = {2021},
url = {https://arxiv.org/abs/2107.10173},
eprinttype = {arXiv},
eprint = {2107.10173},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-10173.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/CiolekBDSU20,
author = {Daniel Alfredo Ciolek and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Sebastian Sardi{\~{n}}a and
Sebasti{\'{a}}n Uchitel},
title = {Compositional Supervisory Control via Reactive Synthesis and Automated
Planning},
journal = {{IEEE} Trans. Autom. Control.},
volume = {65},
number = {8},
pages = {3502--3516},
year = {2020},
url = {https://doi.org/10.1109/TAC.2019.2948270},
doi = {10.1109/TAC.2019.2948270},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/CiolekBDSU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/NahabedianBDHKT20,
author = {Leandro Nahabedian and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Shinichi Honiden and
Jeff Kramer and
Kenji Tei and
Sebasti{\'{a}}n Uchitel},
title = {Dynamic Update of Discrete Event Controllers},
journal = {{IEEE} Trans. Software Eng.},
volume = {46},
number = {11},
pages = {1220--1240},
year = {2020},
url = {https://doi.org/10.1109/TSE.2018.2876843},
doi = {10.1109/TSE.2018.2876843},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/NahabedianBDHKT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ZudaireGU20,
author = {Sebasti{\'{a}}n A. Zudaire and
Mart{\'{\i}}n Garrett and
Sebasti{\'{a}}n Uchitel},
title = {Iterator-Based Temporal Logic Task Planning},
booktitle = {2020 {IEEE} International Conference on Robotics and Automation, {ICRA}
2020, Paris, France, May 31 - August 31, 2020},
pages = {11472--11478},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICRA40945.2020.9197274},
doi = {10.1109/ICRA40945.2020.9197274},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/ZudaireGU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/MarcosigZGUC20,
author = {Ezequiel Pecker Marcosig and
Sebasti{\'{a}}n Zudaire and
Mart{\'{\i}}n Garrett and
Sebasti{\'{a}}n Uchitel and
Rodrigo D. Castro},
title = {Unified Devs-Based Platform for Modeling and Simulation of Hybrid
Control Systems},
booktitle = {Winter Simulation Conference, {WSC} 2020, Orlando, FL, USA, December
14-18, 2020},
pages = {1051--1062},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/WSC48552.2020.9384025},
doi = {10.1109/WSC48552.2020.9384025},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsc/MarcosigZGUC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-07678,
author = {Sebasti{\'{a}}n Zudaire and
Mart{\'{\i}}n Garrett and
Sebasti{\'{a}}n Uchitel},
title = {Iterator-Based Temporal Logic Task Planning},
journal = {CoRR},
volume = {abs/2001.07678},
year = {2020},
url = {https://arxiv.org/abs/2001.07678},
eprinttype = {arXiv},
eprint = {2001.07678},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-07678.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-05554,
author = {Yehia Abd Alrahman and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
title = {Synthesis of Run-To-Completion Controllers for Discrete Event Systems},
journal = {CoRR},
volume = {abs/2009.05554},
year = {2020},
url = {https://arxiv.org/abs/2009.05554},
eprinttype = {arXiv},
eprint = {2009.05554},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-05554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/NahabedianBDKU19,
author = {Leandro Nahabedian and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Jeff Kramer and
Sebasti{\'{a}}n Uchitel},
editor = {Thomas T. Hildebrandt and
Boudewijn F. van Dongen and
Maximilian R{\"{o}}glinger and
Jan Mendling},
title = {Dynamic Reconfiguration of Business Processes},
booktitle = {Business Process Management - 17th International Conference, {BPM}
2019, Vienna, Austria, September 1-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11675},
pages = {35--51},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26619-6\_5},
doi = {10.1007/978-3-030-26619-6\_5},
timestamp = {Mon, 26 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/NahabedianBDKU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/CastellanoBDUT19,
author = {Ezequiel Castellano and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Sebasti{\'{a}}n Uchitel and
Kenji Tei},
title = {Minimising Makespan of Discrete Controllers: {A} Qualitative Approach},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {1068--1075},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9029766},
doi = {10.1109/CDC40024.2019.9029766},
timestamp = {Fri, 04 Mar 2022 13:30:46 +0100},
biburl = {https://dblp.org/rec/conf/cdc/CastellanoBDUT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PostolskiBGU19,
author = {Ivan Postolski and
V{\'{\i}}ctor A. Braberman and
Diego Garbervetsky and
Sebasti{\'{a}}n Uchitel},
editor = {Anita Sarma and
Leonardo Murta},
title = {Simulator-based diff-time performance testing},
booktitle = {Proceedings of the 41st International Conference on Software Engineering:
New Ideas and Emerging Results, {ICSE} {(NIER)} 2019, Montreal, QC,
Canada, May 29-31, 2019},
pages = {81--84},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE-NIER.2019.00029},
doi = {10.1109/ICSE-NIER.2019.00029},
timestamp = {Wed, 12 May 2021 10:56:12 +0200},
biburl = {https://dblp.org/rec/conf/icse/PostolskiBGU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BrabermanGGUCPP18,
author = {V{\'{\i}}ctor A. Braberman and
Diego Garbervetsky and
Javier Godoy and
Sebasti{\'{a}}n Uchitel and
Guido de Caso and
Ignacio Perez and
Santiago P{\'{e}}rez},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Testing and validating end user programmed calculated fields},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {827--832},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275531},
doi = {10.1145/3236024.3275531},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/BrabermanGGUCPP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DuarteKU17,
author = {Lucio Mauro Duarte and
Jeff Kramer and
Sebasti{\'{a}}n Uchitel},
title = {Using contexts to extract models from code},
journal = {Softw. Syst. Model.},
volume = {16},
number = {2},
pages = {523--557},
year = {2017},
url = {https://doi.org/10.1007/s10270-015-0466-0},
doi = {10.1007/S10270-015-0466-0},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/DuarteKU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CiolekBDPU17,
author = {Daniel Alfredo Ciolek and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
title = {Interaction Models and Automated Control under Partial Observable
Environments},
journal = {{IEEE} Trans. Software Eng.},
volume = {43},
number = {1},
pages = {19--33},
year = {2017},
url = {https://doi.org/10.1109/TSE.2016.2564959},
doi = {10.1109/TSE.2016.2564959},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CiolekBDPU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/Uchitel17,
author = {Sebasti{\'{a}}n Uchitel},
editor = {Ravi Prakash Gorthi and
Santonu Sarkar and
Nenad Medvidovic and
Vinay Kulkarni and
Atul Kumar and
Padmaja Joshi and
Paola Inverardi and
Ashish Sureka and
Richa Sharma},
title = {Runtime Controller Synthesis for Self-Adaptation: Discretion Required},
booktitle = {Proceedings of the 10th Innovations in Software Engineering Conference,
{ISEC} 2017, Jaipur, India, February 5-7, 2017},
pages = {1},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3021486},
timestamp = {Wed, 06 Mar 2019 07:55:50 +0100},
biburl = {https://dblp.org/rec/conf/indiaSE/Uchitel17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CastanoBGU17,
author = {Rodrigo Casta{\~{n}}o and
V{\'{\i}}ctor A. Braberman and
Diego Garbervetsky and
Sebasti{\'{a}}n Uchitel},
editor = {Grigore Rosu and
Massimiliano Di Penta and
Tien N. Nguyen},
title = {Model checker execution reports},
booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
03, 2017},
pages = {200--205},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ASE.2017.8115633},
doi = {10.1109/ASE.2017.8115633},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/CastanoBGU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2017,
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
publisher = {{IEEE} / {ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3097368},
isbn = {978-1-5386-3868-2},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2017c,
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
Volume},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://ieeexplore.ieee.org/xpl/conhome/7961434/proceeding},
isbn = {978-1-5386-1589-8},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2017c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CastanoBGU17,
author = {Rodrigo Casta{\~{n}}o and
V{\'{\i}}ctor A. Braberman and
Diego Garbervetsky and
Sebasti{\'{a}}n Uchitel},
title = {Verification Coverage},
journal = {CoRR},
volume = {abs/1706.03796},
year = {2017},
url = {http://arxiv.org/abs/1706.03796},
eprinttype = {arXiv},
eprint = {1706.03796},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CastanoBGU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/CzemerinskiBU16,
author = {Hernan Czemerinski and
V{\'{\i}}ctor A. Braberman and
Sebasti{\'{a}}n Uchitel},
title = {Behaviour abstraction adequacy criteria for {API} call protocol testing},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {3},
pages = {211--244},
year = {2016},
url = {https://doi.org/10.1002/stvr.1593},
doi = {10.1002/STVR.1593},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/CzemerinskiBU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/PaveseBU16,
author = {Esteban Pavese and
V{\'{\i}}ctor A. Braberman and
Sebasti{\'{a}}n Uchitel},
title = {Less is More: Estimating Probabilistic Rewards over Partial System
Explorations},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {25},
number = {2},
pages = {16:1--16:47},
year = {2016},
url = {https://doi.org/10.1145/2890494},
doi = {10.1145/2890494},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/PaveseBU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PaveseBU16,
author = {Esteban Pavese and
V{\'{\i}}ctor A. Braberman and
Sebasti{\'{a}}n Uchitel},
title = {Probabilistic Interface Automata},
journal = {{IEEE} Trans. Software Eng.},
volume = {42},
number = {9},
pages = {843--865},
year = {2016},
url = {https://doi.org/10.1109/TSE.2016.2527000},
doi = {10.1109/TSE.2016.2527000},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/PaveseBU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Ben-DavidCU16,
author = {Shoham Ben{-}David and
Marsha Chechik and
Sebasti{\'{a}}n Uchitel},
editor = {Cyrille Artho and
Axel Legay and
Doron Peled},
title = {Observational Refinement and Merge for Disjunctive MTSs},
booktitle = {Automated Technology for Verification and Analysis - 14th International
Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9938},
pages = {287--303},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46520-3\_19},
doi = {10.1007/978-3-319-46520-3\_19},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/Ben-DavidCU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/CiolekBDU16,
author = {Daniel Alfredo Ciolek and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Sebasti{\'{a}}n Uchitel},
title = {Directed Controller Synthesis of discrete event systems: Taming composition
with heuristics},
booktitle = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas,
NV, USA, December 12-14, 2016},
pages = {4764--4769},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CDC.2016.7798996},
doi = {10.1109/CDC.2016.7798996},
timestamp = {Fri, 04 Mar 2022 13:29:43 +0100},
biburl = {https://dblp.org/rec/conf/cdc/CiolekBDU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/RodriguezBDU16,
author = {Natalia Rodr{\'{\i}}guez and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Sebasti{\'{a}}n Uchitel},
title = {2{\textonehalf}-player generalized reactivity {(1)} games},
booktitle = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas,
NV, USA, December 12-14, 2016},
pages = {6996--7001},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CDC.2016.7799347},
doi = {10.1109/CDC.2016.7799347},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/RodriguezBDU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/UchitelBD16,
author = {Sebasti{\'{a}}n Uchitel and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito},
title = {Runtime controller synthesis for self-adaptation: be discrete!},
booktitle = {Proceedings of the 11th International Symposium on Software Engineering
for Adaptive and Self-Managing Systems, SEAMS@ICSE 2016, Austin, Texas,
USA, May 14-22, 2016},
pages = {1--3},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897053.2903381},
doi = {10.1145/2897053.2903381},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/UchitelBD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ColsonDMHUS16,
author = {Kevin Colson and
Robin Dupuis and
Lionel Montrieux and
Zhenjiang Hu and
Sebasti{\'{a}}n Uchitel and
Pierre{-}Yves Schobbens},
title = {Reusable self-adaptation through bidirectional programming},
booktitle = {Proceedings of the 11th International Symposium on Software Engineering
for Adaptive and Self-Managing Systems, SEAMS@ICSE 2016, Austin, Texas,
USA, May 14-22, 2016},
pages = {4--15},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897053.2897055},
doi = {10.1145/2897053.2897055},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ColsonDMHUS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NahabedianBDHKT16,
author = {Leandro Nahabedian and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Shinichi Honiden and
Jeff Kramer and
Kenji Tei and
Sebasti{\'{a}}n Uchitel},
title = {Assured and correct dynamic update of controllers},
booktitle = {Proceedings of the 11th International Symposium on Software Engineering
for Adaptive and Self-Managing Systems, SEAMS@ICSE 2016, Austin, Texas,
USA, May 14-22, 2016},
pages = {96--107},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897053.2897056},
doi = {10.1145/2897053.2897056},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NahabedianBDHKT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlrajehLKRU16,
author = {Dalal Alrajeh and
Axel van Lamsweerde and
Jeff Kramer and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Risk-driven revision of requirements models},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {855--865},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884838},
doi = {10.1145/2884781.2884838},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/AlrajehLKRU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlrajehRUK25,
author = {Dalal Alrajeh and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel and
Jeff Kramer},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Logic-based learning in software engineering},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
pages = {892--893},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2889160.2891050},
doi = {10.1145/2889160.2891050},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/AlrajehRUK25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Uchitel16,
author = {Sebasti{\'{a}}n Uchitel},
editor = {Ravindra Naik and
Raveendra Kumar Medicherla and
Ansuman Banerjee},
title = {Business process adaptation using discrete event controller synthesis},
booktitle = {Proceedings of the International Workshop on Formal Methods for Analysis
of Business Systems, ForMABS@ASE 2016, Singapore, Singapore, September
4, 2016},
pages = {3},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2975941.2990289},
doi = {10.1145/2975941.2990289},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Uchitel16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CiolekBDU16,
author = {Daniel Alfredo Ciolek and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Sebasti{\'{a}}n Uchitel},
title = {Technical Report: Directed Controller Synthesis of Discrete Event
Systems},
journal = {CoRR},
volume = {abs/1605.09772},
year = {2016},
url = {http://arxiv.org/abs/1605.09772},
eprinttype = {arXiv},
eprint = {1605.09772},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CiolekBDU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CastanoBGU16,
author = {Rodrigo Casta{\~{n}}o and
V{\'{\i}}ctor A. Braberman and
Diego Garbervetsky and
Sebasti{\'{a}}n Uchitel},
title = {Model Checker Execution Reports},
journal = {CoRR},
volume = {abs/1607.06857},
year = {2016},
url = {http://arxiv.org/abs/1607.06857},
eprinttype = {arXiv},
eprint = {1607.06857},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CastanoBGU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/AlrajehKRU15,
author = {Dalal Alrajeh and
Jeff Kramer and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
title = {Automated support for diagnosis and repair},
journal = {Commun. {ACM}},
volume = {58},
number = {2},
pages = {65--72},
year = {2015},
url = {https://doi.org/10.1145/2658986},
doi = {10.1145/2658986},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/AlrajehKRU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/GarciaGRU15,
author = {Alessandro Garcia and
Rohit Gheyi and
M{\'{a}}rcio Ribeiro and
Sebasti{\'{a}}n Uchitel},
title = {Report on the First PhD and Young Researchers Warm Up Symposium for
{ICSE} 2017},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {40},
number = {3},
pages = {38},
year = {2015},
url = {https://doi.org/10.1145/2757308.2757314},
doi = {10.1145/2757308.2757314},
timestamp = {Thu, 28 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/GarciaGRU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BrabermanDKSU15,
author = {V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Jeff Kramer and
Daniel Sykes and
Sebasti{\'{a}}n Uchitel},
editor = {Antonio Filieri and
Martina Maggio},
title = {{MORPH:} a reference architecture for configuration and behaviour
self-adaptation},
booktitle = {Proceedings of the 1st International Workshop on Control Theory for
Software Engineering, CTSE@SIGSOFT {FSE} 2015, Bergamo, Italy, August
31 - September 04, 2015},
pages = {9--16},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2804337.2804339},
doi = {10.1145/2804337.2804339},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BrabermanDKSU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DIppolitoBSU15,
author = {Nicol{\'{a}}s D'Ippolito and
V{\'{\i}}ctor A. Braberman and
Daniel Sykes and
Sebasti{\'{a}}n Uchitel},
editor = {Antonio Filieri and
Martina Maggio},
title = {Robust degradation and enhancement of robot mission behaviour in unpredictable
environments},
booktitle = {Proceedings of the 1st International Workshop on Control Theory for
Software Engineering, CTSE@SIGSOFT {FSE} 2015, Bergamo, Italy, August
31 - September 04, 2015},
pages = {26--33},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2804337.2804342},
doi = {10.1145/2804337.2804342},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DIppolitoBSU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrabermanDKSU15,
author = {V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Jeff Kramer and
Daniel Sykes and
Sebasti{\'{a}}n Uchitel},
title = {{MORPH:} {A} Reference Architecture for Configuration and Behaviour
Self-Adaptation},
journal = {CoRR},
volume = {abs/1504.08339},
year = {2015},
url = {http://arxiv.org/abs/1504.08339},
eprinttype = {arXiv},
eprint = {1504.08339},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrabermanDKSU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/DIppolitoBPU14,
author = {Nicol{\'{a}}s D'Ippolito and
V{\'{\i}}ctor A. Braberman and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
title = {Controllability in Partial and Uncertain Environments},
booktitle = {14th International Conference on Application of Concurrency to System
Design, {ACSD} 2014, Tunis La Marsa, Tunisia, June 23-27, 2014},
pages = {52--61},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ACSD.2014.15},
doi = {10.1109/ACSD.2014.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/DIppolitoBPU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KrkaDMU14,
author = {Ivo Krka and
Nicol{\'{a}}s D'Ippolito and
Nenad Medvidovic and
Sebasti{\'{a}}n Uchitel},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Revisiting Compatibility of Input-Output Modal Transition Systems},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {367--381},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_26},
doi = {10.1007/978-3-319-06410-9\_26},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/KrkaDMU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DegiovanniAAU14,
author = {Renzo Degiovanni and
Dalal Alrajeh and
Nazareno Aguirre and
Sebasti{\'{a}}n Uchitel},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {Automated goal operationalisation based on interpolation and {SAT}
solving},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Hyderabad, India - May 31 - June 07, 2014},
pages = {129--139},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2568225.2568323},
doi = {10.1145/2568225.2568323},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DegiovanniAAU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DIppolitoBKMSU14,
author = {Nicol{\'{a}}s D'Ippolito and
V{\'{\i}}ctor A. Braberman and
Jeff Kramer and
Jeff Magee and
Daniel Sykes and
Sebasti{\'{a}}n Uchitel},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {Hope for the best, prepare for the worst: multi-tier control for adaptive
systems},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Hyderabad, India - May 31 - June 07, 2014},
pages = {688--699},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2568225.2568264},
doi = {10.1145/2568225.2568264},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DIppolitoBKMSU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/UchitelABBCCDFGKRS13,
author = {Sebasti{\'{a}}n Uchitel and
Dalal Alrajeh and
Shoham Ben{-}David and
V{\'{\i}}ctor A. Braberman and
Marsha Chechik and
Guido de Caso and
Nicol{\'{a}}s D'Ippolito and
Dario Fischbein and
Diego Garbervetsky and
Jeff Kramer and
Alessandra Russo and
German E. Sibay},
title = {Supporting incremental behaviour model elaboration},
journal = {Comput. Sci. Res. Dev.},
volume = {28},
number = {4},
pages = {279--293},
year = {2013},
url = {https://doi.org/10.1007/s00450-012-0233-1},
doi = {10.1007/S00450-012-0233-1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/UchitelABBCCDFGKRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/DIppolitoBPU13,
author = {Nicol{\'{a}}s D'Ippolito and
V{\'{\i}}ctor A. Braberman and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
title = {Synthesizing nonanomalous event-based controllers for liveness goals},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {22},
number = {1},
pages = {9:1--9:36},
year = {2013},
url = {https://doi.org/10.1145/2430536.2430543},
doi = {10.1145/2430536.2430543},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/DIppolitoBPU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/CasoBGU13,
author = {Guido de Caso and
V{\'{\i}}ctor A. Braberman and
Diego Garbervetsky and
Sebasti{\'{a}}n Uchitel},
title = {Enabledness-based program abstractions for behavior validation},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {22},
number = {3},
pages = {25:1--25:46},
year = {2013},
url = {https://doi.org/10.1145/2491509.2491519},
doi = {10.1145/2491509.2491519},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/CasoBGU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlrajehMRU13,
author = {Dalal Alrajeh and
Rob Miller and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
title = {Reasoning about Triggered Scenarios in Logic Programming},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013021.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlrajehMRU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AlrajehKRU13,
author = {Dalal Alrajeh and
Jeff Kramer and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
title = {Elaborating Requirements Using Model Checking and Inductive Learning},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {3},
pages = {361--383},
year = {2013},
url = {https://doi.org/10.1109/TSE.2012.41},
doi = {10.1109/TSE.2012.41},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AlrajehKRU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SibayBUK13,
author = {German E. Sibay and
V{\'{\i}}ctor A. Braberman and
Sebasti{\'{a}}n Uchitel and
Jeff Kramer},
title = {Synthesizing Modal Transition Systems from Triggered Scenarios},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {7},
pages = {975--1001},
year = {2013},
url = {https://doi.org/10.1109/TSE.2012.62},
doi = {10.1109/TSE.2012.62},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SibayBUK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Ben-DavidCU13,
author = {Shoham Ben{-}David and
Marsha Chechik and
Sebasti{\'{a}}n Uchitel},
editor = {Pedro R. D'Argenio and
Hern{\'{a}}n C. Melgratti},
title = {Merging Partial Behaviour Models with Different Vocabularies},
booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
{CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8052},
pages = {91--105},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40184-8\_8},
doi = {10.1007/978-3-642-40184-8\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Ben-DavidCU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BrabermanDKSU13,
author = {V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Jeff Kramer and
Daniel Sykes and
Sebasti{\'{a}}n Uchitel},
editor = {Rog{\'{e}}rio de Lemos and
David Garlan and
Carlo Ghezzi and
Holger Giese},
title = {An Extended Description of {MORPH:} {A} Reference Architecture for
Configuration and Behaviour Self-Adaptation},
booktitle = {Software Engineering for Self-Adaptive Systems {III.} Assurances -
International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013,
Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {9640},
pages = {377--408},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-74183-3\_13},
doi = {10.1007/978-3-319-74183-3\_13},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BrabermanDKSU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PaveseBU13,
author = {Esteban Pavese and
V{\'{\i}}ctor A. Braberman and
Sebasti{\'{a}}n Uchitel},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Automated reliability estimation over partial systematic explorations},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {602--611},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606606},
doi = {10.1109/ICSE.2013.6606606},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PaveseBU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BrabermanDPSU04,
author = {V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Nir Piterman and
Daniel Sykes and
Sebasti{\'{a}}n Uchitel},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Controller synthesis: from modelling to enactment},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {1347--1350},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606714},
doi = {10.1109/ICSE.2013.6606714},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BrabermanDPSU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CzemerinskiBU13,
author = {Hernan Czemerinski and
V{\'{\i}}ctor A. Braberman and
Sebasti{\'{a}}n Uchitel},
title = {Behaviour Abstraction Coverage as Black-Box Adequacy Criteria},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013, Luxembourg, Luxembourg, March 18-22,
2013},
pages = {222--231},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICST.2013.22},
doi = {10.1109/ICST.2013.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/CzemerinskiBU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/FischbeinDBCU12,
author = {Dario Fischbein and
Nicol{\'{a}}s D'Ippolito and
Greg Brunet and
Marsha Chechik and
Sebasti{\'{a}}n Uchitel},
title = {Weak Alphabet Merging of Partial Behavior Models},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {21},
number = {2},
pages = {9:1--9:47},
year = {2012},
url = {https://doi.org/10.1145/2089116.2089119},
doi = {10.1145/2089116.2089119},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/FischbeinDBCU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CasoBGU12,
author = {Guido de Caso and
V{\'{\i}}ctor A. Braberman and
Diego Garbervetsky and
Sebasti{\'{a}}n Uchitel},
title = {Automated Abstractions for Contract Validation},
journal = {{IEEE} Trans. Software Eng.},
volume = {38},
number = {1},
pages = {141--162},
year = {2012},
url = {https://doi.org/10.1109/TSE.2010.98},
doi = {10.1109/TSE.2010.98},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/CasoBGU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AlrajehKRU12,
author = {Dalal Alrajeh and
Jeff Kramer and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
editor = {Juan de Lara and
Andrea Zisman},
title = {Learning from Vacuously Satisfiable Scenario-Based Specifications},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {377--393},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_26},
doi = {10.1007/978-3-642-28872-2\_26},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/AlrajehKRU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DIppolitoBPU12,
author = {Nicol{\'{a}}s D'Ippolito and
V{\'{\i}}ctor A. Braberman and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {The Modal Transition System Control Problem},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {155--170},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_15},
doi = {10.1007/978-3-642-32759-9\_15},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/DIppolitoBPU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SibayUBK12,
author = {German E. Sibay and
Sebasti{\'{a}}n Uchitel and
V{\'{\i}}ctor A. Braberman and
Jeff Kramer},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {Distribution of Modal Transition Systems},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {403--417},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_33},
doi = {10.1007/978-3-642-32759-9\_33},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/SibayUBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlrajehKLRU12,
author = {Dalal Alrajeh and
Jeff Kramer and
Axel van Lamsweerde and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Generating obstacle conditions for requirements completeness},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {705--715},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227147},
doi = {10.1109/ICSE.2012.6227147},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AlrajehKLRU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CasoBGU12,
author = {Guido de Caso and
V{\'{\i}}ctor A. Braberman and
Diego Garbervetsky and
Sebasti{\'{a}}n Uchitel},
editor = {Marco Bernardo and
Vittorio Cortellessa and
Alfonso Pierantonio},
title = {Abstractions for Validation in Action},
booktitle = {Formal Methods for Model-Driven Engineering - 12th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7320},
pages = {192--218},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30982-3\_6},
doi = {10.1007/978-3-642-30982-3\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/CasoBGU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/SassolasCU11,
author = {Mathieu Sassolas and
Marsha Chechik and
Sebasti{\'{a}}n Uchitel},
title = {Exploring inconsistencies between modal transition systems},
journal = {Softw. Syst. Model.},
volume = {10},
number = {1},
pages = {117--142},
year = {2011},
url = {https://doi.org/10.1007/s10270-010-0148-x},
doi = {10.1007/S10270-010-0148-X},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/SassolasCU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AlrajehKRU11,
author = {Dalal Alrajeh and
Jeff Kramer and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
editor = {John P. Gallagher and
Michael Gelfond},
title = {An Inductive Approach for Modal Transition System Refinement},
booktitle = {Technical Communications of the 27th International Conference on Logic
Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
series = {LIPIcs},
volume = {11},
pages = {106--116},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2011.106},
doi = {10.4230/LIPICS.ICLP.2011.106},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AlrajehKRU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZoppiBCGU11,
author = {Edgardo Zoppi and
V{\'{\i}}ctor A. Braberman and
Guido de Caso and
Diego Garbervetsky and
Sebasti{\'{a}}n Uchitel},
editor = {Judith Bishop and
Karin K. Breitman and
David Notkin},
title = {Contractor.NET: inferring typestate properties to enrich code contracts},
booktitle = {Proceedings of the 1st Workshop on Developing Tools as Plug-ins, {TOPI}
2011, Waikiki, Honolulu, HI, USA, May 28, 2011},
pages = {44--47},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1984708.1984721},
doi = {10.1145/1984708.1984721},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ZoppiBCGU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DIppolitoBPU11,
author = {Nicol{\'{a}}s D'Ippolito and
V{\'{\i}}ctor A. Braberman and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Synthesis of live behaviour models for fallible domains},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {211--220},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985823},
doi = {10.1145/1985793.1985823},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DIppolitoBPU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CasoBGU11,
author = {Guido de Caso and
V{\'{\i}}ctor A. Braberman and
Diego Garbervetsky and
Sebasti{\'{a}}n Uchitel},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Program abstractions for behaviour validation},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {381--390},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985846},
doi = {10.1145/1985793.1985846},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CasoBGU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/AlrajehRUK12,
author = {Dalal Alrajeh and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel and
Jeff Kramer},
editor = {Stephen H. Muggleton and
Alireza Tamaddoni{-}Nezhad and
Francesca A. Lisi},
title = {Integrating Model Checking and Inductive Logic Programming},
booktitle = {Inductive Logic Programming - 21st International Conference, {ILP}
2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7207},
pages = {45--60},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31951-8\_9},
doi = {10.1007/978-3-642-31951-8\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/AlrajehRUK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Ben-DavidCGU11,
author = {Shoham Ben{-}David and
Marsha Chechik and
Arie Gurfinkel and
Sebasti{\'{a}}n Uchitel},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {{CSSL:} a logic for specifying conditional scenarios},
booktitle = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of
Software Engineering {(FSE-19)} and ESEC'11: 13th European Software
Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9,
2011},
pages = {37--47},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025123},
doi = {10.1145/2025113.2025123},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Ben-DavidCGU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/FosterMRU11,
author = {Howard Foster and
Arun Mukhija and
David S. Rosenblum and
Sebasti{\'{a}}n Uchitel},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Specification and Analysis of Dynamically-Reconfigurable Service Architectures},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {428--446},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_20},
doi = {10.1007/978-3-642-20401-2\_20},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/FosterMRU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/MukhijaRFU11,
author = {Arun Mukhija and
David S. Rosenblum and
Howard Foster and
Sebasti{\'{a}}n Uchitel},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Runtime Support for Dynamic and Adaptive Service Composition},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {585--603},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_28},
doi = {10.1007/978-3-642-20401-2\_28},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/MukhijaRFU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AlrajehKRU10,
author = {Dalal Alrajeh and
Jeff Kramer and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
title = {Deriving non-Zeno behaviour models from goal models using {ILP}},
journal = {Formal Aspects Comput.},
volume = {22},
number = {3-4},
pages = {217--241},
year = {2010},
url = {https://doi.org/10.1007/s00165-009-0128-5},
doi = {10.1007/S00165-009-0128-5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AlrajehKRU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/FosterUMK10,
author = {Howard Foster and
Sebasti{\'{a}}n Uchitel and
Jeff Magee and
Jeff Kramer},
title = {An Integrated Workbench for Model-Based Engineering of Service Compositions},
journal = {{IEEE} Trans. Serv. Comput.},
volume = {3},
number = {2},
pages = {131--144},
year = {2010},
url = {https://doi.org/10.1109/TSC.2010.19},
doi = {10.1109/TSC.2010.19},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsc/FosterUMK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cibse/Uchitel10,
author = {Sebasti{\'{a}}n Uchitel},
editor = {Xavier Franch and
Itana Maria de Souza Gimenes and
Juan Pablo Carvallo},
title = {Partial Behaviour Modelling: Foundations for Incremental and Iterative
Model-Based Software Engineering},
booktitle = {Proceedings of the 13th Iberoamerican Conference on Software Engineering,
CIbSE 2010, Cuenca, Ecuador, April 12-16, 2010},
pages = {3--4},
year = {2010},
timestamp = {Tue, 09 Feb 2021 15:58:30 +0100},
biburl = {https://dblp.org/rec/conf/cibse/Uchitel10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PaveseBU10,
author = {Esteban Pavese and
V{\'{\i}}ctor A. Braberman and
Sebasti{\'{a}}n Uchitel},
editor = {Carlo Ghezzi and
Lars Grunske and
Raffaela Mirandola},
title = {My model checker died!: how well did it do?},
booktitle = {Proceedings of the 2010 {ICSE} Workshop on Quantitative Stochastic
Models in the Verification and Design of Software Systems, {QUOVADIS}
'10, May 3, 2010, Cape Town, South Africa},
pages = {33--40},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1808877.1808884},
doi = {10.1145/1808877.1808884},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PaveseBU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DIppolitoBPU10,
author = {Nicol{\'{a}}s D'Ippolito and
V{\'{\i}}ctor A. Braberman and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
editor = {Gruia{-}Catalin Roman and
Andr{\'{e}} van der Hoek},
title = {Synthesis of live behaviour models},
booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {77--86},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882291.1882305},
doi = {10.1145/1882291.1882305},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DIppolitoBPU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2010-1,
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
publisher = {{ACM}},
year = {2010},
isbn = {978-1-60558-719-6},
timestamp = {Sun, 06 Jun 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2010-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2010-2,
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
publisher = {{ACM}},
year = {2010},
timestamp = {Mon, 15 Jun 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2010-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/AlrajehRRU09,
author = {Dalal Alrajeh and
Oliver Ray and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
title = {Using abduction and induction for operational requirements elaboration},
journal = {J. Appl. Log.},
volume = {7},
number = {3},
pages = {275--288},
year = {2009},
url = {https://doi.org/10.1016/j.jal.2008.10.002},
doi = {10.1016/J.JAL.2008.10.002},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/AlrajehRRU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CortellessaUY09,
author = {Vittorio Cortellessa and
Sebasti{\'{a}}n Uchitel and
Daniel Yankelevich},
title = {Guest editorial},
journal = {J. Syst. Softw.},
volume = {82},
number = {1},
pages = {1--2},
year = {2009},
url = {https://doi.org/10.1016/j.jss.2008.03.063},
doi = {10.1016/J.JSS.2008.03.063},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/CortellessaUY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/UchitelBC09,
author = {Sebasti{\'{a}}n Uchitel and
Greg Brunet and
Marsha Chechik},
title = {Synthesis of Partial Behavior Models from Properties and Scenarios},
journal = {{IEEE} Trans. Software Eng.},
volume = {35},
number = {3},
pages = {384--406},
year = {2009},
url = {https://doi.org/10.1109/TSE.2008.107},
doi = {10.1109/TSE.2008.107},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/UchitelBC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlrajehKRU09,
author = {Dalal Alrajeh and
Jeff Kramer and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
title = {Learning operational requirements from goal models},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {265--275},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070527},
doi = {10.1109/ICSE.2009.5070527},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AlrajehKRU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CasoBGU09,
author = {Guido de Caso and
V{\'{\i}}ctor A. Braberman and
Diego Garbervetsky and
Sebasti{\'{a}}n Uchitel},
title = {Validation of contracts using enabledness preserving finite state
abstractions},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {452--462},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070544},
doi = {10.1109/ICSE.2009.5070544},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CasoBGU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/FosterMRU09,
author = {Howard Foster and
Arun Mukhija and
David S. Rosenblum and
Sebasti{\'{a}}n Uchitel},
editor = {Luciano Baresi and
Chi{-}Hung Chi and
Jun Suzuki},
title = {Engage: Engineering Service Modes with WS-Engineer and Dino},
booktitle = {Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave
2009, Stockholm, Sweden, November 24-27, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5900},
pages = {641--642},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10383-4\_48},
doi = {10.1007/978-3-642-10383-4\_48},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/FosterMRU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/FischbeinBU09,
author = {Dario Fischbein and
V{\'{\i}}ctor A. Braberman and
Sebasti{\'{a}}n Uchitel},
editor = {Martin Leucker and
Carroll Morgan},
title = {A Sound Observational Semantics for Modal Transition Systems},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International
Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5684},
pages = {215--230},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03466-4\_14},
doi = {10.1007/978-3-642-03466-4\_14},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/FischbeinBU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Uchitel09,
author = {Sebasti{\'{a}}n Uchitel},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Partial Behaviour Modelling: Foundations for Incremental and Iterative
Model-Based Software Engineering},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {17--22},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_2},
doi = {10.1007/978-3-642-10452-7\_2},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/Uchitel09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MaiaKUM09,
author = {Paulo Henrique M. Maia and
Jeff Kramer and
Sebasti{\'{a}}n Uchitel and
Nabor C. Mendon{\c{c}}a},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {Towards accurate probabilistic models using state refinement},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2009, Amsterdam, The Netherlands, August
24-28, 2009},
pages = {281--284},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595742},
doi = {10.1145/1595696.1595742},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MaiaKUM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PaveseBU09,
author = {Esteban Pavese and
V{\'{\i}}ctor A. Braberman and
Sebasti{\'{a}}n Uchitel},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {Probabilistic environments in the quantitative analysis of (non-probabilistic)
behaviour models},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2009, Amsterdam, The Netherlands, August
24-28, 2009},
pages = {335--344},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595760},
doi = {10.1145/1595696.1595760},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/PaveseBU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/UchitelE08,
author = {Sebasti{\'{a}}n Uchitel and
Steve M. Easterbrook},
title = {Guest Editors' Introduction},
journal = {Autom. Softw. Eng.},
volume = {15},
number = {1},
pages = {1--2},
year = {2008},
url = {https://doi.org/10.1007/s10515-007-0024-2},
doi = {10.1007/S10515-007-0024-2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/UchitelE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/LetierKMU08,
author = {Emmanuel Letier and
Jeff Kramer and
Jeff Magee and
Sebasti{\'{a}}n Uchitel},
title = {Deriving event-based transition systems from goal-oriented requirements
models},
journal = {Autom. Softw. Eng.},
volume = {15},
number = {2},
pages = {175--206},
year = {2008},
url = {https://doi.org/10.1007/s10515-008-0027-7},
doi = {10.1007/S10515-008-0027-7},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/LetierKMU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AlrajehRU08,
author = {Dalal Alrajeh and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {Deriving Non-zeno Behavior Models from Goal Models Using {ILP}},
booktitle = {Fundamental Approaches to Software Engineering, 11th International
Conference, {FASE} 2008, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {1--15},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3\_1},
doi = {10.1007/978-3-540-78743-3\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/AlrajehRU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DuarteKU08,
author = {Lucio Mauro Duarte and
Jeff Kramer and
Sebasti{\'{a}}n Uchitel},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {Towards Faithful Model Extraction Based on Contexts},
booktitle = {Fundamental Approaches to Software Engineering, 11th International
Conference, {FASE} 2008, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {101--115},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3\_9},
doi = {10.1007/978-3-540-78743-3\_9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/DuarteKU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SibayUB08,
author = {German E. Sibay and
Sebasti{\'{a}}n Uchitel and
V{\'{\i}}ctor A. Braberman},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {Existential live sequence charts revisited},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008},
pages = {41--50},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368088.1368095},
doi = {10.1145/1368088.1368095},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SibayUB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/FosterMRU08,
author = {Howard Foster and
Arun Mukhija and
David S. Rosenblum and
Sebasti{\'{a}}n Uchitel},
editor = {Athman Bouguettaya and
Ingolf Kr{\"{u}}ger and
Tiziana Margaria},
title = {A Model-Driven Approach to Dynamic and Adaptive Service Brokering
Using Modes},
booktitle = {Service-Oriented Computing - {ICSOC} 2008, 6th International Conference,
Sydney, Australia, December 1-5, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5364},
pages = {558--564},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89652-4\_46},
doi = {10.1007/978-3-540-89652-4\_46},
timestamp = {Sun, 02 Jun 2019 21:20:23 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/FosterMRU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DIppolitoFCU08,
author = {Nicol{\'{a}}s D'Ippolito and
Dario Fischbein and
Marsha Chechik and
Sebasti{\'{a}}n Uchitel},
title = {{MTSA:} The Modal Transition System Analyser},
booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
pages = {475--476},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ASE.2008.78},
doi = {10.1109/ASE.2008.78},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/DIppolitoFCU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/FosterUKM08,
author = {Howard Foster and
Sebasti{\'{a}}n Uchitel and
Jeff Kramer and
Jeff Magee},
editor = {Nora Koch and
Geert{-}Jan Houben and
Antonio Vallecillo},
title = {Leveraging Modes and {UML2} for Service Brokering Specifications},
booktitle = {Proceedings of the 4th International Workshop on Model-Driven Web
Engineering, MDWE@MoDELS 2008, Tolouse, France, September 30 , 2008},
series = {{CEUR} Workshop Proceedings},
volume = {389},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-389/paper06.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/FosterUKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/NejatiSCUZ08,
author = {Shiva Nejati and
Mehrdad Sabetzadeh and
Marsha Chechik and
Sebasti{\'{a}}n Uchitel and
Pamela Zave},
editor = {Mary Jean Harrold and
Gail C. Murphy},
title = {Towards compositional synthesis of evolving systems},
booktitle = {Proceedings of the 16th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2008, Atlanta, Georgia, USA,
November 9-14, 2008},
pages = {285--296},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1453101.1453143},
doi = {10.1145/1453101.1453143},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/NejatiSCUZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FischbeinU08,
author = {Dario Fischbein and
Sebasti{\'{a}}n Uchitel},
editor = {Mary Jean Harrold and
Gail C. Murphy},
title = {On correct and complete strong merging of partial behaviour models},
booktitle = {Proceedings of the 16th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2008, Atlanta, Georgia, USA,
November 9-14, 2008},
pages = {297--307},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1453101.1453144},
doi = {10.1145/1453101.1453144},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/FischbeinU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eclipse/DIppolitoFFU07,
author = {Nicol{\'{a}}s D'Ippolito and
Dario Fischbein and
Howard Foster and
Sebasti{\'{a}}n Uchitel},
editor = {Li{-}Te Cheng and
Alessandro Orso and
Martin P. Robillard},
title = {{MTSA:} Eclipse support for modal transition systems construction,
analysis and elaboration},
booktitle = {Proceedings of the 2007 {OOPSLA} workshop on Eclipse Technology eXchange,
{ETX} 2007, Montreal, Quebec, Canada, October 21, 2007},
pages = {6--10},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1328279.1328281},
doi = {10.1145/1328279.1328281},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eclipse/DIppolitoFFU07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/UchitelBC07,
author = {Sebasti{\'{a}}n Uchitel and
Greg Brunet and
Marsha Chechik},
title = {Behaviour Model Synthesis from Properties and Scenarios},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {34--43},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.21},
doi = {10.1109/ICSE.2007.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/UchitelBC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/FosterUKM07,
author = {Howard Foster and
Sebasti{\'{a}}n Uchitel and
Jeff Kramer and
Jeff Magee},
editor = {Elisabetta Di Nitto and
Matei Ripeanu},
title = {Towards Self-management in Service-Oriented Computing with Modes},
booktitle = {Service-Oriented Computing - {ICSOC} 2007 Workshops, International
Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4907},
pages = {338--350},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-93851-4\_34},
doi = {10.1007/978-3-540-93851-4\_34},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/FosterUKM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FosterEKMRU07,
author = {Howard Foster and
Wolfgang Emmerich and
Jeff Kramer and
Jeff Magee and
David S. Rosenblum and
Sebasti{\'{a}}n Uchitel},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {Model checking service compositions under resource constraints},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {225--234},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287657},
doi = {10.1145/1287624.1287657},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/FosterEKMRU07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/SousaMUK07,
author = {Felipe Cantal de Sousa and
Nabor C. Mendon{\c{c}}a and
Sebasti{\'{a}}n Uchitel and
Jeff Kramer},
title = {Detecting Implied Scenarios from Execution Traces},
booktitle = {14th Working Conference on Reverse Engineering {(WCRE} 2007), 28-31
October 2007, Vancouver, BC, Canada},
pages = {50--59},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/WCRE.2007.19},
doi = {10.1109/WCRE.2007.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/SousaMUK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/swb/FosterUMK07,
author = {Howard Foster and
Sebasti{\'{a}}n Uchitel and
Jeff Magee and
Jeff Kramer},
editor = {Luciano Baresi and
Elisabetta Di Nitto},
title = {WS-Engineer: {A} Model-Based Approach to Engineering Web Service Compositions
and Choreography},
booktitle = {Test and Analysis of Web Services},
pages = {87--119},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72912-9\_4},
doi = {10.1007/978-3-540-72912-9\_4},
timestamp = {Mon, 15 Jun 2020 17:07:26 +0200},
biburl = {https://dblp.org/rec/conf/swb/FosterUMK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wosp/2007,
editor = {Vittorio Cortellessa and
Sebasti{\'{a}}n Uchitel and
Daniel Yankelevich},
title = {Proceedings of the 6th International Workshop on Software and Performance,
{WOSP} 2007, Buenes Aires, Argentina, February 5-8, 2007},
publisher = {{ACM}},
year = {2007},
isbn = {1-59593-297-6},
timestamp = {Mon, 23 Apr 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/UchitelCKM06,
author = {Sebasti{\'{a}}n Uchitel and
Robert Chatley and
Jeff Kramer and
Jeff Magee},
title = {Goal and scenario validation: a fluent combination},
journal = {Requir. Eng.},
volume = {11},
number = {2},
pages = {123--137},
year = {2006},
url = {https://doi.org/10.1007/s00766-005-0024-3},
doi = {10.1007/S00766-005-0024-3},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/re/UchitelCKM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aict/FosterUMK06,
author = {Howard Foster and
Sebasti{\'{a}}n Uchitel and
Jeff Magee and
Jeff Kramer},
title = {Model-Based Analysis of Obligations in Web Service Choreography},
booktitle = {Advanced International Conference on Telecommunications and International
Conference on Internet and Web Applications and Services {(AICT/ICIW}
2006), 19-25 February 2006, Guadeloupe, French Caribbean},
pages = {149},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/AICT-ICIW.2006.131},
doi = {10.1109/AICT-ICIW.2006.131},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aict/FosterUMK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsa/HirschKMU06,
author = {Dan Hirsch and
Jeff Kramer and
Jeff Magee and
Sebasti{\'{a}}n Uchitel},
editor = {Volker Gruhn and
Fl{\'{a}}vio Oquendo},
title = {Modes for Software Architectures},
booktitle = {Software Architecture, Third European Workshop, {EWSA} 2006, Nantes,
France, September 4-5, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4344},
pages = {113--126},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11966104\_9},
doi = {10.1007/11966104\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ewsa/HirschKMU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BrunetCU06,
author = {Greg Brunet and
Marsha Chechik and
Sebasti{\'{a}}n Uchitel},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Properties of Behavioural Model Merging},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {98--114},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_8},
doi = {10.1007/11813040\_8},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/BrunetCU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FosterUMK06,
author = {Howard Foster and
Sebasti{\'{a}}n Uchitel and
Jeff Magee and
Jeff Kramer},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {{LTSA-WS:} a tool for model-based verification of web service compositions
and choreography},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {771--774},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134408},
doi = {10.1145/1134285.1134408},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FosterUMK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/AlrajehRRU06,
author = {Dalal Alrajeh and
Oliver Ray and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
editor = {Stephen H. Muggleton and
Ram{\'{o}}n P. Otero and
Alireza Tamaddoni{-}Nezhad},
title = {Extracting Requirements from Scenarios with {ILP}},
booktitle = {Inductive Logic Programming, 16th International Conference, {ILP}
2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {4455},
pages = {64--78},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-73847-3\_14},
doi = {10.1007/978-3-540-73847-3\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/AlrajehRRU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FischbeinUB06,
author = {Dario Fischbein and
Sebasti{\'{a}}n Uchitel and
V{\'{\i}}ctor A. Braberman},
editor = {Robert M. Hierons and
Henry Muccini},
title = {A foundation for behavioural conformance in software product line
architectures},
booktitle = {Proceedings of the 2006 Workshop on Role of Software Architecture
for Testing and Analysis, held in conjunction with the {ACM} {SIGSOFT}
International Symposium on Software Testing and Analysis {(ISSTA}
2006), {ROSATEA} 2006, Portland, Maine, USA, July 17-20, 2006},
pages = {39--48},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1147249.1147254},
doi = {10.1145/1147249.1147254},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/FischbeinUB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DuarteKU06,
author = {Lucio Mauro Duarte and
Jeff Kramer and
Sebasti{\'{a}}n Uchitel},
editor = {Oscar Nierstrasz and
Jon Whittle and
David Harel and
Gianna Reggio},
title = {Model Extraction Using Context Information},
booktitle = {Model Driven Engineering Languages and Systems, 9th International
Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4199},
pages = {380--394},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11880240\_27},
doi = {10.1007/11880240\_27},
timestamp = {Tue, 24 May 2022 15:28:49 +0200},
biburl = {https://dblp.org/rec/conf/models/DuarteKU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scesm/AlrajehRU06,
author = {Dalal Alrajeh and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
editor = {Jon Whittle and
Leif Geiger and
Michael Meisinger},
title = {Inferring operational requirements from scenarios and goal models
using inductive learning},
booktitle = {{SCESM} '06: Proceedings of the 2006 International Workshop on Scenarios
and State Machines: Models, Algorithms, and Tools, Shanghai, China,
May 27, 2006},
pages = {29--36},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1138953.1138960},
doi = {10.1145/1138953.1138960},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scesm/AlrajehRU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ChechikBFU06,
author = {Marsha Chechik and
Greg Brunet and
Dario Fischbein and
Sebasti{\'{a}}n Uchitel},
editor = {Ed Brinksma and
David Harel and
Angelika Mader and
Perdita Stevens and
Roel J. Wieringa},
title = {Partial Behavioural Models for Requirements and Early Design},
booktitle = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06351},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/858},
timestamp = {Thu, 10 Jun 2021 13:02:07 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ChechikBFU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/RodriguesRU05,
author = {Gena{\'{\i}}na Nunes Rodrigues and
David S. Rosenblum and
Sebasti{\'{a}}n Uchitel},
title = {Sensitivity analysis for a scenario-based reliability prediction model},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {30},
number = {4},
pages = {1--5},
year = {2005},
url = {https://doi.org/10.1145/1082983.1083229},
doi = {10.1145/1082983.1083229},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/RodriguesRU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/UchitelBKW05,
author = {Sebasti{\'{a}}n Uchitel and
Manfred Broy and
Ingolf H. Kr{\"{u}}ger and
Jon Whittle},
title = {Guest Editorial: Special Section on Interaction and State-Based Modeling},
journal = {{IEEE} Trans. Software Eng.},
volume = {31},
number = {12},
pages = {997--998},
year = {2005},
url = {https://doi.org/10.1109/TSE.2005.139},
doi = {10.1109/TSE.2005.139},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/UchitelBKW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/FosterUMKH05,
author = {Howard Foster and
Sebasti{\'{a}}n Uchitel and
Jeff Magee and
Jeff Kramer and
Michael Hu},
title = {Using a Rigorous Approach for Engineering Web Service Compositions:
{A} Case Study},
booktitle = {2005 {IEEE} International Conference on Services Computing {(SCC}
2005), 11-15 July 2005, Orlando, FL, {USA}},
pages = {217--224},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SCC.2005.105},
doi = {10.1109/SCC.2005.105},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEscc/FosterUMKH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eclipse/FosterUMK05,
author = {Howard Foster and
Sebasti{\'{a}}n Uchitel and
Jeff Magee and
Jeff Kramer},
editor = {Margaret{-}Anne D. Storey and
Michael G. Burke and
Li{-}Te Cheng and
Andr{\'{e}} van der Hoek},
title = {Leveraging Eclipse for integrated model-based engineering of web service
compositions},
booktitle = {Proceedings of the 2005 {OOPSLA} workshop on Eclipse Technology eXchange,
{ETX} 2005, San Diego, California, USA, October 16-17, 2005},
pages = {95--99},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1117696.1117716},
doi = {10.1145/1117696.1117716},
timestamp = {Mon, 14 Feb 2022 14:38:20 +0100},
biburl = {https://dblp.org/rec/conf/eclipse/FosterUMK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/RodriguesRU05,
author = {Gena{\'{\i}}na Nunes Rodrigues and
David S. Rosenblum and
Sebasti{\'{a}}n Uchitel},
editor = {Maura Cerioli},
title = {Using Scenarios to Predict the Reliability of Concurrent Component-Based
Software Systems},
booktitle = {Fundamental Approaches to Software Engineering, 8th International
Conference, {FASE} 2005, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April
4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3442},
pages = {111--126},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31984-9\_9},
doi = {10.1007/978-3-540-31984-9\_9},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/RodriguesRU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RodriguesRU05,
author = {Gena{\'{\i}}na Nunes Rodrigues and
David S. Rosenblum and
Sebasti{\'{a}}n Uchitel},
title = {Sensitivity analysis for a scenario-based reliability prediction model},
booktitle = {Proceedings of the 2005 workshop on Architecting dependable systems,
{WADS} '05, St. Louis, Missouri, USA, May 17, 2005},
pages = {7:1--7:5},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1083217.1083229},
doi = {10.1145/1083217.1083229},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/RodriguesRU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LetierKMU05,
author = {Emmanuel Letier and
Jeff Kramer and
Jeff Magee and
Sebasti{\'{a}}n Uchitel},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {Monitoring and control in scenario-based requirements analysis},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {382--391},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062527},
doi = {10.1145/1062455.1062527},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LetierKMU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChatleyUKM05,
author = {Robert Chatley and
Sebasti{\'{a}}n Uchitel and
Jeff Kramer and
Jeff Magee},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {Fluent-based web animation: exploring goals for requirements validation},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {674--675},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062603},
doi = {10.1145/1062455.1062603},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChatleyUKM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/FosterUMK05,
author = {Howard Foster and
Sebasti{\'{a}}n Uchitel and
Jeff Magee and
Jeff Kramer},
title = {Tool Support for Model-Based Engineering of Web Service Compositions},
booktitle = {2005 {IEEE} International Conference on Web Services {(ICWS} 2005),
11-15 July 2005, Orlando, FL, {USA}},
pages = {95--102},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICWS.2005.119},
doi = {10.1109/ICWS.2005.119},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/FosterUMK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/EasterbrookU05,
author = {Steve M. Easterbrook and
Sebasti{\'{a}}n Uchitel},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Introduction to doctoral symposium},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {435},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101992},
doi = {10.1145/1101908.1101992},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/EasterbrookU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LetierKMU05,
author = {Emmanuel Letier and
Jeff Kramer and
Jeff Magee and
Sebasti{\'{a}}n Uchitel},
editor = {Michel Wermelinger and
Harald C. Gall},
title = {Fluent temporal logic for discrete-time event-based models},
booktitle = {Proceedings of the 10th European Software Engineering Conference held
jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
pages = {70--79},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081706.1081719},
doi = {10.1145/1081706.1081719},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LetierKMU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/RodriguesRU05,
author = {Gena{\'{\i}}na Nunes Rodrigues and
David S. Rosenblum and
Sebasti{\'{a}}n Uchitel},
editor = {Lionel C. Briand and
Clay Williams},
title = {Reliability Prediction in Model-Driven Development},
booktitle = {Model Driven Engineering Languages and Systems, 8th International
Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3713},
pages = {339--354},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11557432\_25},
doi = {10.1007/11557432\_25},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/uml/RodriguesRU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/UchitelKM04,
author = {Sebasti{\'{a}}n Uchitel and
Jeff Kramer and
Jeff Magee},
title = {Incremental elaboration of scenario-based specifications and behavior
models using implied scenarios},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {13},
number = {1},
pages = {37--85},
year = {2004},
url = {https://doi.org/10.1145/1005561.1005563},
doi = {10.1145/1005561.1005563},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/UchitelKM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ChatleyEKMU04,
author = {Robert Chatley and
Susan Eisenbach and
Jeff Kramer and
Jeff Magee and
Sebasti{\'{a}}n Uchitel},
editor = {Michel Wermelinger and
Tiziana Margaria},
title = {Predictable Dynamic Plugin Systems},
booktitle = {Fundamental Approaches to Software Engineering, 7th International
Conference, {FASE} 2004, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2004 Barcelona, Spain,
March 29 - april 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2984},
pages = {129--143},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24721-0\_9},
doi = {10.1007/978-3-540-24721-0\_9},
timestamp = {Sun, 02 Jun 2019 21:17:06 +0200},
biburl = {https://dblp.org/rec/conf/fase/ChatleyEKMU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/FosterUMK04,
author = {Howard Foster and
Sebasti{\'{a}}n Uchitel and
Jeff Magee and
Jeff Kramer},
title = {Compatibility Verification for Web Service Choreography},
booktitle = {Proceedings of the {IEEE} International Conference on Web Services
(ICWS'04), June 6-9, 2004, San Diego, California, {USA}},
pages = {738--741},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICWS.2004.1314806},
doi = {10.1109/ICWS.2004.1314806},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/FosterUMK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/UchitelCKM04,
author = {Sebasti{\'{a}}n Uchitel and
Robert Chatley and
Jeff Kramer and
Jeff Magee},
title = {Fluent-Based Animation: Exploiting the Relation between Goals and
Scenarios for Requirements Validation},
booktitle = {12th {IEEE} International Conference on Requirements Engineering {(RE}
2004), 6-10 September 2004, Kyoto, Japan},
pages = {208--217},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/RE.2004.21},
doi = {10.1109/RE.2004.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/UchitelCKM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/UchitelCKM04,
author = {Sebasti{\'{a}}n Uchitel and
Robert Chatley and
Jeff Kramer and
Jeff Magee},
editor = {Richard N. Taylor and
Matthew B. Dwyer},
title = {System architecture: the context for scenario-based model synthesis},
booktitle = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
October 31 - November 6, 2004},
pages = {33--42},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1029894.1029903},
doi = {10.1145/1029894.1029903},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/UchitelCKM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/UchitelC04,
author = {Sebasti{\'{a}}n Uchitel and
Marsha Chechik},
editor = {Richard N. Taylor and
Matthew B. Dwyer},
title = {Merging partial behavioural models},
booktitle = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
October 31 - November 6, 2004},
pages = {43--52},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1029894.1029904},
doi = {10.1145/1029894.1029904},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/UchitelC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Uchitel03,
author = {Sebasti{\'{a}}n Uchitel},
title = {Incremental elaboration of scenario-based specifications and behaviour
models using implied scenarios},
school = {Imperial College London, {UK}},
year = {2003},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.401938},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Uchitel03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/KrugerUWZ03,
author = {Ingolf Kr{\"{u}}ger and
Sebasti{\'{a}}n Uchitel and
Jon Whittle and
Albert Z{\"{u}}ndorf},
title = {A summary of the second {ICSE} 2003 workshop on: "scenarios and
state machines: models, algorithms, and tools"},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {28},
number = {6},
pages = {9},
year = {2003},
url = {https://doi.org/10.1145/966221.966231},
doi = {10.1145/966221.966231},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/KrugerUWZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/UchitelKM03,
author = {Sebasti{\'{a}}n Uchitel and
Jeff Kramer and
Jeff Magee},
title = {Synthesis of Behavioral Models from Scenarios},
journal = {{IEEE} Trans. Software Eng.},
volume = {29},
number = {2},
pages = {99--115},
year = {2003},
url = {https://doi.org/10.1109/TSE.2003.1178048},
doi = {10.1109/TSE.2003.1178048},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/UchitelKM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChatleyKMU03,
author = {Robert Chatley and
Jeff Kramer and
Jeff Magee and
Sebasti{\'{a}}n Uchitel},
editor = {Rick Kazman and
Len Bass and
Jan Bosch},
title = {Model-based Simulation of Web Applications for Usability Assessment},
booktitle = {Proceedings of {ICSE} 2003 Workshop on Bridging the Gaps Between Software
Engineering and Human-Computer Interaction, May 3-4, 2003, Portland,
Oregon, {USA}},
pages = {5--11},
publisher = {{IFIP}},
year = {2003},
url = {http://www.se-hci.org/bridging/icse/p5-11.pdf},
timestamp = {Fri, 30 Jul 2004 08:24:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ChatleyKMU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/EgyedGKSUZ03,
author = {Alexander Egyed and
Martin Glinz and
Ingolf Kr{\"{u}}ger and
Tarja Syst{\"{a}} and
Sebasti{\'{a}}n Uchitel and
Albert Z{\"{u}}ndorf},
editor = {Lori A. Clarke and
Laurie Dillon and
Walter F. Tichy},
title = {Second Workshop on Scenarios and State Machines: Models, Algorithms,
and Tools},
booktitle = {Proceedings of the 25th International Conference on Software Engineering,
May 3-10, 2003, Portland, Oregon, {USA}},
pages = {783--784},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICSE.2003.1201284},
doi = {10.1109/ICSE.2003.1201284},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/EgyedGKSUZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FosterUMK03,
author = {Howard Foster and
Sebasti{\'{a}}n Uchitel and
Jeff Magee and
Jeff Kramer},
title = {Model-based Verification of Web Service Compositions},
booktitle = {18th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2003), 6-10 October 2003, Montreal, Canada},
pages = {152--163},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ASE.2003.1240303},
doi = {10.1109/ASE.2003.1240303},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/FosterUMK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/KramerMU03,
author = {Jeff Kramer and
Jeff Magee and
Sebasti{\'{a}}n Uchitel},
editor = {Marco Bernardo and
Paola Inverardi},
title = {Software Architecture Modeling {\&} Analysis: {A} Rigorous Approach},
booktitle = {Formal Methods for Software Architectures, Third International School
on Formal Methods for the Design of Computer, Communication and Software
Systems: Software Architectures, {SFM} 2003, Bertinoro, Italy, September
22-27, 2003, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2804},
pages = {44--51},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39800-4\_3},
doi = {10.1007/978-3-540-39800-4\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/KramerMU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/UchitelKM03,
author = {Sebasti{\'{a}}n Uchitel and
Jeff Kramer and
Jeff Magee},
editor = {Jukka Paakki and
Paola Inverardi},
title = {Behaviour model elaboration using partial labelled transition systems},
booktitle = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of
Software Engineering 2003 held jointly with 9th European Software
Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September
1-5, 2003},
pages = {19--27},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/940071.940076},
doi = {10.1145/940071.940076},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/UchitelKM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/UchitelCKM03,
author = {Sebasti{\'{a}}n Uchitel and
Robert Chatley and
Jeff Kramer and
Jeff Magee},
editor = {Hubert Garavel and
John Hatcliff},
title = {{LTSA-MSC:} Tool Support for Behaviour Model Elaboration Using Implied
Scenarios},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, {TACAS} 2003, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {597--601},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_44},
doi = {10.1007/3-540-36577-X\_44},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/UchitelCKM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/ChatleyKMU03,
author = {Robert Chatley and
Jeff Kramer and
Jeff Magee and
Sebasti{\'{a}}n Uchitel},
title = {Visual methods for web application design},
booktitle = {2003 {IEEE} Symposium on Human Centric Computing Languages and Environments
{(HCC} 2003), 28-31 October 2003, Auckland, New Zealand},
pages = {242--244},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/HCC.2003.1260236},
doi = {10.1109/HCC.2003.1260236},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/ChatleyKMU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/UchitelSZ02,
author = {Sebasti{\'{a}}n Uchitel and
Tarja Syst{\"{a}} and
Albert Z{\"{u}}ndorf},
editor = {Will Tracz and
Michal Young and
Jeff Magee},
title = {Scenarios and state machines: models, algorithms, and tools},
booktitle = {Proceedings of the 24th International Conference on Software Engineering,
{ICSE} 2002, 19-25 May 2002, Orlando, Florida, {USA}},
pages = {659--660},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581339.581431},
doi = {10.1145/581339.581431},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/UchitelSZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/UchitelKM02,
author = {Sebasti{\'{a}}n Uchitel and
Jeff Kramer and
Jeff Magee},
title = {Negative scenarios for implied scenario elicitation},
booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering 2002, Charleston, South Carolina, USA, November
18-22, 2002},
pages = {109--118},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/587051.587069},
doi = {10.1145/587051.587069},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/UchitelKM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/UchitelKM02,
author = {Sebasti{\'{a}}n Uchitel and
Jeff Kramer and
Jeff Magee},
editor = {Beno{\^{\i}}t Caillaud and
Anca Muscholl},
title = {Implied Scenario Detection in the Presence of Behaviour Constraints},
booktitle = {Validation and Implementation of Scenario-based Specifications, {VISS}
2002, Satellite Event of {ETAPS} 2002, Grenoble, France, April 6-14,
2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {7},
pages = {65--84},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80485-7},
doi = {10.1016/S1571-0661(04)80485-7},
timestamp = {Mon, 05 Dec 2022 15:19:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/UchitelKM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/InverardiU01,
author = {Paola Inverardi and
Sebasti{\'{a}}n Uchitel},
editor = {Heinrich Hu{\ss}mann},
title = {Proving Deadlock Freedom in Component-Based Programming},
booktitle = {Fundamental Approaches to Software Engineering, 4th International
Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2029},
pages = {60--75},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45314-8\_6},
doi = {10.1007/3-540-45314-8\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/InverardiU01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/UchitelK01,
author = {Sebasti{\'{a}}n Uchitel and
Jeff Kramer},
editor = {Hausi A. M{\"{u}}ller and
Mary Jean Harrold and
Wilhelm Sch{\"{a}}fer},
title = {A Workbench for Synthesising Behaviour Models from Scenarios},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering,
{ICSE} 2001, 12-19 May 2001, Toronto, Ontario, Canada},
pages = {188--197},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICSE.2001.919093},
doi = {10.1109/ICSE.2001.919093},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/UchitelK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/UchitelKM01,
author = {Sebasti{\'{a}}n Uchitel and
Jeff Kramer and
Jeff Magee},
editor = {A Min Tjoa and
Volker Gruhn},
title = {Detecting implied scenarios in message sequence chart specifications},
booktitle = {Proceedings of the 8th European Software Engineering Conference held
jointly with 9th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering 2001, Vienna, Austria, September 10-14, 2001},
pages = {74--82},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/503209.503220},
doi = {10.1145/503209.503220},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/UchitelKM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/UchitelY00,
author = {Sebasti{\'{a}}n Uchitel and
Daniel Yankelevich},
title = {Enhancing Architectural Mismatch Detection with Assumptions},
booktitle = {7th {IEEE} International Symposium on Engineering of Computer-Based
Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
pages = {138},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ECBS.2000.839871},
doi = {10.1109/ECBS.2000.839871},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/UchitelY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/HirschUY99,
author = {Dan Hirsch and
Sebasti{\'{a}}n Uchitel and
Daniel Yankelevich},
editor = {Paolo Ciancarini and
Alexander L. Wolf},
title = {Towards a Periodic Table of Connectors},
booktitle = {Coordination Languages and Models, Third International Conference,
{COORDINATION} '99, Amsterdam, The Netherlands, April 26-28, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1594},
pages = {418},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48919-3\_32},
doi = {10.1007/3-540-48919-3\_32},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/HirschUY99.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-16 20:30 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:
