Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Kelly Androutsopoulos
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.