Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jeff Kramer
@inproceedings{DBLP:conf/kbse/LiZWTWCK23,
author = {Tsz On Li and
Wenxi Zong and
Yibo Wang and
Haoye Tian and
Ying Wang and
Shing{-}Chi Cheung and
Jeff Kramer},
title = {Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests
with Differential Prompting},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {14--26},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00089},
doi = {10.1109/ASE56229.2023.00089},
timestamp = {Thu, 16 Nov 2023 09:03:51 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LiZWTWCK23.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}
}
@article{DBLP:journals/corr/abs-2304-11686,
author = {Tsz On Li and
Wenxi Zong and
Yibo Wang and
Haoye Tian and
Ying Wang and
Shing{-}Chi Cheung and
Jeff Kramer},
title = {Finding Failure-Inducing Test Cases with ChatGPT},
journal = {CoRR},
volume = {abs/2304.11686},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.11686},
doi = {10.48550/ARXIV.2304.11686},
eprinttype = {arXiv},
eprint = {2304.11686},
timestamp = {Tue, 02 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-11686.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/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/re/Kramer20,
author = {Jeff Kramer},
editor = {Travis D. Breaux and
Andrea Zisman and
Samuel Fricker and
Martin Glinz},
title = {{RE} @ runtime : the challenge of change RE'20 Conference Keynote},
booktitle = {28th {IEEE} International Requirements Engineering Conference, {RE}
2020, Zurich, Switzerland, August 31 - September 4, 2020},
pages = {4--6},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/RE48521.2020.00012},
doi = {10.1109/RE48521.2020.00012},
timestamp = {Wed, 14 Oct 2020 13:39:28 +0200},
biburl = {https://dblp.org/rec/conf/re/Kramer20.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/icse/BennaceurGTKWCD19,
author = {Amel Bennaceur and
Carlo Ghezzi and
Kenji Tei and
Timo Kehrer and
Danny Weyns and
Radu Calinescu and
Schahram Dustdar and
Zhenjiang Hu and
Shinichi Honiden and
Fuyuki Ishikawa and
Zhi Jin and
Jeffrey Kramer and
Marin Litoiu and
Michele Loreti and
Gabriel A. Moreno and
Hausi A. M{\"{u}}ller and
Laura Nenzi and
Bashar Nuseibeh and
Liliana Pasquale and
Wolfgang Reisig and
Heinz Schmidt and
Christos Tsigkanos and
Haiyan Zhao},
editor = {Marin Litoiu and
Siobh{\'{a}}n Clarke and
Kenji Tei},
title = {Modelling and analysing resilient cyber-physical systems},
booktitle = {Proceedings of the 14th International Symposium on Software Engineering
for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal,
QC, Canada, May 25-31, 2019},
pages = {70--76},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1109/SEAMS.2019.00018},
doi = {10.1109/SEAMS.2019.00018},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BennaceurGTKWCD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iotsms/ChawdhuriKJ19,
author = {Debasish Ray Chawdhuri and
Jeffrey Kramer and
Spencer Judge},
editor = {Mohammad A. Alsmirat and
Yaser Jararweh},
title = {Acceptable Privacy for {XAND} Blockchain},
booktitle = {Sixth International Conference on Internet of Things: Systems, Management
and Security, {IOTSMS} 2019, Granada, Spain, October 22-25, 2019},
pages = {529--536},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IOTSMS48152.2019.8939262},
doi = {10.1109/IOTSMS48152.2019.8939262},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iotsms/ChawdhuriKJ19.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/cacm/HazzanK16,
author = {Orit Hazzan and
Jeff Kramer},
title = {Assessing abstraction skills},
journal = {Commun. {ACM}},
volume = {59},
number = {12},
pages = {43--45},
year = {2016},
url = {https://doi.org/10.1145/2926712},
doi = {10.1145/2926712},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/HazzanK16.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 = {Wed, 16 Oct 2019 14:14:49 +0200},
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}
}
@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}
}
@inproceedings{DBLP:conf/icse/Kramer15,
author = {Jeff Kramer},
editor = {Paola Inverardi and
Bradley R. Schmerl},
title = {Adventures in Adaptation: {A} Software Engineering Playground!},
booktitle = {10th {IEEE/ACM} International Symposium on Software Engineering for
Adaptive and Self-Managing Systems, {SEAMS} 2015, Florence, Italy,
May 18-19, 2015},
pages = {1},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SEAMS.2015.8},
doi = {10.1109/SEAMS.2015.8},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Kramer15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RodriguesLK15,
author = {Pedro Rodrigues and
Emil Constantine Lupu and
Jeffrey Kramer},
editor = {Jeff Gray and
Marsha Chechik and
Vinay Kulkarni and
Richard F. Paige},
title = {Compositional Reliability Analysis for Probabilistic Component Automata},
booktitle = {7th {IEEE/ACM} International Workshop on Modeling in Software Engineering,
MiSE 2015, Florence, Italy, May 16-17, 2015},
pages = {19--24},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MiSE.2015.11},
doi = {10.1109/MISE.2015.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/RodriguesLK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/RodriguesKL15,
author = {Pedro Rodrigues and
Jeff Kramer and
Emil C. Lupu},
editor = {Remi Badonnel and
Jin Xiao and
Shingo Ata and
Filip De Turck and
Voicu Groza and
Carlos Raniery Paula dos Santos},
title = {On re-assembling self-managed components},
booktitle = {{IFIP/IEEE} International Symposium on Integrated Network Management,
{IM} 2015, Ottawa, ON, Canada, 11-15 May, 2015},
pages = {727--733},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/INM.2015.7140362},
doi = {10.1109/INM.2015.7140362},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/im/RodriguesKL15.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}
}
@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/icse/RodriguesLK14,
author = {Pedro Rodrigues and
Emil Lupu and
Jeff Kramer},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {{LTSA-PCA:} tool support for compositional reliability analysis},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014},
pages = {548--551},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2591062.2591067},
doi = {10.1145/2591062.2591067},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/RodriguesLK14.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/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/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/SykesCMKRI13,
author = {Daniel Sykes and
Domenico Corapi and
Jeff Magee and
Jeff Kramer and
Alessandra Russo and
Katsumi Inoue},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Learning revised models for planning in adaptive systems},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {63--71},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606552},
doi = {10.1109/ICSE.2013.6606552},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SykesCMKRI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/KramerK12,
author = {Jeffrey Kramer and
Abraham Kandel},
title = {On accurate localization and uncertain sensors},
journal = {Int. J. Intell. Syst.},
volume = {27},
number = {5},
pages = {429--456},
year = {2012},
url = {https://doi.org/10.1002/int.21530},
doi = {10.1002/INT.21530},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/KramerK12.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/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 = {Tue, 14 May 2019 10:00:46 +0200},
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/icse/Kramer12,
author = {Jeff Kramer},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Whither software architecture? (Keynote)},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {963},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227253},
doi = {10.1109/ICSE.2012.6227253},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Kramer12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ram/LindemuthMSADEH11,
author = {Michael Lindemuth and
Robin R. Murphy and
Eric Steimle and
William Armitage and
Karen L. Dreger and
Tim Elliot and
Michael Hall and
Dmitry Kalyadin and
Jeffrey Kramer and
Mayur Palankar and
Kevin S. Pratt and
Chandler Griffin},
title = {Sea Robot-Assisted Inspection},
journal = {{IEEE} Robotics Autom. Mag.},
volume = {18},
number = {2},
pages = {96--107},
year = {2011},
url = {https://doi.org/10.1109/MRA.2011.940994},
doi = {10.1109/MRA.2011.940994},
timestamp = {Sat, 14 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ram/LindemuthMSADEH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/KramerK11,
author = {Jeffrey Kramer and
Abraham Kandel},
title = {Robust Small Robot Localization From Highly Uncertain Sensors},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {C}},
volume = {41},
number = {4},
pages = {509--519},
year = {2011},
url = {https://doi.org/10.1109/TSMCC.2010.2068545},
doi = {10.1109/TSMCC.2010.2068545},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/KramerK11.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/SykesMK11,
author = {Daniel Sykes and
Jeff Magee and
Jeff Kramer},
editor = {Holger Giese and
Betty H. C. Cheng},
title = {FlashMob: distributed adaptive self-assembly},
booktitle = {2011 {ICSE} Symposium on Software Engineering for Adaptive and Self-Managing
Systems, {SEAMS} 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011},
pages = {100--109},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1988008.1988023},
doi = {10.1145/1988008.1988023},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SykesMK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/McVeighKM11,
author = {Andrew McVeigh and
Jeff Kramer and
Jeff Magee},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Evolve: tool support for architecture evolution},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {1040--1042},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985990},
doi = {10.1145/1985793.1985990},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/McVeighKM11.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}
}
@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/fac/LangSHKM10,
author = {Fr{\'{e}}d{\'{e}}ric Lang and
Gwen Sala{\"{u}}n and
R{\'{e}}mi H{\'{e}}rilier and
Jeff Kramer and
Jeff Magee},
title = {Translating {FSP} into {LOTOS} and networks of automata},
journal = {Formal Aspects Comput.},
volume = {22},
number = {6},
pages = {681--711},
year = {2010},
url = {https://doi.org/10.1007/s00165-009-0133-8},
doi = {10.1007/S00165-009-0133-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LangSHKM10.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}
}
@article{DBLP:journals/tse/Kramer10,
author = {Jeff Kramer},
title = {Editorial: {A} New Editor in Chief and the State of the Journal},
journal = {{IEEE} Trans. Software Eng.},
volume = {36},
number = {1},
pages = {1--2},
year = {2010},
url = {https://doi.org/10.1109/TSE.2010.21},
doi = {10.1109/TSE.2010.21},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Kramer10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LemosGMSALSTVVWBBBBCDDEGGGGIKKLMMMMMNPPSSSSTWW10,
author = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw and
Jesper Andersson and
Marin Litoiu and
Bradley R. Schmerl and
Gabriel Tamura and
Norha M. Villegas and
Thomas Vogel and
Danny Weyns and
Luciano Baresi and
Basil Becker and
Nelly Bencomo and
Yuriy Brun and
Bojan Cukic and
Ronald J. Desmarais and
Schahram Dustdar and
Gregor Engels and
Kurt Geihs and
Karl M. G{\"{o}}schka and
Alessandra Gorla and
Vincenzo Grassi and
Paola Inverardi and
Gabor Karsai and
Jeff Kramer and
Ant{\'{o}}nia Lopes and
Jeff Magee and
Sam Malek and
Serge Mankovski and
Raffaela Mirandola and
John Mylopoulos and
Oscar Nierstrasz and
Mauro Pezz{\`{e}} and
Christian Prehofer and
Wilhelm Sch{\"{a}}fer and
Richard D. Schlichting and
Dennis B. Smith and
Jo{\~{a}}o Pedro Sousa and
Ladan Tahvildari and
Kenny Wong and
Jochen Wuttke},
editor = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw},
title = {Software Engineering for Self-Adaptive Systems: {A} Second Research
Roadmap},
booktitle = {Software Engineering for Self-Adaptive Systems {II} - International
Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {7475},
pages = {1--32},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-35813-5\_1},
doi = {10.1007/978-3-642-35813-5\_1},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LemosGMSALSTVVWBBBBCDDEGGGGIKKLMMMMMNPPSSSSTWW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SykesHMK10,
author = {Daniel Sykes and
William Heaven and
Jeff Magee and
Jeff Kramer},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Exploiting non-functional preferences in architectural adaptation
for self-managed systems},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {431--438},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774180},
doi = {10.1145/1774088.1774180},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/SykesHMK10.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}
}
@inproceedings{DBLP:conf/dagstuhl/LemosGMSABBBBCD10,
author = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw and
Jesper Andersson and
Luciano Baresi and
Basil Becker and
Nelly Bencomo and
Yuriy Brun and
Bojan Cukic and
Ronald J. Desmarais and
Schahram Dustdar and
Gregor Engels and
Kurt Geihs and
Karl M. G{\"{o}}schka and
Alessandra Gorla and
Vincenzo Grassi and
Paola Inverardi and
Gabor Karsai and
Jeff Kramer and
Marin Litoiu and
Ant{\'{o}}nia Lopes and
Jeff Magee and
Sam Malek and
Serge Mankovskii and
Raffaela Mirandola and
John Mylopoulos and
Oscar Nierstrasz and
Mauro Pezz{\`{e}} and
Christian Prehofer and
Wilhelm Sch{\"{a}}fer and
Richard D. Schlichting and
Bradley R. Schmerl and
Dennis B. Smith and
Jo{\~{a}}o Pedro Sousa and
Gabriel Tamura and
Ladan Tahvildari and
Norha M. Villegas and
Thomas Vogel and
Danny Weyns and
Kenny Wong and
Jochen Wuttke},
editor = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw},
title = {Software Engineering for Self-Adaptive Systems: {A} second Research
Roadmap},
booktitle = {Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10431},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2011/3156/},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LemosGMSABBBBCD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/KramerM09,
author = {Jeff Kramer and
Jeff Magee},
title = {A Rigorous Architectural Approach to Adaptive Software Engineering},
journal = {J. Comput. Sci. Technol.},
volume = {24},
number = {2},
pages = {183--188},
year = {2009},
url = {https://doi.org/10.1007/s11390-009-9216-5},
doi = {10.1007/S11390-009-9216-5},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/KramerM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Kramer09,
author = {Jeff Kramer},
title = {Editorial: New Associate Editors Introduction},
journal = {{IEEE} Trans. Software Eng.},
volume = {35},
number = {4},
pages = {449},
year = {2009},
url = {https://doi.org/10.1109/TSE.2009.48},
doi = {10.1109/TSE.2009.48},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Kramer09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/BeltranFWK09,
author = {Alejandra N. Gonz{\'{a}}lez{-}Beltr{\'{a}}n and
Anthony Finkelstein and
J. Max Wilkinson and
Jeff Kramer},
title = {Domain concept-based queries for cancer research data sources},
booktitle = {Proceedings of the Twenty-Second {IEEE} International Symposium on
Computer-Based Medical Systems, August 3-4, 2009, Albuquerque, New
Mexico, {USA}},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CBMS.2009.5255343},
doi = {10.1109/CBMS.2009.5255343},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbms/BeltranFWK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09,
author = {Betty H. C. Cheng and
Rog{\'{e}}rio de Lemos and
Holger Giese and
Paola Inverardi and
Jeff Magee and
Jesper Andersson and
Basil Becker and
Nelly Bencomo and
Yuriy Brun and
Bojan Cukic and
Giovanna Di Marzo Serugendo and
Schahram Dustdar and
Anthony Finkelstein and
Cristina Gacek and
Kurt Geihs and
Vincenzo Grassi and
Gabor Karsai and
Holger M. Kienle and
Jeff Kramer and
Marin Litoiu and
Sam Malek and
Raffaela Mirandola and
Hausi A. M{\"{u}}ller and
Sooyong Park and
Mary Shaw and
Matthias Tichy and
Massimo Tivoli and
Danny Weyns and
Jon Whittle},
editor = {Betty H. C. Cheng and
Rog{\'{e}}rio de Lemos and
Holger Giese and
Paola Inverardi and
Jeff Magee},
title = {Software Engineering for Self-Adaptive Systems: {A} Research Roadmap},
booktitle = {Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl
Seminar]},
series = {Lecture Notes in Computer Science},
volume = {5525},
pages = {1--26},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02161-9\_1},
doi = {10.1007/978-3-642-02161-9\_1},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HeavenSMK09,
author = {William Heaven and
Daniel Sykes and
Jeff Magee and
Jeff Kramer},
editor = {Betty H. C. Cheng and
Rog{\'{e}}rio de Lemos and
Holger Giese and
Paola Inverardi and
Jeff Magee},
title = {A Case Study in Goal-Driven Architectural Adaptation},
booktitle = {Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl
Seminar]},
series = {Lecture Notes in Computer Science},
volume = {5525},
pages = {109--127},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02161-9\_6},
doi = {10.1007/978-3-642-02161-9\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/HeavenSMK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icar/KramerK09,
author = {Jeffrey Kramer and
Abraham Kandel},
title = {Fuzzy approaches to driven Kalman filtering for small robot localization},
booktitle = {14th International Conference on Advanced Robotics, {ICAR} 2009, 22-26
June 2009, Munich, Germany},
pages = {1--6},
publisher = {{IEEE}},
year = {2009},
url = {https://ieeexplore.ieee.org/document/5174755/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icar/KramerK09.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/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/tfm/Kramer09,
author = {Jeffrey Kramer},
editor = {Jeremy Gibbons and
Jos{\'{e}} Nuno Oliveira},
title = {Abstraction and Modelling: {A} Complementary Partnership},
booktitle = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5846},
pages = {1},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04912-5\_1},
doi = {10.1007/978-3-642-04912-5\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tfm/Kramer09.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}
}
@article{DBLP:journals/computer/OsterweilGKW08,
author = {Leon J. Osterweil and
Carlo Ghezzi and
Jeff Kramer and
Alexander L. Wolf},
title = {Determining the Impact of Software Engineering Research on Practice},
journal = {Computer},
volume = {41},
number = {3},
pages = {39--49},
year = {2008},
url = {https://doi.org/10.1109/MC.2008.85},
doi = {10.1109/MC.2008.85},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/OsterweilGKW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Kramer08,
author = {Jeff Kramer},
title = {State of the Journal Address},
journal = {{IEEE} Trans. Software Eng.},
volume = {34},
number = {1},
pages = {1--2},
year = {2008},
url = {https://doi.org/10.1109/TSE.2008.12},
doi = {10.1109/TSE.2008.12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Kramer08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Kramer08a,
author = {Jeff Kramer},
title = {Editorial: New Associate Editor Introduction},
journal = {{IEEE} Trans. Software Eng.},
volume = {34},
number = {2},
pages = {161},
year = {2008},
url = {https://doi.org/10.1109/TSE.2008.21},
doi = {10.1109/TSE.2008.21},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Kramer08a.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 = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/DuarteKU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SykesHMK08,
author = {Daniel Sykes and
William Heaven and
Jeff Magee and
Jeff Kramer},
editor = {Betty H. C. Cheng and
Rog{\'{e}}rio de Lemos and
David Garlan and
Holger Giese and
Marin Litoiu and
Jeff Magee and
Hausi A. M{\"{u}}ller and
Richard N. Taylor},
title = {From goals to components: a combined approach to self-management},
booktitle = {2008 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing
Systems, {SEAMS} 2008, Leipzig, Germany, May 12-13, 2008},
pages = {1--8},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370018.1370020},
doi = {10.1145/1370018.1370020},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SykesHMK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HazzanK08,
author = {Orit Hazzan and
Jeff Kramer},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {The role of abstraction in software engineering},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008, Companion Volume},
pages = {1045--1046},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370175.1370239},
doi = {10.1145/1370175.1370239},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HazzanK08.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/models/Kramer08,
author = {Jeff Kramer},
editor = {Krzysztof Czarnecki and
Ileana Ober and
Jean{-}Michel Bruel and
Axel Uhl and
Markus V{\"{o}}lter},
title = {Abstraction and Modelling - {A} Complementary Partnership},
booktitle = {Model Driven Engineering Languages and Systems, 11th International
Conference, MoDELS 2008, Toulouse, France, September 28 - October
3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5301},
pages = {158},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87875-9\_11},
doi = {10.1007/978-3-540-87875-9\_11},
timestamp = {Fri, 30 Dec 2022 23:08:54 +0100},
biburl = {https://dblp.org/rec/conf/models/Kramer08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2008roa,
editor = {Orit Hazzan and
Jeff Kramer},
title = {Proceedings of the 2nd International Workshop on the Role of Abstraction
in Software Engineering, {ROA} '08, Leipzig, Germany, May 11, 2008},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370164},
doi = {10.1145/1370164},
isbn = {978-1-60558-028-9},
timestamp = {Thu, 27 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/2008roa.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Kramer07,
author = {Jeff Kramer},
title = {Is abstraction the key to computing?},
journal = {Commun. {ACM}},
volume = {50},
number = {4},
pages = {36--42},
year = {2007},
url = {https://doi.org/10.1145/1232743.1232745},
doi = {10.1145/1232743.1232745},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Kramer07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Kramer07,
author = {Jeff Kramer},
title = {Editorial: State of the Journal},
journal = {{IEEE} Trans. Software Eng.},
volume = {33},
number = {1},
pages = {1},
year = {2007},
url = {https://doi.org/10.1109/TSE.2007.256940},
doi = {10.1109/TSE.2007.256940},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Kramer07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KramerM07,
author = {Jeff Kramer and
Jeff Magee},
editor = {Lionel C. Briand and
Alexander L. Wolf},
title = {Self-Managed Systems: an Architectural Challenge},
booktitle = {International Conference on Software Engineering, {ISCE} 2007, Workshop
on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007,
Minneapolis, MN, {USA}},
pages = {259--268},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FOSE.2007.19},
doi = {10.1109/FOSE.2007.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KramerM07.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/ifm/SalaunKLM07,
author = {Gwen Sala{\"{u}}n and
Jeff Kramer and
Fr{\'{e}}d{\'{e}}ric Lang and
Jeff Magee},
editor = {Jim Davies and
Jeremy Gibbons},
title = {Translating {FSP} into {LOTOS} and Networks of Automata},
booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4591},
pages = {558--578},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5\_29},
doi = {10.1007/978-3-540-73210-5\_29},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SalaunKLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SykesHMK07,
author = {Daniel Sykes and
William Heaven and
Jeff Magee and
Jeff Kramer},
editor = {Arnd Poetzsch{-}Heffter},
title = {Plan-directed architectural change for autonomous systems},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {15--21},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292318},
doi = {10.1145/1292316.1292318},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SykesHMK07.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}
}
@book{DBLP:books/daglib/0016245,
author = {Jeff Magee and
Jeff Kramer},
title = {Concurrency - state models and Java programs {(2.} ed.)},
publisher = {Wiley},
year = {2006},
isbn = {978-0-470-09355-9},
timestamp = {Wed, 23 Mar 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0016245.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}
}
@article{DBLP:journals/scp/BrogiJKP06,
author = {Antonio Brogi and
Jean{-}Marie Jacquet and
Jeff Kramer and
Ernesto Pimentel},
title = {Preface},
journal = {Sci. Comput. Program.},
volume = {61},
number = {2},
pages = {73--74},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2005.10.007},
doi = {10.1016/J.SCICO.2005.10.007},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BrogiJKP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/KramerH06,
author = {Jeff Kramer and
Orit Hazzan},
title = {The Role of Abstraction in Software Engineering},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {31},
number = {6},
pages = {38--39},
year = {2006},
url = {https://doi.org/10.1145/1218776.1226833},
doi = {10.1145/1218776.1226833},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/KramerH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Kramer06,
author = {Jeff Kramer},
title = {Editorial: {A} Message from the New Editor-in-Chief},
journal = {{IEEE} Trans. Software Eng.},
volume = {32},
number = {1},
pages = {2--3},
year = {2006},
url = {https://doi.org/10.1109/TSE.2006.9},
doi = {10.1109/TSE.2006.9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Kramer06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Kramer06a,
author = {Jeff Kramer},
title = {Editorial: New Associate Editors Introduction},
journal = {{IEEE} Trans. Software Eng.},
volume = {32},
number = {3},
pages = {137--139},
year = {2006},
url = {https://doi.org/10.1109/TSE.2006.29},
doi = {10.1109/TSE.2006.29},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Kramer06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Kramer06b,
author = {Jeff Kramer},
title = {Editorial: New Associate Editors Introduction},
journal = {{IEEE} Trans. Software Eng.},
volume = {32},
number = {10},
pages = {769--770},
year = {2006},
url = {https://doi.org/10.1109/TSE.2006.101},
doi = {10.1109/TSE.2006.101},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Kramer06b.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/ccgrid/Kramer06,
author = {Jeff Kramer},
title = {Component-Based Modeling, Analysis and Animation},
booktitle = {Sixth {IEEE} International Symposium on Cluster Computing and the
Grid (CCGrid 2006), 16-19 May 2006, Singapore},
pages = {62},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.ieeecomputersociety.org/10.1109/CCGRID.2006.129},
doi = {10.1109/CCGRID.2006.129},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccgrid/Kramer06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BontaBMK06,
author = {Edoardo Bont{\`{a}} and
Marco Bernardo and
Jeff Magee and
Jeff Kramer},
editor = {Paolo Ciancarini and
Herbert Wiklicky},
title = {Synthesizing Concurrency Control Components from Process Algebraic
Specifications},
booktitle = {Coordination Models and Languages, 8th International Conference, {COORDINATION}
2006, Bologna, Italy, June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4038},
pages = {28--43},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767954\_3},
doi = {10.1007/11767954\_3},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BontaBMK06.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/icse/KramerH06a,
author = {Jeff Kramer and
Orit Hazzan},
editor = {Jeff Kramer and
Orit Hazzan},
title = {The role of abstraction in software engineering},
booktitle = {Proceedings of the 2006 International Workshop on Role of Abstraction
in Software Engineering, {ROA} '06, Shanghai, China, May 21, 2006},
pages = {1--2},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1137620.1137621},
doi = {10.1145/1137620.1137621},
timestamp = {Thu, 27 Jan 2022 11:52:29 +0100},
biburl = {https://dblp.org/rec/conf/icse/KramerH06a.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/icse/KramerH06,
author = {Jeff Kramer and
Orit Hazzan},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {The role of abstraction in software engineering},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {1017--1018},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134481},
doi = {10.1145/1134285.1134481},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KramerH06.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/qsic/Kramer06,
author = {Jeff Kramer},
title = {Distributed Software Engineering: a Rigorous Architectural Approach},
booktitle = {Sixth International Conference on Quality Software {(QSIC} 2006),
26-28 October 2006, Beijing, China},
pages = {7--9},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/QSIC.2006.23},
doi = {10.1109/QSIC.2006.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/Kramer06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/McVeighKM06,
author = {Andrew McVeigh and
Jeff Kramer and
Jeff Magee},
title = {Using resemblance to support component reuse and evolution},
booktitle = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
pages = {49--56},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195.1181206},
doi = {10.1145/1181195.1181206},
timestamp = {Thu, 10 Feb 2022 15:29:19 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/McVeighKM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2006roa,
editor = {Jeff Kramer and
Orit Hazzan},
title = {Proceedings of the 2006 International Workshop on Role of Abstraction
in Software Engineering, {ROA} '06, Shanghai, China, May 21, 2006},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1137620},
doi = {10.1145/1137620},
timestamp = {Thu, 27 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/2006roa.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/OsterweilGKW05,
author = {Leon J. Osterweil and
Carlo Ghezzi and
Jeff Kramer and
Alexander L. Wolf},
title = {Editorial},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {14},
number = {4},
pages = {381--382},
year = {2005},
url = {https://doi.org/10.1145/1101815.1101816},
doi = {10.1145/1101815.1101816},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/OsterweilGKW05.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/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/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/sigsoft/KramerM05,
author = {Jeff Kramer and
Jeff Magee},
editor = {Michel Wermelinger and
Harald C. Gall},
title = {Engineering distributed software: a structural discipline},
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 = {283--285},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081706.1081709},
doi = {10.1145/1081706.1081709},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KramerM05.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/birthday/MageeK04,
author = {Jeff Magee and
Jeff Kramer},
editor = {Ali E. Abdallah and
Cliff B. Jones and
Jeff W. Sanders},
title = {Model-Based Design of Concurrent Programs},
booktitle = {Communicating Sequential Processes: The First 25 Years, Symposium
on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3525},
pages = {211--219},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11423348\_11},
doi = {10.1007/11423348\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MageeK04.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}
}
@proceedings{DBLP:conf/woss/2004,
editor = {David Garlan and
Jeff Kramer and
Alexander L. Wolf},
title = {Proceedings of the 1st {ACM} {SIGSOFT} Workshop on Self-Managed Systems,
{WOSS} 2004, Newport Beach, California, USA, October 31 - November
1, 2004},
publisher = {{ACM}},
year = {2004},
isbn = {1-58113-989-6},
timestamp = {Thu, 09 Mar 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woss/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/GarcezRNK03,
author = {Artur S. d'Avila Garcez and
Alessandra Russo and
Bashar Nuseibeh and
Jeff Kramer},
title = {Combining abductive reasoning and inductive learning to evolve requirements
specifications},
journal = {{IEE} Proc. Softw.},
volume = {150},
number = {1},
pages = {25--38},
year = {2003},
url = {https://doi.org/10.1049/ip-sen:20030207},
doi = {10.1049/IP-SEN:20030207},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/GarcezRNK03.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/NuseibehKF03,
author = {Bashar Nuseibeh and
Jeff Kramer and
Anthony Finkelstein},
editor = {Lori A. Clarke and
Laurie Dillon and
Walter F. Tichy},
title = {ViewPoints: meaningful relationships are difficult!},
booktitle = {Proceedings of the 25th International Conference on Software Engineering,
May 3-10, 2003, Portland, Oregon, {USA}},
pages = {676--683},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICSE.2003.1201254},
doi = {10.1109/ICSE.2003.1201254},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NuseibehKF03.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/iclp/RussoMNK02,
author = {Alessandra Russo and
Rob Miller and
Bashar Nuseibeh and
Jeff Kramer},
editor = {Peter J. Stuckey},
title = {An Abductive Approach for Analysing Event-Based Requirements Specifications},
booktitle = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
Denmark, July 29 - August 1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2401},
pages = {22--37},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45619-8\_3},
doi = {10.1007/3-540-45619-8\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/RussoMNK02.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:conf/woss/GeorgiadisMK02,
author = {Ioannis Georgiadis and
Jeff Magee and
Jeff Kramer},
editor = {David Garlan and
Jeff Kramer and
Alexander L. Wolf},
title = {Self-organising software architectures for distributed systems},
booktitle = {Proceedings of the First Workshop on Self-Healing Systems, {WOSS}
2002, Charleston, South Carolina, USA, November 18-19, 2002},
pages = {33--38},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/582128.582135},
doi = {10.1145/582128.582135},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woss/GeorgiadisMK02.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}
}
@proceedings{DBLP:conf/woss/2002,
editor = {David Garlan and
Jeff Kramer and
Alexander L. Wolf},
title = {Proceedings of the First Workshop on Self-Healing Systems, {WOSS}
2002, Charleston, South Carolina, USA, November 18-19, 2002},
publisher = {{ACM}},
year = {2002},
isbn = {1-58113-609-9},
timestamp = {Fri, 26 Nov 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woss/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/MendoncaK01,
author = {Nabor C. Mendon{\c{c}}a and
Jeff Kramer},
title = {An Approach for Recovering Distributed System Architectures},
journal = {Autom. Softw. Eng.},
volume = {8},
number = {3-4},
pages = {311--354},
year = {2001},
url = {https://doi.org/10.1023/A:1011217720860},
doi = {10.1023/A:1011217720860},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/MendoncaK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/CastroK01,
author = {Jaelson Castro and
Jeff Kramer},
title = {From software requirements to architectures {(STRAW01)}},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {26},
number = {6},
pages = {49--51},
year = {2001},
url = {https://doi.org/10.1145/505532.505542},
doi = {10.1145/505532.505542},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/CastroK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KramerGR01,
author = {Jeff Kramer and
David Garlan and
David S. Rosenblum},
title = {Guest Editors' Introduction: 1999 International Conference on Software
Engineering},
journal = {{IEEE} Trans. Software Eng.},
volume = {27},
number = {2},
pages = {97--98},
year = {2001},
url = {https://doi.org/10.1109/TSE.2001.908956},
doi = {10.1109/TSE.2001.908956},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KramerGR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Kramer01,
author = {Jeff Kramer},
title = {Making Meaningful Models for Mere Mortal},
booktitle = {2nd International Conference on Application of Concurrency to System
Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
pages = {11--12},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CSD.2001.981760},
doi = {10.1109/CSD.2001.981760},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Kramer01.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/icse/CastroK01,
author = {Jaelson Castro and
Jeff Kramer},
editor = {Hausi A. M{\"{u}}ller and
Mary Jean Harrold and
Wilhelm Sch{\"{a}}fer},
title = {From Software Requirements to Architectures},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering,
{ICSE} 2001, 12-19 May 2001, Toronto, Ontario, Canada},
pages = {764--765},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICSE.2001.919167},
doi = {10.1109/ICSE.2001.919167},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CastroK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GarcezRNK01,
author = {Artur S. d'Avila Garcez and
Alessandra Russo and
Bashar Nuseibeh and
Jeff Kramer},
title = {An Analysis-Revision Cycle to Evolve Requirements Specifications},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {354--358},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989828},
doi = {10.1109/ASE.2001.989828},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GarcezRNK01.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}
}
@article{DBLP:journals/computer/OmmeringLKM00,
author = {Rob C. van Ommering and
Frank van der Linden and
Jeff Kramer and
Jeff Magee},
title = {The Koala Component Model for Consumer Electronics Software},
journal = {Computer},
volume = {33},
number = {3},
pages = {78--85},
year = {2000},
url = {https://doi.org/10.1109/2.825699},
doi = {10.1109/2.825699},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/OmmeringLKM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FinkelsteinK00,
author = {Anthony Finkelstein and
Jeff Kramer},
editor = {Anthony Finkelstein},
title = {Software engineering: a roadmap},
booktitle = {22nd International Conference on on Software Engineering, Future of
Software Engineering Track, {ICSE} 2000, Limerick Ireland, June 4-11,
2000},
pages = {3--22},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/336512.336519},
doi = {10.1145/336512.336519},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FinkelsteinK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MageePGK00,
author = {Jeff Magee and
Nat Pryce and
Dimitra Giannakopoulou and
Jeff Kramer},
editor = {Carlo Ghezzi and
Mehdi Jazayeri and
Alexander L. Wolf},
title = {Graphical animation of behavior models},
booktitle = {Proceedings of the 22nd International Conference on on Software Engineering,
{ICSE} 2000, Limerick Ireland, June 4-11, 2000},
pages = {499--508},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337180.337368},
doi = {10.1145/337180.337368},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MageePGK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/OsterweilBEGKM00,
author = {Leon J. Osterweil and
Barry W. Boehm and
Michael Evangelist and
Volker Gruhn and
Jeff Kramer and
Edward F. Miller},
editor = {Carlo Ghezzi and
Mehdi Jazayeri and
Alexander L. Wolf},
title = {Why don't we get more (self?) respect: the positive impact of software
engineering research upon practice},
booktitle = {Proceedings of the 22nd International Conference on on Software Engineering,
{ICSE} 2000, Limerick Ireland, June 4-11, 2000},
pages = {660},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337180.343191},
doi = {10.1145/337180.343191},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/OsterweilBEGKM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/MageeKNBS00,
author = {Jeff Magee and
Jeff Kramer and
Bashar Nuseibeh and
David Bush and
Julia Sonander},
title = {Hybrid Model Visualization in Requirements and Design: {A} Preliminary
Investigation},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {3--10},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857223},
doi = {10.5555/857171.857223},
timestamp = {Fri, 13 May 2022 15:20:05 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/MageeKNBS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/OsterweilCEKRW00,
author = {Leon J. Osterweil and
Lori A. Clarke and
Michael Evangelist and
Jeff Kramer and
H. Dieter Rombach and
Alexander L. Wolf},
editor = {John C. Knight and
David S. Rosenblum},
title = {The impact project: determining the impact of software engineering
research upon practice (panel session)},
booktitle = {{ACM} {SIGSOFT} Symposium on Foundations of Software Engineering,
an Diego, California, USA, November 6-10, 2000, Proceedings},
pages = {108--109},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/355045.355060},
doi = {10.1145/355045.355060},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/OsterweilCEKRW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0097696,
author = {Jeff Magee and
Jeff Kramer},
title = {Concurrency - state models and Java programs},
publisher = {Wiley},
year = {1999},
isbn = {978-0-471-98710-9},
timestamp = {Wed, 20 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0097696.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/GiannakopoulouKC99,
author = {Dimitra Giannakopoulou and
Jeff Kramer and
Shing{-}Chi Cheung},
title = {Behaviour Analysis of Distributed Systems Using the Tracta Approach},
journal = {Autom. Softw. Eng.},
volume = {6},
number = {1},
pages = {7--35},
year = {1999},
url = {https://doi.org/10.1023/A:1008645800955},
doi = {10.1023/A:1008645800955},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/GiannakopoulouKC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dse/ZismanK99,
author = {Andrea Zisman and
Jeff Kramer},
title = {An approach to interoperation between autonomous database systems},
journal = {Distributed Syst. Eng.},
volume = {6},
number = {4},
pages = {135},
year = {1999},
url = {https://doi.org/10.1088/0967-1846/6/4/303},
doi = {10.1088/0967-1846/6/4/303},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dse/ZismanK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/RussoNK99,
author = {Alessandra Russo and
Bashar Nuseibeh and
Jeff Kramer},
title = {Restructuring requirement specifications},
journal = {{IEE} Proc. Softw.},
volume = {146},
number = {1},
pages = {44--50},
year = {1999},
url = {https://doi.org/10.1049/ip-sen:19990156},
doi = {10.1049/IP-SEN:19990156},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/RussoNK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/CheungK99,
author = {Shing{-}Chi Cheung and
Jeff Kramer},
title = {Checking Safety Properties Using Compositional Reachability Analysis},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {8},
number = {1},
pages = {49--78},
year = {1999},
url = {https://doi.org/10.1145/295558.295570},
doi = {10.1145/295558.295570},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/CheungK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/GiannakopoulouMK99,
author = {Dimitra Giannakopoulou and
Jeff Magee and
Jeff Kramer},
editor = {Oscar Nierstrasz and
Michel Lemoine},
title = {Checking Progress with Action Priority: Is it Fair?},
booktitle = {Software Engineering - ESEC/FSE'99, 7th European Software Engineering
Conference, Held Jointly with the 7th {ACM} {SIGSOFT} Symposium on
the Foundations of Software Engineering, Toulouse, France, September
1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1687},
pages = {511--527},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48166-4\_31},
doi = {10.1007/3-540-48166-4\_31},
timestamp = {Wed, 04 May 2022 13:01:10 +0200},
biburl = {https://dblp.org/rec/conf/esec/GiannakopoulouMK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/MendoncaK99,
author = {Nabor C. Mendon{\c{c}}a and
Jeff Kramer},
title = {Component Module Classification for Distributed Software Understanding},
booktitle = {1999 International Conference on Software Maintenance, {ICSM} 1999,
Oxford, England, UK, August 30 - September 3, 1999},
pages = {119},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICSM.1999.792595},
doi = {10.1109/ICSM.1999.792595},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/MendoncaK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KramerM99,
author = {Jeff Kramer and
Jeff Magee},
editor = {Rance Cleaveland},
title = {Modelling for Mere Mortals},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 5th
International Conference, {TACAS} '99, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'99,
Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1579},
pages = {1--18},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49059-0\_1},
doi = {10.1007/3-540-49059-0\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KramerM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/MageeKG99,
author = {Jeff Magee and
Jeff Kramer and
Dimitra Giannakopoulou},
editor = {Patrick Donohoe},
title = {Behaviour Analysis of Software Architectures},
booktitle = {Software Architecture, {TC2} First Working {IFIP} Conference on Software
Architecture (WICSA1), 22-24 February 1999, San Antonio, Texas, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {140},
pages = {35--50},
publisher = {Kluwer},
year = {1999},
timestamp = {Wed, 16 Oct 2002 13:28:43 +0200},
biburl = {https://dblp.org/rec/conf/wicsa/MageeKG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/1999,
editor = {Barry W. Boehm and
David Garlan and
Jeff Kramer},
title = {Proceedings of the 1999 International Conference on Software Engineering,
ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999},
publisher = {{ACM}},
year = {1999},
url = {http://dl.acm.org/citation.cfm?id=302405},
isbn = {1-58113-074-0},
timestamp = {Mon, 14 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KramerM98,
author = {Jeff Kramer and
Jeff Magee},
title = {Analysing dynamic change in distributed software architectures},
journal = {{IEE} Proc. Softw.},
volume = {145},
number = {5},
pages = {146--154},
year = {1998},
url = {https://doi.org/10.1049/ip-sen:19982297},
doi = {10.1049/IP-SEN:19982297},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/KramerM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ares/PerryK98,
author = {Dewayne E. Perry and
Jeff Kramer},
editor = {Frank van der Linden},
title = {Architectural Description},
booktitle = {Development and Evolution of Software Architectures for Product Families,
Second International {ESPRIT} {ARES} Workshop, Las Palmas de Gran
Canaria, Spain, February 26-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1429},
pages = {49--50},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-68383-6\_8},
doi = {10.1007/3-540-68383-6\_8},
timestamp = {Mon, 27 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ares/PerryK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ares/MendoncaK98,
author = {Nabor C. Mendon{\c{c}}a and
Jeff Kramer},
editor = {Frank van der Linden},
title = {An Experiment in Distributed Software Architecture Recovery},
booktitle = {Development and Evolution of Software Architectures for Product Families,
Second International {ESPRIT} {ARES} Workshop, Las Palmas de Gran
Canaria, Spain, February 26-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1429},
pages = {106--114},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-68383-6\_16},
doi = {10.1007/3-540-68383-6\_16},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ares/MendoncaK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cds/KramerM98,
author = {Jeff Kramer and
Jeff Magee},
title = {Analysing dynamic change in software architectures: a case study},
booktitle = {Fourth International Conference on Configurable Distributed Systems,
1998, Proceedings, Annapolis, MA, USA, 6 May, 1998},
pages = {91--100},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/CDS.1998.675762},
doi = {10.1109/CDS.1998.675762},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cds/KramerM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icre/RussoNK98,
author = {Alessandra Russo and
Bashar Nuseibeh and
Jeff Kramer},
title = {Restructuring Requirements Specifications For Managing Inconsistency
And Change: {A} Case Study},
booktitle = {3rd International Conference on Requirements Engineering {(ICRE} '98),
Putting Requirements Engineering to Practice, April 6-10, 1998, Colorado
Springs, CO, USA, Proceedings},
pages = {51},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICRE.1998.667808},
doi = {10.1109/ICRE.1998.667808},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icre/RussoNK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/MendoncaK98,
author = {Nabor C. Mendon{\c{c}}a and
Jeff Kramer},
title = {Developing an Approach for the Recovery of Distributed Software Architectures},
booktitle = {6th International Workshop on Program Comprehension {(IWPC} '98),
June 24-26, 1998, Ischia, Italy},
pages = {28--36},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/WPC.1998.693279},
doi = {10.1109/WPC.1998.693279},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/MendoncaK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/MageeKG98,
author = {Jeff Magee and
Jeff Kramer and
Dimitra Giannakopoulou},
title = {Software Architecture Directed Behaviour Analysis},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {144--146},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858306},
doi = {10.5555/857205.858306},
timestamp = {Mon, 16 May 2022 14:03:08 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/MageeKG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeecc/JellyGBDFPGKSS97,
author = {Innes Jelly and
Ian Gorton and
Helmar Burkhart and
Karsten M. Decker and
Alan D. Fekete and
John M. Potter and
Hassan Gomaa and
Jeffrey Kramer and
Douglas C. Schmidt and
John A. Stankovic},
title = {Software engineering for parallel and distributed systems},
journal = {{IEEE} Concurrency},
volume = {5},
number = {3},
pages = {16--27},
year = {1997},
url = {https://doi.org/10.1109/4434.605915},
doi = {10.1109/4434.605915},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieeecc/JellyGBDFPGKSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/HirataK97,
author = {Celso Massaki Hirata and
Jeff Kramer},
title = {An investigation of the use of world views with shared variables in
Time Warp},
journal = {Simul. Pract. Theory},
volume = {5},
number = {6},
pages = {515--533},
year = {1997},
url = {https://doi.org/10.1016/S0928-4869(96)00019-5},
doi = {10.1016/S0928-4869(96)00019-5},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simpra/HirataK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/ZismanK97,
author = {Andrea Zisman and
Jeff Kramer},
title = {Supporting Interoperability of Autonomous Hospital Databases: {A}
Case Study},
booktitle = {Proceedings of the First East-European Symposium on Advances in Databases
and Information Systems (ADBIS'97), St.-Petersburg, Russia, September
2-5, 1997. Volume 1: Regular Papers},
pages = {285--294},
publisher = {Nevsky Dialect},
year = {1997},
timestamp = {Thu, 21 Jun 2018 07:16:24 +0200},
biburl = {https://dblp.org/rec/conf/adbis/ZismanK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/KramerM97,
author = {Jeff Kramer and
Jeff Magee},
editor = {David Garlan and
Daniel Le M{\'{e}}tayer},
title = {Exposing the Skeleton in the Coordination Closet},
booktitle = {Coordination Languages and Models, Second International Conference,
{COORDINATION} '97, Berlin, Germany, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1282},
pages = {18--31},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63383-9\_70},
doi = {10.1007/3-540-63383-9\_70},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/KramerM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/MendoncaK97,
author = {Nabor C. Mendon{\c{c}}a and
Jeff Kramer},
title = {A Quality-Based Analysis of Architecture Recovery Environments},
booktitle = {1st Euromicro Working Conference on Software Maintenance and Reengineering
{(CSMR} '97), 17-19 March 1997, Berlin, Germany},
pages = {54--59},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/CSMR.1997.583006},
doi = {10.1109/CSMR.1997.583006},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/MendoncaK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/CheungGK98,
author = {Shing{-}Chi Cheung and
Dimitra Giannakopoulou and
Jeff Kramer},
editor = {Mehdi Jazayeri and
Helmut Schauer},
title = {Verification of Liveness Properties Using Compositional Reachability
Analysis},
booktitle = {Software Engineering - {ESEC/FSE} '97, 6th European Software Engineering
Conference Held Jointly with the 5th {ACM} {SIGSOFT} Symposium on
Foundations of Software Engineering, Zurich, Switzerland, September
22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1301},
pages = {227--243},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63531-9\_17},
doi = {10.1007/3-540-63531-9\_17},
timestamp = {Wed, 04 May 2022 13:01:10 +0200},
biburl = {https://dblp.org/rec/conf/esec/CheungGK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftdcs/MageeKG97,
author = {Jeff Magee and
Jeff Kramer and
Dimitra Giannakopoulou},
title = {Analysing the behaviour of distributed software architectures: a case
study},
booktitle = {6th {IEEE} Workshop on Future Trends of Distributed Computer Systems
{(FTDCS} '97), 29-31 October 1997, Tunis, Tunisia, Proceedings},
pages = {240--247},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/FTDCS.1997.644733},
doi = {10.1109/FTDCS.1997.644733},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftdcs/MageeKG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KramerM97,
author = {Jeff Kramer and
Jeff Magee},
editor = {W. Richards Adrion and
Alfonso Fuggetta and
Richard N. Taylor and
Anthony I. Wasserman},
title = {Distributed Software Architectures (Tutorial)},
booktitle = {Pulling Together, Proceedings of the 19th International Conference
on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997},
pages = {633--634},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/253228.253840},
doi = {10.1145/253228.253840},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KramerM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/MageeTK97,
author = {Jeff Magee and
Andrew Tseng and
Jeff Kramer},
title = {Composing distributed objects in {CORBA}},
booktitle = {The Third International Symposium on Autonomous Decentralized Systems,
{ISADS} 1997, Berlin, Germany, April 9.11, 1997},
pages = {257--263},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISADS.1997.590629},
doi = {10.1109/ISADS.1997.590629},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/MageeTK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/NgKM96,
author = {Keng Ng and
Jeff Kramer and
Jeff Magee},
title = {A {CASE} Tool for Software Architecture Design},
journal = {Autom. Softw. Eng.},
volume = {3},
number = {3/4},
pages = {261--284},
year = {1996},
url = {https://doi.org/10.1007/BF00132569},
doi = {10.1007/BF00132569},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/NgKM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/NuseibehFK96,
author = {Bashar Nuseibeh and
Anthony Finkelstein and
Jeff Kramer},
title = {Method engineering for multi-perspective software development},
journal = {Inf. Softw. Technol.},
volume = {38},
number = {4},
pages = {267--274},
year = {1996},
url = {https://doi.org/10.1016/0950-5849(95)01054-8},
doi = {10.1016/0950-5849(95)01054-8},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/NuseibehFK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/KramerW96,
author = {Jeff Kramer and
Alexander L. Wolf},
title = {Succeedings of the 8th international workshop on software specification
and design},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {21},
number = {5},
pages = {21--35},
year = {1996},
url = {https://doi.org/10.1145/235969.235976},
doi = {10.1145/235969.235976},
timestamp = {Wed, 02 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/KramerW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/CheungK96,
author = {Shing{-}Chi Cheung and
Jeff Kramer},
title = {Context Constraints for Compositional Reachability Analysis},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {5},
number = {4},
pages = {334--377},
year = {1996},
url = {https://doi.org/10.1145/235321.235323},
doi = {10.1145/235321.235323},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/CheungK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cds/Moazami-GoudarziK96,
author = {Kaveh M. Moazami{-}Goudarzi and
Jeff Kramer},
title = {Maintaining node consistency in the face of dynamic change},
booktitle = {Third International Conference on Configurable Distributed Systems,
1996, Proceedings, Annapolis, MA, USA, 1998},
pages = {62--69},
publisher = {{IEEE}},
year = {1996},
url = {https://doi.org/10.1109/CDS.1996.509347},
doi = {10.1109/CDS.1996.509347},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cds/Moazami-GoudarziK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CheungK96,
author = {Shing{-}Chi Cheung and
Jeff Kramer},
editor = {H. Dieter Rombach and
T. S. E. Maibaum and
Marvin V. Zelkowitz},
title = {Checking Subsystem Safety Properties in Compositional Reachability
Analysis},
booktitle = {18th International Conference on Software Engineering, Berlin, Germany,
March 25-29, 1996, Proceedings},
pages = {144--154},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {http://portal.acm.org/citation.cfm?id=227726.227755},
timestamp = {Mon, 17 Sep 2012 17:53:34 +0200},
biburl = {https://dblp.org/rec/conf/icse/CheungK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MageeK96,
author = {Jeff Magee and
Jeff Kramer},
editor = {David Garlan},
title = {Dynamic Structure in Software Architectures},
booktitle = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
October 16-18, 1996},
pages = {3--14},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/239098.239104},
doi = {10.1145/239098.239104},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/MageeK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MageeK96a,
author = {Jeff Magee and
Jeff Kramer},
editor = {Alexander L. Wolf and
Anthony Finkelstein and
George Spanoudakis and
Laura Vidal},
title = {Self organising software architectures},
booktitle = {Joint Proceedings of the Second International Software Architecture
Workshop {(ISAW-2)} and International Workshop on Multiple Perspectives
in Software Development (Viewpoints '96) on {SIGSOFT} '96 workshops,
{ISAW} '96, San Francisco, California, {USA}},
pages = {35--38},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/243327.243345},
doi = {10.1145/243327.243345},
timestamp = {Fri, 11 Feb 2022 12:39:52 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MageeK96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MendoncaK96,
author = {Nabor C. Mendon{\c{c}}a and
Jeff Kramer},
editor = {Alexander L. Wolf and
Anthony Finkelstein and
George Spanoudakis and
Laura Vidal},
title = {Requirements for an effective architecture recovery framework},
booktitle = {Joint Proceedings of the Second International Software Architecture
Workshop {(ISAW-2)} and International Workshop on Multiple Perspectives
in Software Development (Viewpoints '96) on {SIGSOFT} '96 workshops,
{ISAW} '96, San Francisco, California, {USA}},
pages = {101--105},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/243327.243620},
doi = {10.1145/243327.243620},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/MendoncaK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/CheungK95,
author = {Shing{-}Chi Cheung and
Jeff Kramer},
title = {Contextual Local Analysis in the Design of Distributed Systems},
journal = {Autom. Softw. Eng.},
volume = {2},
number = {1},
pages = {5--32},
year = {1995},
url = {https://doi.org/10.1007/BF00873407},
doi = {10.1007/BF00873407},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/CheungK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/HirataK95,
author = {Celso Massaki Hirata and
Jeff Kramer},
title = {An implementation of a technique for sharing variables in Time Warp},
booktitle = {Proceedings 28st Annual Simulation Symposium {(SS} '95), April 25-28,
1995, Santa Barbara, California, {USA}},
pages = {13--21},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/SIMSYM.1995.393598},
doi = {10.1109/SIMSYM.1995.393598},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/anss/HirataK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/MageeDEK95,
author = {Jeff Magee and
Naranker Dulay and
Susan Eisenbach and
Jeff Kramer},
editor = {Wilhelm Sch{\"{a}}fer and
Pere Botella},
title = {Specifying Distributed Software Architectures},
booktitle = {5th European Software Engineering Conference, Sitges, Spain, September
25-28, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {989},
pages = {137--153},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60406-5\_12},
doi = {10.1007/3-540-60406-5\_12},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/esec/MageeDEK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/NuseibehKFL95,
author = {Bashar Nuseibeh and
Jeff Kramer and
Anthony Finkelstein and
Ulf Leonhardt},
editor = {Wilhelm Sch{\"{a}}fer},
title = {Decentralised Process Modelling},
booktitle = {Software Process Technology, 4th European Workshop, {EWSPT} '95, Noordwijkerhout,
The Netherlands, April 3-5, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {913},
pages = {185--188},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59205-9\_55},
doi = {10.1007/3-540-59205-9\_55},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ewspt/NuseibehKFL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/NgKMD95,
author = {Keng Ng and
Jeff Kramer and
Jeff Magee and
Naranker Dulay},
title = {The Software Architect's Assistant-a visual environment for distributed
programming},
booktitle = {28th Annual Hawaii International Conference on System Sciences (HICSS-28),
January 3-6, 1995, Kihei, Maui, Hawaii, {USA}},
pages = {254--263},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/HICSS.1995.375454},
doi = {10.1109/HICSS.1995.375454},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/NgKMD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LeonhardtKN95,
author = {Ulf Leonhardt and
Jeff Kramer and
Bashar Nuseibeh},
editor = {Dewayne E. Perry and
Ross Jeffery and
David Notkin},
title = {Decentralised Process Enactment in a Multi-Perspective Development
Environment},
booktitle = {17th International Conference on Software Engineering, Seattle, Washington,
USA, April 23-30, 1995, Proceedings},
pages = {255--264},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/225014.225038},
doi = {10.1145/225014.225038},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LeonhardtKN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/CraneDFJMST95,
author = {Steve Crane and
Naranker Dulay and
Halldor Foss{\aa} and
Jeff Kramer and
Jeff Magee and
Morris Sloman and
Kevin P. Twidle},
editor = {Adarshpal S. Sethi and
Yves Raynaud and
Fabienne Faure{-}Vincent},
title = {Configuration management for distributed software services},
booktitle = {Integrated Network Management IV, Proceedings of the Fourth International
Symposium on Integrated Network Management, Santa Barbara, CA, USA,
1995},
series = {{IFIP} Conference Proceedings},
volume = {11},
pages = {29--42},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Wed, 20 Nov 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/im/CraneDFJMST95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CheungK95,
author = {Shing{-}Chi Cheung and
Jeff Kramer},
editor = {Gail E. Kaiser},
title = {Compositional Reachability Analysis of Finite-State Distributed Systems
with User-Specified Constraints},
booktitle = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
10-13, 1995},
pages = {140--150},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/222124.222149},
doi = {10.1145/222124.222149},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/CheungK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dse/MageeDK94,
author = {Jeff Magee and
Naranker Dulay and
Jeff Kramer},
title = {Regis: a constructive development environment for distributed programs},
journal = {Distributed Syst. Eng.},
volume = {1},
number = {5},
pages = {304--312},
year = {1994},
url = {https://doi.org/10.1088/0967-1846/1/5/005},
doi = {10.1088/0967-1846/1/5/005},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dse/MageeDK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FinkelsteinGHKN94,
author = {Anthony Finkelstein and
Dov M. Gabbay and
Anthony Hunter and
Jeff Kramer and
Bashar Nuseibeh},
title = {Inconsistency Handling in Multperspective Specifications},
journal = {{IEEE} Trans. Software Eng.},
volume = {20},
number = {8},
pages = {569--578},
year = {1994},
url = {https://doi.org/10.1109/32.310667},
doi = {10.1109/32.310667},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/FinkelsteinGHKN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CheungK94,
author = {Shing{-}Chi Cheung and
Jeff Kramer},
title = {Tractable Dataflow Analysis for Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {20},
number = {8},
pages = {579--593},
year = {1994},
url = {https://doi.org/10.1109/32.310668},
doi = {10.1109/32.310668},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CheungK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/NuseibehKF94,
author = {Bashar Nuseibeh and
Jeff Kramer and
Anthony Finkelstein},
title = {A Framework for Expressing the Relationships Between Multiple Views
in Requirements Specification},
journal = {{IEEE} Trans. Software Eng.},
volume = {20},
number = {10},
pages = {760--773},
year = {1994},
url = {https://doi.org/10.1109/32.328995},
doi = {10.1109/32.328995},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/NuseibehKF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cds/MageeDK94,
author = {Jeff N. Magee and
Naranker Dulay and
Jeff Kramer},
title = {A constructive development environment for parallel and distributed
programs},
booktitle = {Second International Workshop on Configurable Distributed Systems,
1994, Proceedings, Pittsburgh, {PA} , USA, 21-23 March, 1994},
pages = {4--14},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/IWCDS.1994.289940},
doi = {10.1109/IWCDS.1994.289940},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cds/MageeDK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cds/EisenbachKM94,
author = {Susan Eisenbach and
Jeff Kramer and
Jeff N. Magee},
title = {{REGIS-DARWIN} specified in the {\(\pi\)}-calculus},
booktitle = {Second International Workshop on Configurable Distributed Systems,
1994, Proceedings, Pittsburgh, {PA} , USA, 21-23 March, 1994},
pages = {213},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/IWCDS.1994.289915},
doi = {10.1109/IWCDS.1994.289915},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cds/EisenbachKM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MageeEK94,
author = {Jeff Magee and
Susan Eisenbach and
Jeff Kramer},
editor = {Kenneth P. Birman and
Friedemann Mattern and
Andr{\'{e}} Schiper},
title = {Modelling Darwin in the Pi-Caculus},
booktitle = {Theory and Practice in Distributed Systems, International Workshop,
Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {938},
pages = {133--152},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60042-6\_10},
doi = {10.1007/3-540-60042-6\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MageeEK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/KremienK94,
author = {Orly Kremien and
Jeff Kramer},
title = {Providing High Performance Distributed Computing Through Scalable
Computation Servers},
booktitle = {Proceedings of the Third International Symposium on High Performance
Distributed Computing, {HPDC} '94, San Francisco, CA, USA, April 2-5,
1994},
pages = {70--77},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/HPDC.1994.340258},
doi = {10.1109/HPDC.1994.340258},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/hpdc/KremienK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Kramer94,
author = {Jeff Kramer},
editor = {Bruno Fadini and
Leon J. Osterweil and
Axel van Lamsweerde},
title = {Distributed Software Engineering},
booktitle = {Proceedings of the 16th International Conference on Software Engineering,
Sorrento, Italy, May 16-21, 1994},
pages = {253--263},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1994},
url = {http://portal.acm.org/citation.cfm?id=257734.257777},
timestamp = {Mon, 14 May 2012 18:17:12 +0200},
biburl = {https://dblp.org/rec/conf/icse/Kramer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CheungK94,
author = {Shing{-}Chi Cheung and
Jeff Kramer},
editor = {Bruno Fadini and
Leon J. Osterweil and
Axel van Lamsweerde},
title = {An Integrated Method for Effective Behaviour Analysis of Distributed
Systems},
booktitle = {Proceedings of the 16th International Conference on Software Engineering,
Sorrento, Italy, May 16-21, 1994},
pages = {309--320},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1994},
url = {http://portal.acm.org/citation.cfm?id=257734.257792},
timestamp = {Mon, 14 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/CheungK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Kramer94a,
author = {Jeff Kramer},
editor = {Bruno Fadini and
Leon J. Osterweil and
Axel van Lamsweerde},
title = {Exoskeletal Software},
booktitle = {Proceedings of the 16th International Conference on Software Engineering,
Sorrento, Italy, May 16-21, 1994},
pages = {366},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1994},
url = {http://portal.acm.org/citation.cfm?id=257734.257810},
timestamp = {Mon, 14 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Kramer94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/FinkelsteinKABDE93,
author = {Anthony Finkelstein and
Jeff Kramer and
Samson Abramsky and
Krysia Broda and
Sophia Drossopoulou and
Susan Eisenbach},
title = {An Integrated Engineering Study Scheme in Computing},
journal = {Comput. J.},
volume = {36},
number = {4},
pages = {320--334},
year = {1993},
url = {https://doi.org/10.1093/comjnl/36.4.320},
doi = {10.1093/COMJNL/36.4.320},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/FinkelsteinKABDE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/MageeDK93,
author = {Jeff Magee and
Naranker Dulay and
Jeff Kramer},
title = {Structuring parallel and distributed programs},
journal = {Softw. Eng. J.},
volume = {8},
number = {2},
pages = {73--82},
year = {1993},
url = {https://doi.org/10.1049/sej.1993.0011},
doi = {10.1049/SEJ.1993.0011},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/MageeDK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeecc/KremienKM93,
author = {Orly Kremien and
Jeff Kramer and
Jeff Magee},
title = {Scalable, adaptive load sharing for distributed systems},
journal = {{IEEE} Parallel Distributed Technol. Syst. Appl.},
volume = {1},
number = {3},
pages = {62--70},
year = {1993},
url = {https://doi.org/10.1109/88.242447},
doi = {10.1109/88.242447},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieeecc/KremienKM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/FinkelsteinGHKN93,
author = {Anthony Finkelstein and
Dov M. Gabbay and
Anthony Hunter and
Jeff Kramer and
Bashar Nuseibeh},
editor = {Ian Sommerville and
Manfred Paul},
title = {Inconsistency Handling in Multi-Perspective Specifications},
booktitle = {Software Engineering - {ESEC} '93, 4th European Software Engineering
Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {717},
pages = {84--99},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57209-0\_7},
doi = {10.1007/3-540-57209-0\_7},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esec/FinkelsteinGHKN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/CheungK93,
author = {Shing{-}Chi Cheung and
Jeff Kramer},
editor = {Ian Sommerville and
Manfred Paul},
title = {Tractable Flow Analysis for Anomaly Detection in Distributed Programs},
booktitle = {Software Engineering - {ESEC} '93, 4th European Software Engineering
Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {717},
pages = {283--300},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57209-0\_20},
doi = {10.1007/3-540-57209-0\_20},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esec/CheungK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KramerFN93,
author = {Jeff Kramer and
Anthony Finkelstein and
Bashar Nuseibeh},
editor = {David Alex Lamb},
title = {Method Integration and Support for Distributed Software Development:
An Overview},
booktitle = {Studies of Software Design, ICSE'93 Workshop, Baltimore, Maryland,
USA, May 17-18, 1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1078},
pages = {115--126},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0030524},
doi = {10.1007/BFB0030524},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icse/KramerFN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NuseibehKF93,
author = {Bashar Nuseibeh and
Jeff Kramer and
Anthony Finkelstein},
editor = {Victor R. Basili and
Richard A. DeMillo and
Takuya Katayama},
title = {Expressing the Relationships Between Multiple Views in Requirements
Specification},
booktitle = {Proceedings of the 15th International Conference on Software Engineering,
Baltimore, Maryland, USA, May 17-21, 1993},
pages = {187--196},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1993},
url = {http://portal.acm.org/citation.cfm?id=257572.257610},
timestamp = {Mon, 14 May 2012 18:17:27 +0200},
biburl = {https://dblp.org/rec/conf/icse/NuseibehKF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/NuseibehFK93,
author = {Bashar Nuseibeh and
Anthony Finkelstein and
Jeff Kramer},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Fine-Grain Process Modelling},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {42--46},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951815},
doi = {10.5555/951807.951815},
timestamp = {Fri, 13 May 2022 15:10:38 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/NuseibehFK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/PartridgeGBK93,
author = {D. Partridge and
David Garlan and
David R. Barstow and
Jeff Kramer},
title = {Should we specify systems or domain?},
booktitle = {Proceedings of {IEEE} International Symposium on Requirements Engineering,
{RE} 1993, San Diego, California, USA, January 4-6, 1993},
pages = {77--80},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/ISRE.1993.324833},
doi = {10.1109/ISRE.1993.324833},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/PartridgeGBK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CheungK93,
author = {Shing{-}Chi Cheung and
Jeff Kramer},
editor = {David Notkin},
title = {Enhancing Compositional Reachability Analysis with Context Constraints},
booktitle = {Proceedings of the First {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, {SIGSOFT} 1993, Los Angeles, California,
USA, December 7-10, 1993},
pages = {115--125},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/256428.167071},
doi = {10.1145/256428.167071},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/CheungK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KramerMSD92,
author = {Jeff Kramer and
Jeff Magee and
Morris Sloman and
Naranker Dulay},
title = {Configuring object-based distributed programs in {REX}},
journal = {Softw. Eng. J.},
volume = {7},
number = {2},
pages = {139--149},
year = {1992},
url = {https://doi.org/10.1049/sej.1992.0015},
doi = {10.1049/SEJ.1992.0015},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/KramerMSD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/FinkelsteinKNFG92,
author = {Anthony Finkelstein and
Jeff Kramer and
Bashar Nuseibeh and
L. Finkelstein and
Michael Goedicke},
title = {Viewpoints: {A} Framework for Integrating Multiple Perspectives in
System Development},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {2},
number = {1},
pages = {31--57},
year = {1992},
url = {https://doi.org/10.1142/S0218194092000038},
doi = {10.1142/S0218194092000038},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/FinkelsteinKNFG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/KremienK92,
author = {Orly Kremien and
Jeff Kramer},
title = {Methodical Analysis of Adaptive Load Sharing Algorithms},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {3},
number = {6},
pages = {747--760},
year = {1992},
url = {https://doi.org/10.1109/71.180629},
doi = {10.1109/71.180629},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/KremienK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cds/MageeDK92,
author = {Jeff N. Magee and
Naranker Dulay and
Jeff Kramer},
title = {Structuring parallel and distributed programs},
booktitle = {First International Workshop on Configurable Distributed Systems,
1992, Proceedings, London, UK, 25-27 May, 1992},
pages = {102--117},
publisher = {{IEEE}},
year = {1992},
url = {https://ieeexplore.ieee.org/document/152132/},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cds/MageeDK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cds/KremienK92,
author = {Orly Kremien and
Jeff Kramer},
title = {Flexible load-sharing in configurable distributed systems},
booktitle = {First International Workshop on Configurable Distributed Systems,
1992, Proceedings, London, UK, 25-27 May, 1992},
pages = {224--236},
publisher = {{IEEE}},
year = {1992},
url = {https://ieeexplore.ieee.org/document/152142/},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cds/KremienK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/KramerMS92,
author = {Jeff Kramer and
Jeff Magee and
Morris Sloman},
editor = {Jean{-}Pierre Ban{\^{a}}tre},
title = {Configuring distributed systems},
booktitle = {Proceedings of the 5th {ACM} {SIGOPS} European Workshop: Models and
Paradigms for Distributed Systems Structuring, 1992, Mont Saint-Michel,
France, September 21-23, 1992},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/506378.506406},
doi = {10.1145/506378.506406},
timestamp = {Thu, 07 Nov 2019 10:24:25 +0100},
biburl = {https://dblp.org/rec/conf/sigopsE/KramerMS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/Kramer91,
author = {Jeff Kramer},
editor = {Axel van Lamsweerde and
Alfonso Fuggetta},
title = {{CASE} Support for the Software Process: {A} Research Viewpoint},
booktitle = {{ESEC} '91, 3rd European Software Engineering Conference, Milan, Italy,
October 21-24, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {550},
pages = {499--503},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540547428\_73},
doi = {10.1007/3540547428\_73},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/esec/Kramer91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sde/KramerF91,
author = {Jeff Kramer and
Anthony Finkelstein},
editor = {Albert Endres and
Herbert Weber},
title = {A Configurable Framework for Method and Tool Integration},
booktitle = {Software Development Environments and {CASE} Technology, European
Symposium, K{\"{o}}nigswinter, Germany, June 17-19, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {509},
pages = {233--257},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54194-2\_38},
doi = {10.1007/3-540-54194-2\_38},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sde/KramerF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KramerM90,
author = {Jeff Kramer and
Jeff Magee},
title = {The Evolving Philosophers Problem: Dynamic Change Management},
journal = {{IEEE} Trans. Software Eng.},
volume = {16},
number = {11},
pages = {1293--1306},
year = {1990},
url = {https://doi.org/10.1109/32.60317},
doi = {10.1109/32.60317},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KramerM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/KramerMF90,
author = {Jeff Kramer and
Jeff Magee and
Anthony Finkelstein},
title = {A Constructive Approach to the Design of Distributed Systems},
booktitle = {10th International Conference on Distributed Computing Systems {(ICDCS}
1990), May 28 - June 1, 1990, Paris, France},
pages = {580--587},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/ICDCS.1990.89266},
doi = {10.1109/ICDCS.1990.89266},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/KramerMF90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067851,
author = {Morris Sloman and
Jeff Kramer},
title = {Verteilte Systeme und Rechnernetze},
series = {Hanser Studienb{\"{u}}cher},
publisher = {Hanser},
year = {1989},
isbn = {978-3-446-15346-2},
timestamp = {Thu, 05 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067851.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/KramerMN89,
author = {Jeff Kramer and
Jeff Magee and
Keng Ng},
title = {Graphical Configuration Programming: The Structural Description, Construction
and Evolution of Software Systems Using Graphics},
journal = {Computer},
volume = {22},
number = {10},
pages = {53--65},
year = {1989},
url = {https://doi.org/10.1109/2.42014},
doi = {10.1109/2.42014},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/KramerMN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MageeKS89,
author = {Jeff Magee and
Jeff Kramer and
Morris Sloman},
title = {Constructing Distributed Systems in Conic},
journal = {{IEEE} Trans. Software Eng.},
volume = {15},
number = {6},
pages = {663--675},
year = {1989},
url = {https://doi.org/10.1109/32.24720},
doi = {10.1109/32.24720},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/MageeKS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/am/FinkelsteinGKN89,
author = {Anthony Finkelstein and
Michael Goedicke and
Jeff Kramer and
Celso Niskier},
editor = {Jan A. Bergstra and
Loe M. G. Feijs},
title = {Viewpoint Oriented Software Development: Mehtods and Viewpoints in
Requirements Engineering},
booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from
a workshop in Mierlo, The Netherlands, September 1989]},
series = {Lecture Notes in Computer Science},
volume = {490},
pages = {29--54},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-53912-3\_17},
doi = {10.1007/3-540-53912-3\_17},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/am/FinkelsteinGKN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/KramerMS89,
author = {Jeff Kramer and
Jeff Magee and
Morris Sloman},
editor = {Sol J. Greenspan},
title = {Configuration support for system description, construction and evolution},
booktitle = {Proceedings of the 5th International Workshop on Software Specification
and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
pages = {28--33},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/75199.75204},
doi = {10.1145/75199.75204},
timestamp = {Fri, 18 Feb 2022 16:26:12 +0100},
biburl = {https://dblp.org/rec/conf/iwssd/KramerMS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KramerNPW88,
author = {Jeff Kramer and
Keng Ng and
Colin Potts and
Ken Whitehead},
title = {Tool support for requirements analysis},
journal = {Softw. Eng. J.},
volume = {3},
number = {3},
pages = {86--96},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0011},
doi = {10.1049/SEJ.1988.0011},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/KramerNPW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/MukherjeeKM88,
author = {Animesh Mukherjee and
Jeff Kramer and
Jeff Magee},
title = {A distributed file server for embedded applications},
journal = {Softw. Eng. J.},
volume = {3},
number = {5},
pages = {142--148},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0017},
doi = {10.1049/SEJ.1988.0017},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/MukherjeeKM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/KramerK88,
author = {Jeff Kramer and
Nr Keng},
title = {Animation of Requirements Specifications},
journal = {Softw. Pract. Exp.},
volume = {18},
number = {8},
pages = {749--774},
year = {1988},
url = {https://doi.org/10.1002/spe.4380180804},
doi = {10.1002/SPE.4380180804},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/KramerK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/KramerM88,
author = {Jeff Kramer and
Jeff Magee},
title = {Change management of distributed systems},
booktitle = {Proceedings of the 3rd {ACM} {SIGOPS} European Workshop: Autonomy
or Interdependence in Distributed Systems? Cambridge, UK, September
18-21, 1988},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/504092.504113},
doi = {10.1145/504092.504113},
timestamp = {Thu, 07 Nov 2019 10:24:25 +0100},
biburl = {https://dblp.org/rec/conf/sigopsE/KramerM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067172,
author = {Morris Sloman and
Jeff Kramer},
title = {Distributed systems and computer networks},
series = {Prentice Hall International series in computer science},
publisher = {Prentice Hall},
year = {1987},
isbn = {978-0-13-215849-7},
timestamp = {Tue, 12 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067172.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/DulayKMST87,
author = {Naranker Dulay and
Jeff Kramer and
Jeff Magee and
Morris Sloman and
Kevin P. Twidle},
editor = {J{\"{u}}rgen Nehmer},
title = {Distributed System Construction: Experience with the Conic Toolkit},
booktitle = {Experiences with Distributed Systems, International Workshop, Kaiserslautern,
FRG, September 28-30, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {309},
pages = {189--212},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19333-2\_9},
doi = {10.1007/3-540-19333-2\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/DulayKMST87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KramerM85,
author = {Jeff Kramer and
Jeff Magee},
title = {Dynamic Configuration for Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {11},
number = {4},
pages = {424--436},
year = {1985},
url = {https://doi.org/10.1109/TSE.1985.232231},
doi = {10.1109/TSE.1985.232231},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KramerM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/KramerMS84,
author = {Jeff Kramer and
Jeff Magee and
Morris Sloman},
title = {A software architecture for distributed computer control systems},
journal = {Autom.},
volume = {20},
number = {1},
pages = {93--102},
year = {1984},
url = {https://doi.org/10.1016/0005-1098(84)90068-2},
doi = {10.1016/0005-1098(84)90068-2},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/KramerMS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/KramerM84,
author = {Jeff Kramer and
Jeff Magee},
editor = {Colin Potts},
title = {Environment requirements for system evolution},
booktitle = {Proceedings of a Software Process Workshop, February 1984, Egham,
{UK}},
pages = {77--85},
publisher = {{IEEE} Computer Society},
year = {1984},
timestamp = {Tue, 06 May 2003 08:17:54 +0200},
biburl = {https://dblp.org/rec/conf/ispw/KramerM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/GoldsackK82,
author = {Stephen J. Goldsack and
Jeff Kramer},
title = {Invariants in the application-oriented specification of control systems},
journal = {Autom.},
volume = {18},
number = {1},
pages = {71--76},
year = {1982},
url = {https://doi.org/10.1016/0005-1098(82)90028-0},
doi = {10.1016/0005-1098(82)90028-0},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/GoldsackK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/Kramer82,
author = {Jeff Kramer},
editor = {El{\"{o}}d Knuth and
Erich J. Neuhold},
title = {Distributed computer systems: two views},
booktitle = {Specification and Design of Software Systems, Conference on Operating
Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {152},
pages = {84--98},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0051561},
doi = {10.1007/BFB0051561},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/os/Kramer82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/KramerMS81,
author = {Jeff Kramer and
Jeff Magee and
Morris Sloman},
title = {Intertask Communication Primitives for Distributed Computer Control
Systems},
booktitle = {Proceedings of the 2nd International Conference on Distributed Computing
Systems, Paris, France, 1981},
pages = {404--411},
publisher = {{IEEE} Computer Society},
year = {1981},
timestamp = {Thu, 22 Sep 2005 10:45:08 +0200},
biburl = {https://dblp.org/rec/conf/icdcs/KramerMS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KramerC79,
author = {Jeff Kramer and
Jim Cunningham},
editor = {Friedrich L. Bauer and
Leon G. Stucki and
Meir M. Lehman},
title = {Invariants for Specifications},
booktitle = {Proceedings of the 4th International Conference on Software Engineering,
Munich, Germany, September 1979},
pages = {183--193},
publisher = {{IEEE} Computer Society},
year = {1979},
url = {http://dl.acm.org/citation.cfm?id=802938},
timestamp = {Mon, 14 May 2012 18:17:19 +0200},
biburl = {https://dblp.org/rec/conf/icse/KramerC79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/CunninghamK78,
author = {Jim Cunningham and
Jeff Kramer},
title = {An Exercise in Program Design Using {SIMULA} Class Invariants},
journal = {Softw. Pract. Exp.},
volume = {8},
number = {3},
pages = {355--369},
year = {1978},
url = {https://doi.org/10.1002/spe.4380080311},
doi = {10.1002/SPE.4380080311},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/CunninghamK78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:06 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:
