BibTeX records: Andrea Zisman

download as .bib file

@article{DBLP:journals/sigsoft/WeynsCMTABBBCDEGGYGHLLMMMRPQSVZ23,
  author       = {Danny Weyns and
                  Radu Calinescu and
                  Raffaela Mirandola and
                  Kenji Tei and
                  Maribel Acosta and
                  Amel Bennaceur and
                  Nicolas Boltz and
                  Tom{\'{a}}s Bures and
                  Javier C{\'{a}}mara and
                  Ada Diaconescu and
                  Gregor Engels and
                  Simos Gerasimou and
                  Ilias Gerostathopoulos and
                  Sinem Getir Yaman and
                  Vincenzo Grassi and
                  Sebastian Hahner and
                  Emmanuel Letier and
                  Marin Litoiu and
                  Lina Marsso and
                  Angelika Musil and
                  Juergen Musil and
                  Gena{\'{\i}}na Nunes Rodrigues and
                  Diego Perez{-}Palacin and
                  Federico Quin and
                  Patrizia Scandurra and
                  Antonio Vallecillo and
                  Andrea Zisman},
  title        = {Towards a Research Agenda for Understanding and ManagingUncertainty
                  in Self-Adaptive Systems},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {48},
  number       = {4},
  pages        = {20--36},
  year         = {2023},
  url          = {https://doi.org/10.1145/3617946.3617951},
  doi          = {10.1145/3617946.3617951},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/WeynsCMTABBBCDEGGYGHLLMMMRPQSVZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/WelshAFHZN23,
  author       = {Thomas Welsh and
                  Faeq Alrimawi and
                  Ali Farahani and
                  Diane Hassett and
                  Andrea Zisman and
                  Bashar Nuseibeh},
  title        = {Topology-Aware Adaptive Inspection for Fraud in {I4.0} Supply Chains},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {19},
  number       = {4},
  pages        = {5656--5666},
  year         = {2023},
  url          = {https://doi.org/10.1109/TII.2022.3205369},
  doi          = {10.1109/TII.2022.3205369},
  timestamp    = {Thu, 27 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/WelshAFHZN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/BarbosaYZN23,
  author       = {Davi Monteiro Barbosa and
                  Yijun Yu and
                  Andrea Zisman and
                  Bashar Nuseibeh},
  title        = {Adaptive Observability for Forensic-Ready Microservice Systems},
  journal      = {{IEEE} Trans. Serv. Comput.},
  volume       = {16},
  number       = {5},
  pages        = {3196--3209},
  year         = {2023},
  url          = {https://doi.org/10.1109/TSC.2023.3290474},
  doi          = {10.1109/TSC.2023.3290474},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tsc/BarbosaYZN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BennaceurHNZ23,
  author       = {Amel Bennaceur and
                  Diane Hassett and
                  Bashar Nuseibeh and
                  Andrea Zisman},
  title        = {Values@Runtime: An Adaptive Framework for Operationalising Values},
  booktitle    = {45th {IEEE/ACM} International Conference on Software Engineering:
                  Software Engineering in Society, SEIS@ICSE 2023, Melbourne, Australia,
                  May 14-20, 2023},
  pages        = {175--179},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICSE-SEIS58686.2023.00024},
  doi          = {10.1109/ICSE-SEIS58686.2023.00024},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/BennaceurHNZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/AkikiZB22,
  author       = {Paul A. Akiki and
                  Andrea Zisman and
                  Amel Bennaceur},
  editor       = {Joaquim Filipe and
                  Michal Smialek and
                  Alexander Brodsky and
                  Slimane Hammoudi},
  title        = {{SERIES:} {A} Task Modelling Notation for Resource-driven Adaptation},
  booktitle    = {Proceedings of the 24th International Conference on Enterprise Information
                  Systems, {ICEIS} 2022, Online Streaming, April 25-27, 2022, Volume
                  2},
  pages        = {29--39},
  publisher    = {{SCITEPRESS}},
  year         = {2022},
  url          = {https://doi.org/10.5220/0011001800003179},
  doi          = {10.5220/0011001800003179},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/AkikiZB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/AkikiZB22a,
  author       = {Paul A. Akiki and
                  Andrea Zisman and
                  Amel Bennaceur},
  editor       = {Joaquim Filipe and
                  Michal Smialek and
                  Alexander Brodsky and
                  Slimane Hammoudi},
  title        = {Modelling Software Tasks for Supporting Resource-Driven Adaptation},
  booktitle    = {Enterprise Information Systems - 24th International Conference, {ICEIS}
                  2022, Virtual Event, April 25-27, 2022, Revised Selected Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {487},
  pages        = {249--272},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-39386-0\_12},
  doi          = {10.1007/978-3-031-39386-0\_12},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/AkikiZB22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/refsq/2022w,
  editor       = {Jannik Fischbach and
                  Nelly Condori{-}Fern{\'{a}}ndez and
                  J{\"{o}}rg D{\"{o}}rr and
                  Marcela Ruiz and
                  Jan{-}Philipp Stegh{\"{o}}fer and
                  Liliana Pasquale and
                  Andrea Zisman and
                  Renata S. S. Guizzardi and
                  Jennifer Horkoff and
                  Anna Perini and
                  Angelo Susi and
                  Maya Daneva and
                  Andrea Herrmann and
                  Kurt Schneider and
                  Patrick Mennig and
                  Fabiano Dalpiaz and
                  Davide Dell'Anna and
                  Sylwia Kopczynska and
                  Lloyd Montgomery and
                  Andy G. Darby and
                  Peter Sawyer},
  title        = {Joint Proceedings of {REFSQ-2022} Workshops, Doctoral Symposium, and
                  Posters {\&} Tools Track co-located with the 28th International
                  Conference on Requirements Engineering: Foundation for Software Quality
                  {(REFSQ} 2022), Aston, Birmingham, UK, March 21, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3122},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3122},
  urn          = {urn:nbn:de:0074-3122-3},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/refsq/2022w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/LeighWZ21,
  author       = {Andrew Leigh and
                  Michel Wermelinger and
                  Andrea Zisman},
  title        = {Evaluating the effectiveness of risk containers to isolate change
                  propagation},
  journal      = {J. Syst. Softw.},
  volume       = {176},
  pages        = {110947},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jss.2021.110947},
  doi          = {10.1016/J.JSS.2021.110947},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/LeighWZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/AkikiZB21,
  author       = {Paul A. Akiki and
                  Andrea Zisman and
                  Amel Bennaceur},
  editor       = {Esam El{-}Araby and
                  Vana Kalogeraki and
                  Danilo Pianini and
                  Fr{\'{e}}d{\'{e}}ric Lassabe and
                  Barry Porter and
                  Sona Ghahremani and
                  Ingrid Nunes and
                  Mohamed Bakhouya and
                  Sven Tomforde},
  title        = {Work With What You've Got: An Approach for Resource-Driven Adaptation},
  booktitle    = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
                  Systems, {ACSOS} 2021, Companion Volume, Washington, DC, USA, September
                  27 - Oct. 1, 2021},
  pages        = {105--110},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ACSOS-C52956.2021.00030},
  doi          = {10.1109/ACSOS-C52956.2021.00030},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsos/AkikiZB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/WelshAFHZN21,
  author       = {Thomas Welsh and
                  Faeq Alrimawi and
                  Ali Farahani and
                  Diane Hassett and
                  Andrea Zisman and
                  Bashar Nuseibeh},
  title        = {Towards Adaptive Inspection for Fraud in {I4.0} Supply Chains},
  booktitle    = {26th {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2021, Vasteras, Sweden, September 7-10,
                  2021},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ETFA45728.2021.9613693},
  doi          = {10.1109/ETFA45728.2021.9613693},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/WelshAFHZN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/re/2020,
  editor       = {Travis D. Breaux and
                  Andrea Zisman and
                  Samuel Fricker and
                  Martin Glinz},
  title        = {28th {IEEE} International Requirements Engineering Conference, {RE}
                  2020, Zurich, Switzerland, August 31 - September 4, 2020},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/9211511/proceeding},
  isbn         = {978-1-7281-7438-9},
  timestamp    = {Wed, 14 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/re/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/YuBPBZN19,
  author       = {Yijun Yu and
                  Danny Barthaud and
                  Blaine A. Price and
                  Arosha K. Bandara and
                  Andrea Zisman and
                  Bashar Nuseibeh},
  title        = {LiveBox: {A} Self-Adaptive Forensic-Ready Service for Drones},
  journal      = {{IEEE} Access},
  volume       = {7},
  pages        = {148401--148412},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACCESS.2019.2942033},
  doi          = {10.1109/ACCESS.2019.2942033},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/access/YuBPBZN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/LeighWZ19,
  author       = {Andrew Leigh and
                  Michel Wermelinger and
                  Andrea Zisman},
  title        = {Risk Containers - {A} Help or Hindrance to Practitioners?},
  booktitle    = {{IEEE} International Conference on Software Architecture Companion,
                  {ICSA} Companion 2019, Hamburg, Germany, March 25-26, 2019},
  pages        = {230--233},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICSA-C.2019.00047},
  doi          = {10.1109/ICSA-C.2019.00047},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsa/LeighWZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BennaceurZMBN19,
  author       = {Amel Bennaceur and
                  Andrea Zisman and
                  Ciaran McCormick and
                  Danny Barthaud and
                  Bashar Nuseibeh},
  editor       = {Marin Litoiu and
                  Siobh{\'{a}}n Clarke and
                  Kenji Tei},
  title        = {Won't take no for an answer: resource-driven requirements adaptation},
  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        = {77--88},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SEAMS.2019.00019},
  doi          = {10.1109/SEAMS.2019.00019},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/BennaceurZMBN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MaiaVCYZN19,
  author       = {Paulo Henrique M. Maia and
                  Lucas Vieira and
                  Matheus Lima Chagas and
                  Yijun Yu and
                  Andrea Zisman and
                  Bashar Nuseibeh},
  editor       = {Marin Litoiu and
                  Siobh{\'{a}}n Clarke and
                  Kenji Tei},
  title        = {Dragonfly: a tool for simulating self-adaptive drone behaviours},
  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        = {107--113},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SEAMS.2019.00022},
  doi          = {10.1109/SEAMS.2019.00022},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/MaiaVCYZN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MaiaVCYZN19,
  author       = {Paulo Henrique M. Maia and
                  Lucas Vieira and
                  Matheus Lima Chagas and
                  Yijun Yu and
                  Andrea Zisman and
                  Bashar Nuseibeh},
  title        = {Cautious Adaptation of Defiant Components},
  booktitle    = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
                  {ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
  pages        = {974--985},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ASE.2019.00094},
  doi          = {10.1109/ASE.2019.00094},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/MaiaVCYZN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/AschoffZA19,
  author       = {Rafael Roque Aschoff and
                  Andrea Zisman and
                  Pedro Alexandre},
  editor       = {Yijun Yu and
                  Arosha K. Bandara and
                  Shinichi Honiden and
                  Zhenjiang Hu and
                  Tetsuo Tamai and
                  Hausi A. M{\"{u}}ller and
                  John Mylopoulos and
                  Bashar Nuseibeh},
  title        = {Parallel Adaptation of Multiple Service Composition Instances},
  booktitle    = {Engineering Adaptive Software Systems - Communications of {NII} Shonan
                  Meetings},
  pages        = {115--134},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-981-13-2185-6\_5},
  doi          = {10.1007/978-981-13-2185-6\_5},
  timestamp    = {Thu, 29 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/19/AschoffZA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2018nier,
  editor       = {Andrea Zisman and
                  Sven Apel},
  title        = {Proceedings of the 40th International Conference on Software Engineering:
                  New Ideas and Emerging Results, {ICSE} {(NIER)} 2018, Gothenburg,
                  Sweden, May 27 - June 03, 2018},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3183399},
  doi          = {10.1145/3183399},
  isbn         = {978-1-4503-5662-6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/2018nier.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/LeighWZ17,
  author       = {Andrew Leigh and
                  Michel Wermelinger and
                  Andrea Zisman},
  editor       = {Ant{\'{o}}nia Lopes and
                  Rog{\'{e}}rio de Lemos},
  title        = {Software Architecture Risk Containers},
  booktitle    = {Software Architecture - 11th European Conference, {ECSA} 2017, Canterbury,
                  UK, September 11-15, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10475},
  pages        = {171--179},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-65831-5\_12},
  doi          = {10.1007/978-3-319-65831-5\_12},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/LeighWZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/VianaZB17,
  author       = {Thiago Viana and
                  Andrea Zisman and
                  Arosha K. Bandara},
  editor       = {Ana Moreira and
                  Jo{\~{a}}o Ara{\'{u}}jo and
                  Jane Hayes and
                  Barbara Paech},
  title        = {Identifying Conflicting Requirements in Systems of Systems},
  booktitle    = {25th {IEEE} International Requirements Engineering Conference, {RE}
                  2017, Lisbon, Portugal, September 4-8, 2017},
  pages        = {436--441},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/RE.2017.48},
  doi          = {10.1109/RE.2017.48},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/VianaZB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/FilhoZ17,
  author       = {Gilberto A. Cysneiros Filho and
                  Andrea Zisman},
  editor       = {Xudong He},
  title        = {D3TraceView: {A} Traceability Visualization Tool},
  booktitle    = {The 29th International Conference on Software Engineering and Knowledge
                  Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA,
                  USA, July 5-7, 2017},
  pages        = {590--595},
  publisher    = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
  year         = {2017},
  url          = {https://doi.org/10.18293/SEKE2017-038},
  doi          = {10.18293/SEKE2017-038},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/FilhoZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/KounevLBBCDEGGGIKZ17,
  author       = {Samuel Kounev and
                  Peter R. Lewis and
                  Kirstie L. Bellman and
                  Nelly Bencomo and
                  Javier C{\'{a}}mara and
                  Ada Diaconescu and
                  Lukas Esterle and
                  Kurt Geihs and
                  Holger Giese and
                  Sebastian G{\"{o}}tz and
                  Paola Inverardi and
                  Jeffrey O. Kephart and
                  Andrea Zisman},
  editor       = {Samuel Kounev and
                  Jeffrey O. Kephart and
                  Aleksandar Milenkoski and
                  Xiaoyun Zhu},
  title        = {The Notion of Self-aware Computing},
  booktitle    = {Self-Aware Computing Systems},
  pages        = {3--16},
  publisher    = {Springer International Publishing},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-47474-8\_1},
  doi          = {10.1007/978-3-319-47474-8\_1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/17/KounevLBBCDEGGGIKZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/DiaconescuBEGGLZ17,
  author       = {Ada Diaconescu and
                  Kirstie L. Bellman and
                  Lukas Esterle and
                  Holger Giese and
                  Sebastian G{\"{o}}tz and
                  Peter R. Lewis and
                  Andrea Zisman},
  editor       = {Samuel Kounev and
                  Jeffrey O. Kephart and
                  Aleksandar Milenkoski and
                  Xiaoyun Zhu},
  title        = {Architectures for Collective Self-aware Computing Systems},
  booktitle    = {Self-Aware Computing Systems},
  pages        = {191--235},
  publisher    = {Springer International Publishing},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-47474-8\_7},
  doi          = {10.1007/978-3-319-47474-8\_7},
  timestamp    = {Wed, 19 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/17/DiaconescuBEGGLZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/AutiliBDETZ17,
  author       = {Marco Autili and
                  Kirstie L. Bellman and
                  Ada Diaconescu and
                  Lukas Esterle and
                  Massimo Tivoli and
                  Andrea Zisman},
  editor       = {Samuel Kounev and
                  Jeffrey O. Kephart and
                  Aleksandar Milenkoski and
                  Xiaoyun Zhu},
  title        = {Transition Strategies for Increasing Self-awareness in Existing Types
                  of Computing Systems},
  booktitle    = {Self-Aware Computing Systems},
  pages        = {305--336},
  publisher    = {Springer International Publishing},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-47474-8\_10},
  doi          = {10.1007/978-3-319-47474-8\_10},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/17/AutiliBDETZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2017,
  editor       = {Eric Bodden and
                  Wilhelm Sch{\"{a}}fer and
                  Arie van Deursen and
                  Andrea Zisman},
  title        = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
                  Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3106237},
  doi          = {10.1145/3106237},
  isbn         = {978-1-4503-5105-8},
  timestamp    = {Tue, 01 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/VianaZB16,
  author       = {Thiago Viana and
                  Andrea Zisman and
                  Arosha K. Bandara},
  editor       = {Khalil Drira and
                  Fl{\'{a}}vio Oquendo and
                  Muhammad Ali Babar and
                  Axel Legay},
  title        = {Towards a framework for managing inconsistencies in systems of systems},
  booktitle    = {Proceedings of the International Colloquium on Software-intensive
                  Systems-of-Systems at 10th European Conference on Software Architecture,
                  SiSoS@ECSA 2016, Copenhagen, Denmark, November 29-29, 2016},
  pages        = {8:1--8:7},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/3175731.3176177},
  doi          = {10.1145/3175731.3176177},
  timestamp    = {Fri, 14 Apr 2023 23:05:45 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/VianaZB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BennaceurMGPSZN16,
  author       = {Amel Bennaceur and
                  Ciaran McCormick and
                  Jes{\'{u}}s Garc{\'{\i}}a{-}Gal{\'{a}}n and
                  Charith Perera and
                  Andrew Smith and
                  Andrea Zisman and
                  Bashar Nuseibeh},
  title        = {Feed me, feed me: an exemplar for engineering adaptive software},
  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        = {89--95},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2897053.2897071},
  doi          = {10.1145/2897053.2897071},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/BennaceurMGPSZN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/FurtadoZ16,
  author       = {Felipe Furtado and
                  Andrea Zisman},
  title        = {Trace++: {A} Traceability Approach to Support Transitioning to Agile
                  Software Engineering},
  booktitle    = {24th {IEEE} International Requirements Engineering Conference, {RE}
                  2016, Beijing, China, September 12-16, 2016},
  pages        = {66--75},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/RE.2016.47},
  doi          = {10.1109/RE.2016.47},
  timestamp    = {Thu, 25 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/re/FurtadoZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/LeighWZ16,
  author       = {Andrew Leigh and
                  Michel Wermelinger and
                  Andrea Zisman},
  title        = {An Evaluation of Design Rule Spaces as Risk Containers},
  booktitle    = {13th Working {IEEE/IFIP} Conference on Software Architecture, {WICSA}
                  2016, Venice, Italy, April 5-8, 2016},
  pages        = {295--298},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/WICSA.2016.34},
  doi          = {10.1109/WICSA.2016.34},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wicsa/LeighWZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/SajjadRZD15,
  author       = {Ali Sajjad and
                  Muttukrishnan Rajarajan and
                  Andrea Zisman and
                  Theo Dimitrakos},
  title        = {A scalable and dynamic application-level secure communication framework
                  for inter-cloud services},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {48},
  pages        = {19--27},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.future.2015.01.018},
  doi          = {10.1016/J.FUTURE.2015.01.018},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fgcs/SajjadRZD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NakagawaOACDMZ15,
  author       = {Elisa Yumi Nakagawa and
                  Fl{\'{a}}vio Oquendo and
                  Paris Avgeriou and
                  Carlos E. Cuesta and
                  Khalil Drira and
                  Jos{\'{e}} Carlos Maldonado and
                  Andrea Zisman},
  editor       = {Paris Avgeriou and
                  Carlos E. Cuesta and
                  Khalil Drira and
                  Elisa Yumi Nakagawa and
                  Jos{\'{e}} Carlos Maldonado and
                  Fl{\'{a}}vio Oquendo and
                  Andrea Zisman},
  title        = {Foreword: Towards Reference Architectures for Systems-of-Systems},
  booktitle    = {3rd {IEEE/ACM} International Workshop on Software Engineering for
                  Systems-of-Systems, SESoS 2015, Florence, Italy, May 17, 2015},
  pages        = {1--4},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/SESoS.2015.8},
  doi          = {10.1109/SESOS.2015.8},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/NakagawaOACDMZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NhlabatsiYZTKBK15,
  author       = {Armstrong Nhlabatsi and
                  Yijun Yu and
                  Andrea Zisman and
                  Thein Than Tun and
                  Niamul Khan and
                  Arosha K. Bandara and
                  Khaled M. Khan and
                  Bashar Nuseibeh},
  editor       = {Patrick M{\"{a}}der and
                  Rocco Oliveto},
  title        = {Managing Security Control Assumptions Using Causal Traceability},
  booktitle    = {8th {IEEE/ACM} International Symposium on Software and Systems Traceability,
                  {SST} 2015, Florence, Italy, May 17, 2015},
  pages        = {43--49},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/SST.2015.14},
  doi          = {10.1109/SST.2015.14},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/NhlabatsiYZTKBK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/OquendoACDNMZ15,
  author       = {Fl{\'{a}}vio Oquendo and
                  Paris Avgeriou and
                  Carlos E. Cuesta and
                  Khalil Drira and
                  Elisa Yumi Nakagawa and
                  Jos{\'{e}} Carlos Maldonado and
                  Andrea Zisman},
  editor       = {Antonia Bertolino and
                  Gerardo Canfora and
                  Sebastian G. Elbaum},
  title        = {3rd International Workshop on Software Engineering for Systems-of-Systems
                  (SESoS 2015)},
  booktitle    = {37th {IEEE/ACM} International Conference on Software Engineering,
                  {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
  pages        = {1011--1012},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICSE.2015.327},
  doi          = {10.1109/ICSE.2015.327},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/OquendoACDNMZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2015sesos,
  editor       = {Paris Avgeriou and
                  Carlos E. Cuesta and
                  Khalil Drira and
                  Elisa Yumi Nakagawa and
                  Jos{\'{e}} Carlos Maldonado and
                  Fl{\'{a}}vio Oquendo and
                  Andrea Zisman},
  title        = {3rd {IEEE/ACM} International Workshop on Software Engineering for
                  Systems-of-Systems, SESoS 2015, Florence, Italy, May 17, 2015},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7173495/proceeding},
  isbn         = {978-1-4673-7091-2},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/2015sesos.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Cleland-HuangGHMZ14,
  author       = {Jane Cleland{-}Huang and
                  Orlena Gotel and
                  Jane Huffman Hayes and
                  Patrick M{\"{a}}der and
                  Andrea Zisman},
  editor       = {James D. Herbsleb and
                  Matthew B. Dwyer},
  title        = {Software traceability: trends and future directions},
  booktitle    = {Proceedings of the on Future of Software Engineering, {FOSE} 2014,
                  Hyderabad, India, May 31 - June 7, 2014},
  pages        = {55--69},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593882.2593891},
  doi          = {10.1145/2593882.2593891},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/Cleland-HuangGHMZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/PawarRDZ14,
  author       = {Pramod S. Pawar and
                  Muttukrishnan Rajarajan and
                  Theo Dimitrakos and
                  Andrea Zisman},
  editor       = {Jianying Zhou and
                  Nurit Gal{-}Oz and
                  Jie Zhang and
                  Ehud Gudes},
  title        = {Trust Assessment Using Cloud Broker},
  booktitle    = {Trust Management {VIII} - 8th {IFIP} {WG} 11.11 International Conference,
                  {IFIPTM} 2014, Singapore, July 7-10, 2014. Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {430},
  pages        = {237--244},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-43813-8\_18},
  doi          = {10.1007/978-3-662-43813-8\_18},
  timestamp    = {Thu, 23 Sep 2021 11:47:43 +0200},
  biburl       = {https://dblp.org/rec/conf/ifiptm/PawarRDZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ZismanSDS13,
  author       = {Andrea Zisman and
                  George Spanoudakis and
                  James Dooley and
                  Igor Siveroni},
  title        = {Proactive and Reactive Runtime Service Discovery: {A} Framework and
                  Its Evaluation},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {39},
  number       = {7},
  pages        = {954--974},
  year         = {2013},
  url          = {https://doi.org/10.1109/TSE.2012.84},
  doi          = {10.1109/TSE.2012.84},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/ZismanSDS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/SilvaZ13,
  author       = {Icamaan da Silva and
                  Andrea Zisman},
  editor       = {Samik Basu and
                  Cesare Pautasso and
                  Liang Zhang and
                  Xiang Fu},
  title        = {Decomposing Ratings in Service Compositions},
  booktitle    = {Service-Oriented Computing - 11th International Conference, {ICSOC}
                  2013, Berlin, Germany, December 2-5, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8274},
  pages        = {474--482},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-45005-1\_36},
  doi          = {10.1007/978-3-642-45005-1\_36},
  timestamp    = {Tue, 09 May 2023 12:51:34 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/SilvaZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/PawarRDZ13,
  author       = {Pramod S. Pawar and
                  Muttukrishnan Rajarajan and
                  Theo Dimitrakos and
                  Andrea Zisman},
  editor       = {M. Carmen Fern{\'{a}}ndez Gago and
                  Fabio Martinelli and
                  Siani Pearson and
                  Isaac Agudo},
  title        = {Trust Model for Cloud Based on Cloud Characteristics},
  booktitle    = {Trust Management {VII} - 7th {IFIP} {WG} 11.11 International Conference,
                  {IFIPTM} 2013, Malaga, Spain, June 3-7, 2013. Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {401},
  pages        = {239--246},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38323-6\_18},
  doi          = {10.1007/978-3-642-38323-6\_18},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifiptm/PawarRDZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LoharAZC13,
  author       = {Sugandha Lohar and
                  Sorawit Amornborvornwong and
                  Andrea Zisman and
                  Jane Cleland{-}Huang},
  editor       = {Bertrand Meyer and
                  Luciano Baresi and
                  Mira Mezini},
  title        = {Improving trace accuracy through data-driven configuration and composition
                  of tracing features},
  booktitle    = {Joint Meeting of the European Software Engineering Conference and
                  the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
                  ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
  pages        = {378--388},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2491411.2491432},
  doi          = {10.1145/2491411.2491432},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/LoharAZC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2013sesos,
  editor       = {Fl{\'{a}}vio Oquendo and
                  Paris Avgeriou and
                  Carlos E. Cuesta and
                  Jos{\'{e}} Carlos Maldonado and
                  Elisa Yumi Nakagawa and
                  Khalil Drira and
                  Andrea Zisman},
  title        = {Proceedings of the First International Workshop on Software Engineering
                  for Systems-of-Systems, SESoS@ECOOP, Montpellier, France, July 2,
                  2013},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {http://dl.acm.org/citation.cfm?id=2489850},
  isbn         = {978-1-4503-2048-1},
  timestamp    = {Wed, 09 Sep 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/2013sesos.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-5470,
  author       = {Andrea Zisman},
  title        = {Requirements Issues in SoC and SoS},
  journal      = {CoRR},
  volume       = {abs/1301.5470},
  year         = {2013},
  url          = {http://arxiv.org/abs/1301.5470},
  eprinttype    = {arXiv},
  eprint       = {1301.5470},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1301-5470.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudcomp/PawarNEDRZ12,
  author       = {Pramod S. Pawar and
                  Srijith K. Nair and
                  Fadi Ali El{-}Moussa and
                  Theo Dimitrakos and
                  Muttukrishnan Rajarajan and
                  Andrea Zisman},
  editor       = {Mazin Yousif and
                  Lutz Schubert},
  title        = {Opinion Model Based Security Reputation Enabling Cloud Broker Architecture},
  booktitle    = {Cloud Computing - Third International Conference, CloudComp 2012,
                  Vienna, Austria, September 24-26, 2012, Revised Selected Papers},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {112},
  pages        = {103--113},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-319-03874-2\_11},
  doi          = {10.1007/978-3-319-03874-2\_11},
  timestamp    = {Wed, 14 Nov 2018 10:55:34 +0100},
  biburl       = {https://dblp.org/rec/conf/cloudcomp/PawarNEDRZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icon/SajjadZRND12,
  author       = {Ali Sajjad and
                  Andrea Zisman and
                  Muttukrishnan Rajarajan and
                  Srijith K. Nair and
                  Theo Dimitrakos},
  title        = {Secure communication using dynamic {VPN} provisioning in an Inter-Cloud
                  environment},
  booktitle    = {Proceedings of the 18th {IEEE} International Conference on Networks,
                  {ICON} 2012, Singapore, December 12-14, 2012},
  pages        = {428--433},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICON.2012.6506596},
  doi          = {10.1109/ICON.2012.6506596},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icon/SajjadZRND12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AschoffZ12,
  author       = {Rafael Aschoff and
                  Andrea Zisman},
  editor       = {Hausi A. M{\"{u}}ller and
                  Luciano Baresi},
  title        = {Proactive adaptation of service composition},
  booktitle    = {7th International Symposium on Software Engineering for Adaptive and
                  Self-Managing Systems, {SEAMS} 2012, Zurich, Switzerland, June 4-5,
                  2012},
  pages        = {1--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/SEAMS.2012.6224385},
  doi          = {10.1109/SEAMS.2012.6224385},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/AschoffZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ContrerasZMP12,
  author       = {Ricardo Contreras and
                  Andrea Zisman and
                  Annapaola Marconi and
                  Marco Pistore},
  editor       = {Patricia Lago and
                  Grace A. Lewis and
                  Andreas Metzger and
                  Vladimir Tosic},
  title        = {PRadapt: {A} framework for dynamic monitoring of adaptable service-based
                  systems},
  booktitle    = {4th International {ICSE} Workshop on Principles of Engineering Service-Oriented
                  Systems, {PESOS} 2012, June 4, 2012, Zurich, Switzerland},
  pages        = {50--56},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/PESOS.2012.6225939},
  doi          = {10.1109/PESOS.2012.6225939},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/ContrerasZMP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/SilvaZ12,
  author       = {Icamaan da Silva and
                  Andrea Zisman},
  editor       = {Chengfei Liu and
                  Heiko Ludwig and
                  Farouk Toumani and
                  Qi Yu},
  title        = {A Framework for Trusted Services},
  booktitle    = {Service-Oriented Computing - 10th International Conference, {ICSOC}
                  2012, Shanghai, China, November 12-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7636},
  pages        = {328--343},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34321-6\_22},
  doi          = {10.1007/978-3-642-34321-6\_22},
  timestamp    = {Mon, 26 Jun 2023 20:44:14 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/SilvaZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/PawarRNZ12,
  author       = {Pramod S. Pawar and
                  Muttukrishnan Rajarajan and
                  Srijith Krishnan Nair and
                  Andrea Zisman},
  editor       = {Theo Dimitrakos and
                  Rajat Moona and
                  Dhiren R. Patel and
                  D. Harrison McKnight},
  title        = {Trust Model for Optimized Cloud Services},
  booktitle    = {Trust Management {VI} - 6th {IFIP} {WG} 11.11 International Conference,
                  {IFIPTM} 2012, Surat, India, May 21-25, 2012. Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {374},
  pages        = {97--112},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-29852-3\_7},
  doi          = {10.1007/978-3-642-29852-3\_7},
  timestamp    = {Sun, 02 Oct 2022 16:07:38 +0200},
  biburl       = {https://dblp.org/rec/conf/ifiptm/PawarRNZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/GotelCHZEGA12,
  author       = {Orlena Gotel and
                  Jane Cleland{-}Huang and
                  Jane Huffman Hayes and
                  Andrea Zisman and
                  Alexander Egyed and
                  Paul Gr{\"{u}}nbacher and
                  Giuliano Antoniol},
  editor       = {Mats Per Erik Heimdahl and
                  Pete Sawyer},
  title        = {The quest for Ubiquity: {A} roadmap for software and systems traceability
                  research},
  booktitle    = {2012 20th {IEEE} International Requirements Engineering Conference
                  (RE), Chicago, IL, USA, September 24-28, 2012},
  pages        = {71--80},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/RE.2012.6345841},
  doi          = {10.1109/RE.2012.6345841},
  timestamp    = {Thu, 25 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/re/GotelCHZEGA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/GotelCHZEGDAMM12,
  author       = {Orlena Gotel and
                  Jane Cleland{-}Huang and
                  Jane Huffman Hayes and
                  Andrea Zisman and
                  Alexander Egyed and
                  Paul Gr{\"{u}}nbacher and
                  Alex Dekhtyar and
                  Giuliano Antoniol and
                  Jonathan I. Maletic and
                  Patrick M{\"{a}}der},
  editor       = {Jane Cleland{-}Huang and
                  Olly Gotel and
                  Andrea Zisman},
  title        = {Traceability Fundamentals},
  booktitle    = {Software and Systems Traceability},
  pages        = {3--22},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-1-4471-2239-5\_1},
  doi          = {10.1007/978-1-4471-2239-5\_1},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/GotelCHZEGDAMM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Zisman12,
  author       = {Andrea Zisman},
  editor       = {Jane Cleland{-}Huang and
                  Olly Gotel and
                  Andrea Zisman},
  title        = {Using Rules for Traceability Creation},
  booktitle    = {Software and Systems Traceability},
  pages        = {147--170},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-1-4471-2239-5\_7},
  doi          = {10.1007/978-1-4471-2239-5\_7},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Zisman12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/GotelCHZEGDAM12,
  author       = {Orlena Gotel and
                  Jane Cleland{-}Huang and
                  Jane Huffman Hayes and
                  Andrea Zisman and
                  Alexander Egyed and
                  Paul Gr{\"{u}}nbacher and
                  Alex Dekhtyar and
                  Giuliano Antoniol and
                  Jonathan I. Maletic},
  editor       = {Jane Cleland{-}Huang and
                  Olly Gotel and
                  Andrea Zisman},
  title        = {The Grand Challenge of Traceability (v1.0)},
  booktitle    = {Software and Systems Traceability},
  pages        = {343--409},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-1-4471-2239-5\_16},
  doi          = {10.1007/978-1-4471-2239-5\_16},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/GotelCHZEGDAM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0028967,
  editor       = {Jane Cleland{-}Huang and
                  Olly Gotel and
                  Andrea Zisman},
  title        = {Software and Systems Traceability},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-1-4471-2239-5},
  doi          = {10.1007/978-1-4471-2239-5},
  isbn         = {978-1-4471-2238-8},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0028967.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2012,
  editor       = {Juan de Lara and
                  Andrea Zisman},
  title        = {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},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28872-2},
  doi          = {10.1007/978-3-642-28872-2},
  isbn         = {978-3-642-28871-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/MahbubSZ11,
  author       = {Khaled Mahbub and
                  George Spanoudakis and
                  Andrea Zisman},
  title        = {A monitoring approach for runtime service discovery},
  journal      = {Autom. Softw. Eng.},
  volume       = {18},
  number       = {2},
  pages        = {117--161},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10515-010-0077-5},
  doi          = {10.1007/S10515-010-0077-5},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/MahbubSZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Cleland-HuangCDGHKLMPSZABEM11,
  author       = {Jane Cleland{-}Huang and
                  Adam Czauderna and
                  Alex Dekhtyar and
                  Olly Gotel and
                  Jane Huffman Hayes and
                  Ed Keenan and
                  Greg Leach and
                  Jonathan I. Maletic and
                  Denys Poshyvanyk and
                  Yonghee Shin and
                  Andrea Zisman and
                  Giuliano Antoniol and
                  Brian Berenbach and
                  Alexander Egyed and
                  Patrick M{\"{a}}der},
  editor       = {Denys Poshyvanyk and
                  Massimiliano Di Penta and
                  Huzefa H. Kagdi},
  title        = {Grand challenges, benchmarks, and TraceLab: developing infrastructure
                  for the software traceability research community},
  booktitle    = {TEFSE'11, Proceedings of the 6th International Workshop on Traceability
                  in Emerging Forms of Software Engineering, May 23, 2011, Waikiki,
                  Honolulu, HI, {USA}},
  pages        = {17--23},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1987856.1987861},
  doi          = {10.1145/1987856.1987861},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/Cleland-HuangCDGHKLMPSZABEM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LambJZ11,
  author       = {Lu{\'{\i}}s C. Lamb and
                  Waraporn Jirapanthong and
                  Andrea Zisman},
  editor       = {Denys Poshyvanyk and
                  Massimiliano Di Penta and
                  Huzefa H. Kagdi},
  title        = {Formalizing traceability relations for product lines},
  booktitle    = {TEFSE'11, Proceedings of the 6th International Workshop on Traceability
                  in Emerging Forms of Software Engineering, May 23, 2011, Waikiki,
                  Honolulu, HI, {USA}},
  pages        = {42--45},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1987856.1987866},
  doi          = {10.1145/1987856.1987866},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/LambJZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ContrerasZ11,
  author       = {Ricardo Contreras and
                  Andrea Zisman},
  editor       = {Manuel Carro and
                  Dimka Karastoyanova and
                  Grace A. Lewis and
                  Anna Liu},
  title        = {Identifying, modifying, creating, and removing monitor rules for service
                  oriented computing},
  booktitle    = {Proceedings of the 3rd International Workshop on Principles of Engineering
                  Service-Oriented Systems, {PESOS} 2011, Waikiki, Honolulu, HI, USA,
                  May 23-24, 2011},
  pages        = {43--49},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1985394.1985401},
  doi          = {10.1145/1985394.1985401},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/ContrerasZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/AschoffZ11,
  author       = {Rafael Aschoff and
                  Andrea Zisman},
  editor       = {Gerti Kappel and
                  Zakaria Maamar and
                  Hamid R. Motahari Nezhad},
  title        = {QoS-Driven Proactive Adaptation of Service Composition},
  booktitle    = {Service-Oriented Computing - 9th International Conference, {ICSOC}
                  2011, Paphos, Cyprus, December 5-8, 2011 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7084},
  pages        = {421--435},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25535-9\_28},
  doi          = {10.1007/978-3-642-25535-9\_28},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/AschoffZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issse/Zisman11,
  author       = {Andrea Zisman},
  editor       = {Andrea De Lucia and
                  Filomena Ferrucci},
  title        = {Discovering Services},
  booktitle    = {Software Engineering - International Summer Schools, {ISSSE} 2009-2011,
                  Salerno, Italy. Revised Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7171},
  pages        = {159--184},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-36054-1\_6},
  doi          = {10.1007/978-3-642-36054-1\_6},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/issse/Zisman11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/services/HirzallaZC11,
  author       = {Mamoun Hirzalla and
                  Andrea Zisman and
                  Jane Cleland{-}Huang},
  title        = {Using Traceability to Support {SOA} Impact Analysis},
  booktitle    = {World Congress on Services, {SERVICES} 2011, Washington, DC, USA,
                  July 4-9, 2011},
  pages        = {145--152},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/SERVICES.2011.103},
  doi          = {10.1109/SERVICES.2011.103},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/services/HirzallaZC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/servicewave/2011,
  editor       = {Witold Abramowicz and
                  Ignacio Mart{\'{\i}}n Llorente and
                  Mike Surridge and
                  Andrea Zisman and
                  Julien Vayssi{\`{e}}re},
  title        = {Towards a Service-Based Internet - 4th European Conference, ServiceWave
                  2011, Poznan, Poland, October 26-28, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6994},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24755-2},
  doi          = {10.1007/978-3-642-24755-2},
  isbn         = {978-3-642-24754-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/servicewave/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/SiveroniZS10,
  author       = {Igor Siveroni and
                  Andrea Zisman and
                  George Spanoudakis},
  title        = {A UML-based static verification framework for security},
  journal      = {Requir. Eng.},
  volume       = {15},
  number       = {1},
  pages        = {95--118},
  year         = {2010},
  url          = {https://doi.org/10.1007/s00766-009-0091-y},
  doi          = {10.1007/S00766-009-0091-Y},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/re/SiveroniZS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/LewisSMZP10,
  author       = {Grace A. Lewis and
                  Dennis B. Smith and
                  Andreas Metzger and
                  Andrea Zisman and
                  Marco Pistore},
  title        = {Report of the 2nd international workshop on principles of engineering
                  service-oriented systems {(PESOS} 2010)},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {35},
  number       = {5},
  pages        = {30--33},
  year         = {2010},
  url          = {https://doi.org/10.1145/1838687.1838694},
  doi          = {10.1145/1838687.1838694},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/LewisSMZP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SpanoudakisZ10,
  author       = {George Spanoudakis and
                  Andrea Zisman},
  title        = {Discovering Services during Service-Based System Design Using {UML}},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {36},
  number       = {3},
  pages        = {371--389},
  year         = {2010},
  url          = {https://doi.org/10.1109/TSE.2009.88},
  doi          = {10.1109/TSE.2009.88},
  timestamp    = {Thu, 25 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/SpanoudakisZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnsa/PatelBPPRZ10,
  author       = {Reema Patel and
                  Bhavesh Borisaniya and
                  Avi Patel and
                  Dhiren R. Patel and
                  Muttukrishnan Rajarajan and
                  Andrea Zisman},
  editor       = {Natarajan Meghanathan and
                  Selma Boumerdassi and
                  Nabendu Chaki and
                  Dhinaharan Nagamalai},
  title        = {Comparative Analysis of Formal Model Checking Tools for Security Protocol
                  Verification},
  booktitle    = {Recent Trends in Network Security and Applications - Third International
                  Conference, {CNSA} 2010, Chennai, India, July 23-25, 2010. Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {89},
  pages        = {152--163},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14478-3\_16},
  doi          = {10.1007/978-3-642-14478-3\_16},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cnsa/PatelBPPRZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LewisMPSZ10,
  author       = {Grace A. Lewis and
                  Andreas Metzger and
                  Marco Pistore and
                  Dennis B. Smith and
                  Andrea Zisman},
  editor       = {Jeff Kramer and
                  Judith Bishop and
                  Premkumar T. Devanbu and
                  Sebasti{\'{a}}n Uchitel},
  title        = {2010 {ICSE} 2nd International Workshop on Principles of Engineering
                  Service-Oriented Systems {(PESOS} 2010)},
  booktitle    = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
                  Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8
                  May 2010},
  pages        = {429--430},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1810295.1810413},
  doi          = {10.1145/1810295.1810413},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/LewisMPSZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swste/ContrerasZ10,
  author       = {Ricardo Contreras and
                  Andrea Zisman},
  title        = {A Pattern-Based Approach for Monitor Adaptation},
  booktitle    = {{IEEE} International Conference on Software Science, Technology {\&}
                  Engineering, SwSTE 2010, Herzlia, Israel, June 15-16, 2010},
  pages        = {30--37},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SwSTE.2010.12},
  doi          = {10.1109/SWSTE.2010.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/swste/ContrerasZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2010pesos,
  editor       = {Grace A. Lewis and
                  Andreas Metzger and
                  Marco Pistore and
                  Dennis B. Smith and
                  Andrea Zisman},
  title        = {Proceedings of the 2nd International Workshop on Principles of Engineering
                  Service-Oriented Systems, {PESOS} 2010, Cape Town, South Africa, May
                  1-2, 2010},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {http://dl.acm.org/citation.cfm?id=1808885},
  isbn         = {978-1-60558-963-3},
  timestamp    = {Sat, 24 May 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/2010pesos.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/JirapanthongZ09,
  author       = {Waraporn Jirapanthong and
                  Andrea Zisman},
  title        = {XTraQue: traceability for product line systems},
  journal      = {Softw. Syst. Model.},
  volume       = {8},
  number       = {1},
  pages        = {117--144},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10270-007-0066-8},
  doi          = {10.1007/S10270-007-0066-8},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/JirapanthongZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/MahbubZ09,
  author       = {Khaled Mahbub and
                  Andrea Zisman},
  editor       = {Asit Dan and
                  Frederic Gittler and
                  Farouk Toumani},
  title        = {Replacement Policies for Service-Based Systems},
  booktitle    = {Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops - International
                  Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27,
                  2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6275},
  pages        = {345--357},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-16132-2\_33},
  doi          = {10.1007/978-3-642-16132-2\_33},
  timestamp    = {Sun, 02 Jun 2019 21:20:24 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/MahbubZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/ZismanSD09,
  author       = {Andrea Zisman and
                  George Spanoudakis and
                  James Dooley},
  editor       = {Boris Shishkov and
                  Jos{\'{e}} Cordeiro and
                  Alpesh Ranchordas},
  title        = {A Query Language for Service Discovery},
  booktitle    = {{ICSOFT} 2009 - Proceedings of the 4th International Conference on
                  Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29,
                  2009},
  pages        = {55--65},
  publisher    = {{INSTICC} Press},
  year         = {2009},
  timestamp    = {Fri, 18 Sep 2009 15:00:58 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/ZismanSD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/SiveroniZS08,
  author       = {Igor Siveroni and
                  Andrea Zisman and
                  George Spanoudakis},
  title        = {Property Specification and Static Verification of {UML} Models},
  booktitle    = {Proceedings of the The Third International Conference on Availability,
                  Reliability and Security, {ARES} 2008, March 4-7, 2008, Technical
                  University of Catalonia, Barcelona , Spain},
  pages        = {96--103},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ARES.2008.194},
  doi          = {10.1109/ARES.2008.194},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEares/SiveroniZS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/ZismanDS08,
  author       = {Andrea Zisman and
                  James Dooley and
                  George Spanoudakis},
  title        = {Proactive Runtime Service Discovery},
  booktitle    = {2008 {IEEE} International Conference on Services Computing {(SCC}
                  2008), 8-11 July 2008, Honolulu, Hawaii, {USA}},
  pages        = {237--245},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SCC.2008.60},
  doi          = {10.1109/SCC.2008.60},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/ZismanDS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZismanSD08,
  author       = {Andrea Zisman and
                  George Spanoudakis and
                  James Dooley},
  title        = {A Framework for Dynamic Service Discovery},
  booktitle    = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
  pages        = {158--167},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ASE.2008.26},
  doi          = {10.1109/ASE.2008.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/ZismanSD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/FilhoZ08,
  author       = {Gilberto A. Cysneiros Filho and
                  Andrea Zisman},
  editor       = {Roger L. Wainwright and
                  Hisham Haddad},
  title        = {Traceability and completeness checking for agent-oriented systems},
  booktitle    = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
                  Fortaleza, Ceara, Brazil, March 16-20, 2008},
  pages        = {71--77},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1363686.1363706},
  doi          = {10.1145/1363686.1363706},
  timestamp    = {Tue, 06 Nov 2018 11:06:48 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/FilhoZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/EllmanZ07,
  author       = {Thomas Ellman and
                  Andrea Zisman},
  title        = {Special issue on selected papers from the 20th International Conference
                  on Automated Software Engineering (ASE'2005)},
  journal      = {Autom. Softw. Eng.},
  volume       = {14},
  number       = {2},
  pages        = {127--128},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10515-007-0009-1},
  doi          = {10.1007/S10515-007-0009-1},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/EllmanZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jwsr/KozlenkovSZFS07,
  author       = {Alexander Kozlenkov and
                  George Spanoudakis and
                  Andrea Zisman and
                  V. Fasoulas and
                  F. Sanchez},
  title        = {Architecture-Driven Service Discovery for Service Centric Systems},
  journal      = {Int. J. Web Serv. Res.},
  volume       = {4},
  number       = {2},
  pages        = {82--113},
  year         = {2007},
  url          = {https://doi.org/10.4018/jwsr.2007040104},
  doi          = {10.4018/JWSR.2007040104},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jwsr/KozlenkovSZFS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/NanoZ07,
  author       = {Olivier Nano and
                  Andrea Zisman},
  title        = {Guest Editors' Introduction: Realizing Service-Centric Software Systems},
  journal      = {{IEEE} Softw.},
  volume       = {24},
  number       = {6},
  pages        = {28--30},
  year         = {2007},
  url          = {https://doi.org/10.1109/MS.2007.166},
  doi          = {10.1109/MS.2007.166},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/NanoZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/ZismanMS07,
  author       = {Andrea Zisman and
                  Khaled Mahbub and
                  George Spanoudakis},
  title        = {A Service Discovery Framework based on Linear Composition},
  booktitle    = {2007 {IEEE} International Conference on Services Computing {(SCC}
                  2007), 9-13 July 2007, Salt Lake City, Utah, {USA}},
  pages        = {536--543},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/SCC.2007.15},
  doi          = {10.1109/SCC.2007.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/ZismanMS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciw/Zisman07,
  author       = {Andrea Zisman},
  title        = {A Static Verification Framework for Secure Peer-to-Peer Applications},
  booktitle    = {International Conference on Internet and Web Applications and Services
                  {(ICIW} 2007), May 13-19, 2007, Le Morne, Mauritius},
  pages        = {8},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICIW.2007.11},
  doi          = {10.1109/ICIW.2007.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iciw/Zisman07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/SpanoudakisMZ07,
  author       = {George Spanoudakis and
                  Khaled Mahbub and
                  Andrea Zisman},
  title        = {A Platform for Context Aware Runtime Web Service Discovery},
  booktitle    = {2007 {IEEE} International Conference on Web Services {(ICWS} 2007),
                  July 9-13, 2007, Salt Lake City, Utah, {USA}},
  pages        = {233--240},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICWS.2007.9},
  doi          = {10.1109/ICWS.2007.9},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/SpanoudakisMZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/FilhoZ07,
  author       = {Gilberto A. Cysneiros Filho and
                  Andrea Zisman},
  title        = {Traceability for Agent-Oriented Design Models and Code},
  booktitle    = {Proceedings of the Nineteenth International Conference on Software
                  Engineering {\&} Knowledge Engineering (SEKE'2007), Boston, Massachusetts,
                  USA, July 9-11, 2007},
  pages        = {552--558},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2007},
  timestamp    = {Thu, 12 Mar 2020 11:30:50 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/FilhoZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/NittoPZ07,
  author       = {Elisabetta Di Nitto and
                  Andrea Polini and
                  Andrea Zisman},
  editor       = {Ivica Crnkovic and
                  Antonia Bertolino},
  title        = {2nd international workshop on service oriented software engineering
                  {(IW-SOSWE} 2007)},
  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        = {613--614},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1287624.1287726},
  doi          = {10.1145/1287624.1287726},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/NittoPZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2007soswe,
  editor       = {Elisabetta Di Nitto and
                  Andrea Polini and
                  Andrea Zisman},
  title        = {Proceedings of the 2nd International Workshop on Service Oriented
                  Software Engineering: in conjunction with the 6th {ESEC/FSE} joint
                  meeting, {IW-SOSWE} 2007, Dubrovnik, Croatia, September 3, 2007},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1294928},
  doi          = {10.1145/1294928},
  isbn         = {978-1-59593-723-0},
  timestamp    = {Tue, 01 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/2007soswe.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/NittoHHHPSZ06,
  author       = {Elisabetta Di Nitto and
                  Robert J. Hall and
                  Jun Han and
                  Yanbo Han and
                  Andrea Polini and
                  Kurt Sandkuhl and
                  Andrea Zisman},
  title        = {Report on the International Workshop on Service Oriented Software
                  Engineering {(IW-SOSE06)}},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {31},
  number       = {5},
  pages        = {36--38},
  year         = {2006},
  url          = {https://doi.org/10.1145/1163514.1163527},
  doi          = {10.1145/1163514.1163527},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/NittoHHHPSZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NittoHHHPSZ06,
  author       = {Elisabetta Di Nitto and
                  Robert J. Hall and
                  Jun Han and
                  Yanbo Han and
                  Andrea Polini and
                  Kurt Sandkuhl and
                  Andrea Zisman},
  editor       = {Leon J. Osterweil and
                  H. Dieter Rombach and
                  Mary Lou Soffa},
  title        = {International workshop on service oriented software engineering (IW-SOSE'06)},
  booktitle    = {28th International Conference on Software Engineering {(ICSE} 2006),
                  Shanghai, China, May 20-28, 2006},
  pages        = {1036--1037},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1134285.1134492},
  doi          = {10.1145/1134285.1134492},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/NittoHHHPSZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/ZismanS06,
  author       = {Andrea Zisman and
                  George Spanoudakis},
  editor       = {Asit Dan and
                  Winfried Lamersdorf},
  title        = {UML-Based Service Discovery Framework},
  booktitle    = {Service-Oriented Computing - {ICSOC} 2006, 4th International Conference,
                  Chicago, IL, USA, December 4-7, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4294},
  pages        = {402--414},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11948148\_33},
  doi          = {10.1007/11948148\_33},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/ZismanS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SpanoudakisZ06,
  author       = {George Spanoudakis and
                  Andrea Zisman},
  title        = {UML-based Service Discovery Tool},
  booktitle    = {21st {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
  pages        = {361--362},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ASE.2006.70},
  doi          = {10.1109/ASE.2006.70},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/SpanoudakisZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sose/2006,
  editor       = {Elisabetta Di Nitto and
                  Robert J. Hall and
                  Jun Han and
                  Yanbo Han and
                  Andrea Polini and
                  Kurt Sandkuhl and
                  Andrea Zisman},
  title        = {The 2006 International Workshop on Service Oriented Software Engineering
                  {(IW-SOSE} '06), May 27-28, 2006, Shanghai, China, in conjunction
                  with {ICSE} 2006},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/4027101/proceeding},
  isbn         = {0-7695-2726-4},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sose/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/SpanoudakisZ05,
  author       = {George Spanoudakis and
                  Andrea Zisman},
  title        = {Guest Editors' Introduction},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {15},
  number       = {5},
  pages        = {747--750},
  year         = {2005},
  url          = {https://doi.org/10.1142/S0218194005002579},
  doi          = {10.1142/S0218194005002579},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/SpanoudakisZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/SpanoudakisZK05,
  author       = {George Spanoudakis and
                  Andrea Zisman and
                  Alexander Kozlenkov},
  title        = {A Service Discovery Framework for Service Centric Systems},
  booktitle    = {2005 {IEEE} International Conference on Services Computing {(SCC}
                  2005), 11-15 July 2005, Orlando, FL, {USA}},
  pages        = {251--259},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/SCC.2005.17},
  doi          = {10.1109/SCC.2005.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/SpanoudakisZK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/JirapanthongZ05,
  author       = {Waraporn Jirapanthong and
                  Andrea Zisman},
  title        = {Supporting Product Line Development through Traceability},
  booktitle    = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005),
                  15-17 December 2005, Taipei, Taiwan},
  pages        = {506--514},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/APSEC.2005.101},
  doi          = {10.1109/APSEC.2005.101},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/JirapanthongZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZismanE05,
  author       = {Andrea Zisman and
                  Thomas Ellman},
  editor       = {David F. Redmiles and
                  Thomas Ellman and
                  Andrea Zisman},
  title        = {2nd Workshop on the state of the art in automated software engineering},
  booktitle    = {20th {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
  pages        = {464},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1101908.1102004},
  doi          = {10.1145/1101908.1102004},
  timestamp    = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/ZismanE05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2005,
  editor       = {David F. Redmiles and
                  Thomas Ellman and
                  Andrea Zisman},
  title        = {20th {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1101908},
  doi          = {10.1145/1101908},
  isbn         = {1-58113-993-4},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acisj/KozlenkovZ04,
  author       = {Alexander Kozlenkov and
                  Andrea Zisman},
  title        = {Discovering, Recording and Handling Inconsistencies in Software Specifications},
  journal      = {{ACIS} Int. J. Comput. Inf. Sci.},
  volume       = {5},
  number       = {2},
  pages        = {89--108},
  year         = {2004},
  timestamp    = {Fri, 02 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/acisj/KozlenkovZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/SpanoudakisZPK04,
  author       = {George Spanoudakis and
                  Andrea Zisman and
                  Elena P{\'{e}}rez{-}Mi{\~{n}}ana and
                  Paul Krause},
  title        = {Rule-based generation of requirements traceability relations},
  journal      = {J. Syst. Softw.},
  volume       = {72},
  number       = {2},
  pages        = {105--127},
  year         = {2004},
  url          = {https://doi.org/10.1016/S0164-1212(03)00242-5},
  doi          = {10.1016/S0164-1212(03)00242-5},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/SpanoudakisZPK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/HallZ04,
  author       = {Robert J. Hall and
                  Andrea Zisman},
  title        = {Model interchange and integration for web services},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {29},
  number       = {5},
  pages        = {1--11},
  year         = {2004},
  url          = {https://doi.org/10.1145/1022494.1022527},
  doi          = {10.1145/1022494.1022527},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/HallZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/HallZ04,
  author       = {Robert J. Hall and
                  Andrea Zisman},
  editor       = {Marco Aiello and
                  Mikio Aoyama and
                  Francisco Curbera and
                  Mike P. Papazoglou},
  title        = {Behavioral models as service descriptions},
  booktitle    = {Service-Oriented Computing - {ICSOC} 2004, Second International Conference,
                  New York, NY, USA, November 15-19, 2004, Proceedings},
  pages        = {163--172},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1035167.1035191},
  doi          = {10.1145/1035167.1035191},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/HallZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HallZ04,
  author       = {Robert J. Hall and
                  Andrea Zisman},
  title        = {Validating Personal Requirements by Assisted Symbolic Behavior Browsing},
  booktitle    = {19th {IEEE} International Conference on Automated Software Engineering
                  {(ASE} 2004), 20-25 September 2004, Linz, Austria},
  pages        = {56--66},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10064},
  doi          = {10.1109/ASE.2004.10064},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/HallZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/HallZ04,
  author       = {Robert J. Hall and
                  Andrea Zisman},
  title        = {{OMML:} {A} Behavioural Model Interchange Format},
  booktitle    = {12th {IEEE} International Conference on Requirements Engineering {(RE}
                  2004), 6-10 September 2004, Kyoto, Japan},
  pages        = {272--282},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.ieeecomputersociety.org/10.1109/RE.2004.33},
  doi          = {10.1109/RE.2004.33},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/HallZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HallZ03,
  author       = {Robert J. Hall and
                  Andrea Zisman},
  title        = {Overview of OpenModel-based Validation with Partial Information},
  booktitle    = {18th {IEEE} International Conference on Automated Software Engineering
                  {(ASE} 2003), 6-10 October 2003, Montreal, Canada},
  pages        = {347--351},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/ASE.2003.1240335},
  doi          = {10.1109/ASE.2003.1240335},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/HallZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/SpanoudakisGZ03,
  author       = {George Spanoudakis and
                  Artur S. d'Avila Garcez and
                  Andrea Zisman},
  title        = {Revising Rules to Capture Requirements Traceability Relations: {A}
                  Machine Learning Approach},
  booktitle    = {Proceedings of the Fifteenth International Conference on Software
                  Engineering {\&} Knowledge Engineering (SEKE'2003), Hotel Sofitel,
                  San Francisco Bay, CA, USA, July 1-3, 2003},
  pages        = {570--577},
  year         = {2003},
  timestamp    = {Fri, 18 Feb 2005 13:16:38 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/SpanoudakisGZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/ZismanSPK03,
  author       = {Andrea Zisman and
                  George Spanoudakis and
                  Elena P{\'{e}}rez{-}Mi{\~{n}}ana and
                  Paul Krause},
  editor       = {Ban Al{-}Ani and
                  Hamid R. Arabnia and
                  Youngsong Mun},
  title        = {Tracing Software Requirements Artifacts},
  booktitle    = {Proceedings of the International Conference on Software Engineering
                  Research and Practice, {SERP} '03, June 23 - 26, 2003, Las Vegas,
                  Nevada, USA, Volume 1},
  pages        = {448--455},
  publisher    = {{CSREA} Press},
  year         = {2003},
  timestamp    = {Tue, 14 Oct 2003 13:56:06 +0200},
  biburl       = {https://dblp.org/rec/conf/serp/ZismanSPK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/ZismanK03,
  author       = {Andrea Zisman and
                  Alexander Kozlenkov},
  editor       = {Walter Dosch and
                  Roger Y. Lee},
  title        = {Managing Inconsistencies in {UML} Specifications},
  booktitle    = {Proceedings of the {ACIS} Fourth International Conference on Software
                  Engineering, Artificial Intelligence, Networking and Parallel/Distributed
                  Computing (SNPD'03), October 16-18, 2003, L{\"{u}}beck, Germany},
  pages        = {128--138},
  publisher    = {{ACIS}},
  year         = {2003},
  timestamp    = {Wed, 26 Nov 2003 12:28:17 +0100},
  biburl       = {https://dblp.org/rec/conf/snpd/ZismanK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dc/ZismanCDKS02,
  author       = {Andrea Zisman and
                  John Chelsom and
                  Niki Dinsey and
                  Stephen Katz and
                  Fernando Servan},
  title        = {Using Web Services to Interoperate Data at the {FAO}},
  booktitle    = {Proceedings of the 2002 International Conference on Dublin Core and
                  Metadata Applications, {DC} 2002, Florence, Italy, October 13-17,
                  2002},
  pages        = {147--156},
  publisher    = {Dublin Core Metadata Initiative},
  year         = {2002},
  url          = {http://dcpapers.dublincore.org/pubs/article/view/705},
  timestamp    = {Wed, 10 Feb 2021 22:01:51 +0100},
  biburl       = {https://dblp.org/rec/conf/dc/ZismanCDKS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/KozlenkovZ02,
  author       = {Alexander Kozlenkov and
                  Andrea Zisman},
  title        = {Are their Design Specifications Consistent with our Requirements?},
  booktitle    = {10th Anniversary {IEEE} Joint International Conference on Requirements
                  Engineering {(RE} 2002), 9-13 September 2002, Essen, Germany},
  pages        = {145--156},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICRE.2002.1048517},
  doi          = {10.1109/ICRE.2002.1048517},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/KozlenkovZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/ZismanA01,
  author       = {Andrea Zisman and
                  Adamantia Athanasopoulou},
  editor       = {Klaus R. Dittrich and
                  Andreas Geppert and
                  Moira C. Norrie},
  title        = {Consistency Management of Financial {XML} Documents},
  booktitle    = {Advanced Information Systems Engineering, 13th International Conference,
                  CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2068},
  pages        = {219--233},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45341-5\_15},
  doi          = {10.1007/3-540-45341-5\_15},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/ZismanA01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZismanK01,
  author       = {Andrea Zisman and
                  Alexander Kozlenkov},
  title        = {Knowledge Base Approach to Consistency Management of {UML} Specification},
  booktitle    = {16th {IEEE} International Conference on Automated Software Engineering
                  {(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
                  {USA}},
  pages        = {359--363},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ASE.2001.989829},
  doi          = {10.1109/ASE.2001.989829},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/ZismanK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/NentwichEFZ00,
  author       = {Christian Nentwich and
                  Wolfgang Emmerich and
                  Anthony Finkelstein and
                  Andrea Zisman},
  title        = {{BOX:} Browsing objects in {XML}},
  journal      = {Softw. Pract. Exp.},
  volume       = {30},
  number       = {15},
  pages        = {1661--1676},
  year         = {2000},
  url          = {https://doi.org/10.1002/1097-024X(200012)30:15\&\#60;1661::AID-SPE353\&\#62;3.0.CO;2-O},
  doi          = {10.1002/1097-024X(200012)30:15\&\#60;1661::AID-SPE353\&\#62;3.0.CO;2-O},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/NentwichEFZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/ZismanEF00,
  author       = {Andrea Zisman and
                  Wolfgang Emmerich and
                  Anthony Finkelstein},
  title        = {Using {XML} to Build Consistency Rules for Distributed Specifications},
  booktitle    = {Proceedings of the 10th International Workshop on Software Specification
                  and Design, Shelter Island, San Diego, California, USA, November 5-7,
                  2000},
  pages        = {141--148},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://dl.acm.org/doi/10.5555/857171.857212},
  doi          = {10.5555/857171.857212},
  timestamp    = {Fri, 13 May 2022 15:20:05 +0200},
  biburl       = {https://dblp.org/rec/conf/iwssd/ZismanEF00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oois/SpanoudakisZ00,
  author       = {George Spanoudakis and
                  Andrea Zisman},
  editor       = {Dilip Patel and
                  Islam Choudhury and
                  Shushma Patel and
                  Sergio de Cesare},
  title        = {Information Monitors: An Architecture Based on {XML}},
  booktitle    = {6th International Conference on Object Oriented Information Systems,
                  {OOIS} 2000, London, UK, December 18-20, 2000. Proceedings},
  pages        = {442--455},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-1-4471-0299-1\_38},
  doi          = {10.1007/978-1-4471-0299-1\_38},
  timestamp    = {Tue, 25 Jun 2019 12:25:42 +0200},
  biburl       = {https://dblp.org/rec/conf/oois/SpanoudakisZ00.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}
}
@inproceedings{DBLP:conf/re/ZismanF99,
  author       = {Andrea Zisman and
                  Anthony Finkelstein},
  title        = {{XML} for Software Engineers},
  booktitle    = {4th {IEEE} International Symposium on Requirements Engineering {(RE}
                  '99), 7-11 June 1999, Limerick, Ireland},
  pages        = {193},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.ieeecomputersociety.org/10.1109/RE.1999.10014},
  doi          = {10.1109/RE.1999.10014},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/ZismanF99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Zisman98,
  author       = {Andrea Zisman},
  title        = {Information discovery for interoperable autonomous database systems},
  school       = {Imperial College London, {UK}},
  year         = {1998},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.299787},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Zisman98.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/vldb/SetzerZ94,
  author       = {V. W. Setzer and
                  Andrea Zisman},
  editor       = {Jorge B. Bocca and
                  Matthias Jarke and
                  Carlo Zaniolo},
  title        = {New Concurrency Control Algorithms for Accessing and Compacting B-Trees},
  booktitle    = {VLDB'94, Proceedings of 20th International Conference on Very Large
                  Data Bases, September 12-15, 1994, Santiago de Chile, Chile},
  pages        = {238--248},
  publisher    = {Morgan Kaufmann},
  year         = {1994},
  url          = {http://www.vldb.org/conf/1994/P238.PDF},
  timestamp    = {Wed, 29 Mar 2017 16:45:24 +0200},
  biburl       = {https://dblp.org/rec/conf/vldb/SetzerZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics