BibTeX records: Kelly Androutsopoulos

download as .bib file

@inproceedings{DBLP:conf/birthday/AmtoftAC15,
  author       = {Torben Amtoft and
                  Kelly Androutsopoulos and
                  David Clark},
  editor       = {Alessandra Di Pierro and
                  Pasquale Malacaria and
                  Rajagopal Nagarajan},
  title        = {Correctly Slicing Extended Finite State Machines},
  booktitle    = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
                  Dedicated to Chris Hankin on the Occasion of His Retirement},
  series       = {Lecture Notes in Computer Science},
  volume       = {12065},
  pages        = {149--197},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-41103-9\_6},
  doi          = {10.1007/978-3-030-41103-9\_6},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/AmtoftAC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gpem/Androutsopoulos19,
  author       = {Kelly Androutsopoulos},
  title        = {Evelyne Lutton, Nathalie Perrot, Alberto Tonda: Evolutionary algorithms
                  for food science and technology - Wiley, 2016, 182 pp, {ISBN:} 978-1-119-13683-5},
  journal      = {Genet. Program. Evolvable Mach.},
  volume       = {20},
  number       = {1},
  pages        = {147--149},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10710-018-9335-2},
  doi          = {10.1007/S10710-018-9335-2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/gpem/Androutsopoulos19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsee/Androutsopoulos18,
  author       = {Kelly Androutsopoulos and
                  L. Aristodemou and
                  Jaap Boender and
                  Michele Bottone and
                  Edward Currie and
                  I. El{-}Aroussi and
                  Bob Fields and
                  L. Gheri and
                  Nikos Gorogiannis and
                  M. Heeney and
                  Michael Micheletti and
                  Martin J. Loomes and
                  Michael Margolis and
                  M. Petridis and
                  A. Piermarteri and
                  Giuseppe Primiero and
                  Franco Raimondi and
                  Nick Weldin},
  editor       = {J{\"{u}}rgen Mottok},
  title        = {{MIRTO:} an Open-Source Robotic Platform for Education},
  booktitle    = {Proceedings of the 3rd European Conference of Software Engineering
                  Education, {ECSEE} 2018, Seeon Monastery, Bavaria, Germany, June 14-15,
                  2018},
  pages        = {55--62},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3209087.3209106},
  doi          = {10.1145/3209087.3209106},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsee/Androutsopoulos18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/els/RaimondiPAGLMVW14,
  author       = {Franco Raimondi and
                  Giuseppe Primiero and
                  Kelly Androutsopoulos and
                  Nikos Gorogiannis and
                  Martin J. Loomes and
                  Michael Margolis and
                  Puja Varsani and
                  Nick Weldin and
                  Alex Zivanovic},
  editor       = {Kent M. Pitman},
  title        = {A Racket-Based Robot to Teach First-Year Computer Science},
  booktitle    = {Proceedings of {ELS} 2014 - 7th European Lisp Symposium, Paris, France,
                  May 5-6, 2014},
  pages        = {54--62},
  publisher    = {{ELSAA}},
  year         = {2014},
  url          = {https://european-lisp-symposium.org/static/proceedings/2014.pdf\#page=62},
  timestamp    = {Thu, 14 Nov 2019 17:08:11 +0100},
  biburl       = {https://dblp.org/rec/conf/els/RaimondiPAGLMVW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AndroutsopoulosCDHH14,
  author       = {Kelly Androutsopoulos and
                  David Clark and
                  Haitao Dan and
                  Robert M. Hierons and
                  Mark Harman},
  editor       = {Pankaj Jalote and
                  Lionel C. Briand and
                  Andr{\'{e}} van der Hoek},
  title        = {An analysis of the relationship between conditional entropy and failed
                  error propagation in software testing},
  booktitle    = {36th International Conference on Software Engineering, {ICSE} '14,
                  Hyderabad, India - May 31 - June 07, 2014},
  pages        = {573--583},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2568225.2568314},
  doi          = {10.1145/2568225.2568314},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/AndroutsopoulosCDHH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/AndroutsopoulosCHKT13,
  author       = {Kelly Androutsopoulos and
                  David Clark and
                  Mark Harman and
                  Jens Krinke and
                  Laurence Tratt},
  title        = {State-based model slicing: {A} survey},
  journal      = {{ACM} Comput. Surv.},
  volume       = {45},
  number       = {4},
  pages        = {53:1--53:36},
  year         = {2013},
  url          = {https://doi.org/10.1145/2501654.2501667},
  doi          = {10.1145/2501654.2501667},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/AndroutsopoulosCHKT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AndroutsopoulosCHHLT13,
  author       = {Kelly Androutsopoulos and
                  David Clark and
                  Mark Harman and
                  Robert M. Hierons and
                  Zheng Li and
                  Laurence Tratt},
  title        = {Amorphous Slicing of Extended Finite State Machines},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {39},
  number       = {7},
  pages        = {892--909},
  year         = {2013},
  url          = {https://doi.org/10.1109/TSE.2012.72},
  doi          = {10.1109/TSE.2012.72},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/AndroutsopoulosCHHLT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AndroutsopoulosBCGHLL11,
  author       = {Kelly Androutsopoulos and
                  David W. Binkley and
                  David Clark and
                  Nicolas Gold and
                  Mark Harman and
                  Kevin Lano and
                  Zheng Li},
  editor       = {Richard N. Taylor and
                  Harald C. Gall and
                  Nenad Medvidovic},
  title        = {Model projection: simplifying models in response to restricting the
                  environment},
  booktitle    = {Proceedings of the 33rd International Conference on Software Engineering,
                  {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  pages        = {291--300},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1985793.1985834},
  doi          = {10.1145/1985793.1985834},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/AndroutsopoulosBCGHLL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AmtoftACHL10,
  author       = {Torben Amtoft and
                  Kelly Androutsopoulos and
                  David Clark and
                  Mark Harman and
                  Zheng Li},
  title        = {An alternative characterization of weak order dependence},
  journal      = {Inf. Process. Lett.},
  volume       = {110},
  number       = {21},
  pages        = {939--943},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.ipl.2010.07.023},
  doi          = {10.1016/J.IPL.2010.07.023},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ipl/AmtoftACHL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AndroutsopoulosCHLT09,
  author       = {Kelly Androutsopoulos and
                  David Clark and
                  Mark Harman and
                  Zheng Li and
                  Laurence Tratt},
  editor       = {Marsha Chechik and
                  Martin Wirsing},
  title        = {Control Dependence for Extended Finite State Machines},
  booktitle    = {Fundamental Approaches to Software Engineering, 12th International
                  Conference, {FASE} 2009, Held as Part of the Joint European Conferences
                  on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
                  22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5503},
  pages        = {216--230},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00593-0\_15},
  doi          = {10.1007/978-3-642-00593-0\_15},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fase/AndroutsopoulosCHLT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/AndroutsopoulosGHLT09,
  author       = {Kelly Androutsopoulos and
                  Nicolas Gold and
                  Mark Harman and
                  Zheng Li and
                  Laurence Tratt},
  title        = {A theoretical and empirical study of {EFSM} dependence},
  booktitle    = {25th {IEEE} International Conference on Software Maintenance {(ICSM}
                  2009), September 20-26, 2009, Edmonton, Alberta, Canada},
  pages        = {287--296},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICSM.2009.5306309},
  doi          = {10.1109/ICSM.2009.5306309},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/AndroutsopoulosGHLT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SpanoudakisKA07,
  author       = {George Spanoudakis and
                  Christos Kloukinas and
                  Kelly Androutsopoulos},
  editor       = {Yookun Cho and
                  Roger L. Wainwright and
                  Hisham Haddad and
                  Sung Y. Shin and
                  Yong Wan Koo},
  title        = {Towards security monitoring patterns},
  booktitle    = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
                  Seoul, Korea, March 11-15, 2007},
  pages        = {1518--1525},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1244002.1244327},
  doi          = {10.1145/1244002.1244327},
  timestamp    = {Sun, 02 Jun 2019 21:18:37 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/SpanoudakisKA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LanoAC05,
  author       = {Kevin Lano and
                  Kelly Androutsopoulos and
                  David Clark},
  editor       = {John Derrick and
                  Eerke A. Boiten},
  title        = {Refinement Patterns for {UML}},
  booktitle    = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford,
                  UK, April 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {137},
  number       = {2},
  pages        = {131--149},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.04.028},
  doi          = {10.1016/J.ENTCS.2005.04.028},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LanoAC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LanoCA04,
  author       = {Kevin Lano and
                  David Clark and
                  Kelly Androutsopoulos},
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Graeme Smith},
  title        = {{UML} to {B:} Formal Verification of Object-Oriented Models},
  booktitle    = {Integrated Formal Methods, 4th International Conference, {IFM} 2004,
                  Canterbury, UK, April 4-7, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2999},
  pages        = {187--206},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24756-2\_11},
  doi          = {10.1007/978-3-540-24756-2\_11},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/LanoCA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/LanoCA03,
  author       = {Kevin Lano and
                  David Clark and
                  Kelly Androutsopoulos},
  title        = {RSDS, a Subset of {UML} with Precise Semantics},
  journal      = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
  volume       = {9},
  number       = {4},
  pages        = {53--73},
  year         = {2003},
  url          = {https://doi.org/10.3166/objet.9.4.53-73},
  doi          = {10.3166/OBJET.9.4.53-73},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/Lobjet/LanoCA03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LanoCA02,
  author       = {Kevin Lano and
                  David Clark and
                  Kelly Androutsopoulos},
  editor       = {Michael J. Butler and
                  Luigia Petre and
                  Kaisa Sere},
  title        = {From Implicit Specifications to Explicit Designs in Reactive System
                  Development},
  booktitle    = {Integrated Formal Methods, Third International Conference, {IFM} 2002,
                  Turku, Finland, May 15-18, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2335},
  pages        = {49--68},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-47884-1\_4},
  doi          = {10.1007/3-540-47884-1\_4},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/LanoCA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/LanoCA02,
  author       = {Kevin Lano and
                  David Clark and
                  Kelly Androutsopoulos},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Safety and Security Analysis of Object-Oriented Models},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {82--93},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_10},
  doi          = {10.1007/3-540-45732-1\_10},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/LanoCA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LanoAC00,
  author       = {Kevin Lano and
                  Kelly Androutsopoulos and
                  David Clark},
  editor       = {T. S. E. Maibaum},
  title        = {Structuring and Design of Reactive Systems Using {RSDS} and {B}},
  booktitle    = {Fundamental Approaches to Software Engineering, Third Internationsl
                  Conference, {FASE} 2000, Held as Part of the European Joint Conferences
                  on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany,
                  March 25 - April 2, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1783},
  pages        = {97--111},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46428-X\_8},
  doi          = {10.1007/3-540-46428-X\_8},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fase/LanoAC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LanoCAK00,
  author       = {Kevin Lano and
                  David Clark and
                  Kelly Androutsopoulos and
                  Pauline Kan},
  editor       = {Mathai Joseph},
  title        = {Invariant-Based Synthesis of Fault-Tolerant Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {46--57},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_6},
  doi          = {10.1007/3-540-45352-0\_6},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/LanoCAK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LanoAK00,
  author       = {Kevin Lano and
                  Kelly Androutsopoulos and
                  Pauline Kan},
  title        = {Structuring Reactive Systems in {B} {AMN}},
  booktitle    = {3rd {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 2000, York, England, UK, September 4-7, 2000, Proceedings},
  pages        = {25--34},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ICFEM.2000.873802},
  doi          = {10.1109/ICFEM.2000.873802},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/LanoAK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LanoA99,
  author       = {Kevin Lano and
                  Kelly Androutsopoulos},
  editor       = {Keijiro Araki and
                  Andy Galloway and
                  Kenji Taguchi},
  title        = {Reactive System Refinement of Distributed Systems in {B}},
  booktitle    = {Integrated Formal Methods, Proceedings of the 1st International Conference
                  on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages        = {415--434},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-1-4471-0851-1\_22},
  doi          = {10.1007/978-1-4471-0851-1\_22},
  timestamp    = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/LanoA99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics