BibTeX records: Jocelyn Simmonds

download as .bib file

@article{DBLP:journals/infsof/MarquesSRB19,
  author    = {Maira Marques and
               Jocelyn Simmonds and
               Pedro O. Rossel and
               Mar{\'{\i}}a Cecilia Bastarrica},
  title     = {Software product line evolution: {A} systematic literature review},
  journal   = {Information {\&} Software Technology},
  volume    = {105},
  pages     = {190--208},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.infsof.2018.08.014},
  doi       = {10.1016/j.infsof.2018.08.014},
  timestamp = {Wed, 26 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/MarquesSRB19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BastarricaHSS18,
  author    = {Mar{\'{\i}}a Cecilia Bastarrica and
               Nancy Hitschfeld and
               Maira Marques Samary and
               Jocelyn Simmonds},
  title     = {Affirmative Action for Attracting Women to {STEM} in Chile},
  booktitle = {2018 {IEEE/ACM} 1st International Workshop on Gender Equality in Software
               Engineering, GE@ICSE, Gothenburg, Sweden, May 28, 2018},
  pages     = {45--48},
  year      = {2018},
  crossref  = {DBLP:conf/icse/2018ge},
  url       = {http://ieeexplore.ieee.org/document/8452752},
  timestamp = {Thu, 06 Sep 2018 13:30:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/BastarricaHSS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SimmondsSTME18,
  author    = {Jocelyn Simmonds and
               Maira Marques Samary and
               Milenko Tomic and
               Francisco Madrid and
               Constanza Escobar},
  title     = {Software engineering for millennials, by millennials},
  booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
               Education for Millennials, SEEM@ICSE 2018, Gothenburg, Sweden, June
               2, 2018},
  pages     = {72--79},
  year      = {2018},
  crossref  = {DBLP:conf/icse/2018seem},
  url       = {https://doi.org/10.1145/3194779.3194787},
  doi       = {10.1145/3194779.3194787},
  timestamp = {Wed, 21 Nov 2018 12:43:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/SimmondsSTME18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GutierrezSHCSA18,
  author    = {Francisco J. Gutierrez and
               Jocelyn Simmonds and
               Nancy Hitschfeld and
               Cecilia Casanova and
               Cecilia Sotomayor and
               Vanessa Pe{\~{n}}a Araya},
  title     = {Assessing software development skills among {K-6} learners in a project-based
               workshop with scratch},
  booktitle = {Proceedings of the 40th International Conference on Software Engineering:
               Software Engineering Education and Training, {ICSE} {(SEET)} 2018,
               Gothenburg, Sweden, May 27 - June 03, 2018},
  pages     = {98--107},
  year      = {2018},
  crossref  = {DBLP:conf/icse/2018seet},
  url       = {https://doi.org/10.1145/3183377.3183396},
  doi       = {10.1145/3183377.3183396},
  timestamp = {Tue, 12 Feb 2019 15:51:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/GutierrezSHCSA18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/GutierrezSCSH18,
  author    = {Francisco J. Gutierrez and
               Jocelyn Simmonds and
               Cecilia Casanova and
               Cecilia Sotomayor and
               Nancy Hitschfeld},
  title     = {Coding or Hacking?: Exploring Inaccurate Views on Computing and Computer
               Scientists among {K-6} Learners in Chile},
  booktitle = {Proceedings of the 49th {ACM} Technical Symposium on Computer Science
               Education, {SIGCSE} 2018, Baltimore, MD, USA, February 21-24, 2018},
  pages     = {993--998},
  year      = {2018},
  crossref  = {DBLP:conf/sigcse/2018},
  url       = {https://doi.org/10.1145/3159450.3159598},
  doi       = {10.1145/3159450.3159598},
  timestamp = {Tue, 06 Nov 2018 11:07:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/GutierrezSCSH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2018mise,
  editor    = {Jennifer Horkoff and
               Sahar Kokaly and
               Richard F. Paige and
               Jocelyn Simmonds},
  title     = {Proceedings of the 10th International Workshop on Modelling in Software
               Engineering, MiSE@ICSE 2018, Gothenburg, Sweden, May 27-28, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3193954},
  isbn      = {978-1-4503-5735-7},
  timestamp = {Thu, 30 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2018mise},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-03518,
  author    = {Jocelyn Simmonds and
               Maira Marques Samary and
               Milenko Tomic and
               Francisco Madrid and
               Constanza Escobar},
  title     = {Software Engineering for Millennials, by Millennials},
  journal   = {CoRR},
  volume    = {abs/1804.03518},
  year      = {2018},
  url       = {http://arxiv.org/abs/1804.03518},
  archivePrefix = {arXiv},
  eprint    = {1804.03518},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1804-03518},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2017fosd,
  editor    = {Jocelyn Simmonds and
               Eric Walkingshaw},
  title     = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Feature-Oriented
               Software Development, FOSD@SPLASH 2017, Vancouver, BC, Canada, October
               23, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3141848},
  isbn      = {978-1-4503-5518-6},
  timestamp = {Tue, 27 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2017fosd},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/BlumSB16,
  author    = {Fabian Rojas Blum and
               Jocelyn Simmonds and
               Mar{\'{\i}}a Cecilia Bastarrica},
  title     = {The \emph{v-algorithm} for discovering software process lines},
  journal   = {Journal of Software: Evolution and Process},
  volume    = {28},
  number    = {9},
  pages     = {783--799},
  year      = {2016},
  url       = {https://doi.org/10.1002/smr.1778},
  doi       = {10.1002/smr.1778},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/smr/BlumSB16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/BarbaySNR16,
  author    = {J{\'{e}}r{\'{e}}my Barbay and
               Jocelyn Simmonds and
               Adriana Keiko Nishida and
               Monael Pinheiro Ribeiro},
  title     = {"Teaching is learning": Pedagogical material created and
               evaluated by students},
  booktitle = {2016 {IEEE} Frontiers in Education Conference, {FIE} 2015, Eire, PA,
               USA, October 12-15, 2016},
  pages     = {1--5},
  year      = {2016},
  crossref  = {DBLP:conf/fie/2016},
  url       = {https://doi.org/10.1109/FIE.2016.7757598},
  doi       = {10.1109/FIE.2016.7757598},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fie/BarbaySNR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SilvaS16,
  author    = {Alexis Silva and
               Jocelyn Simmonds},
  title     = {BehaviorDroid: monitoring Android applications},
  booktitle = {Proceedings of the International Conference on Mobile Software Engineering
               and Systems, MOBILESoft '16, Austin, Texas, USA, May 14-22, 2016},
  pages     = {19--20},
  year      = {2016},
  crossref  = {DBLP:conf/icse/2016mobilesoft},
  url       = {https://doi.org/10.1145/2897073.2897121},
  doi       = {10.1145/2897073.2897121},
  timestamp = {Tue, 06 Nov 2018 11:06:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/SilvaS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/BlumSB15,
  author    = {Fabian Rojas Blum and
               Jocelyn Simmonds and
               Mar{\'{\i}}a Cecilia Bastarrica},
  title     = {Software process line discovery},
  booktitle = {Proceedings of the 2015 International Conference on Software and System
               Process, {ICSSP} 2015, Tallinn, Estonia, August 24 - 26, 2015},
  pages     = {127--136},
  year      = {2015},
  crossref  = {DBLP:conf/ispw/2015},
  url       = {https://doi.org/10.1145/2785592.2785605},
  doi       = {10.1145/2785592.2785605},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ispw/BlumSB15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SimmondsPBS15,
  author    = {Jocelyn Simmonds and
               Daniel Perovich and
               Mar{\'{\i}}a Cecilia Bastarrica and
               Luis Silvestre},
  title     = {A megamodel for Software Process Line modeling and evolution},
  booktitle = {18th {ACM/IEEE} International Conference on Model Driven Engineering
               Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September
               30 - October 2, 2015},
  pages     = {406--415},
  year      = {2015},
  crossref  = {DBLP:conf/models/2015},
  url       = {https://doi.org/10.1109/MODELS.2015.7338272},
  doi       = {10.1109/MODELS.2015.7338272},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/SimmondsPBS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sccc/RiveraBBS15,
  author    = {Diego Rivera and
               Sebastian Blasco and
               Javier Bustos{-}Jim{\'{e}}nez and
               Jocelyn Simmonds},
  title     = {Spin lock killed the performance star},
  booktitle = {34th International Conference of the Chilean Computer Science Society,
               {SCCC} 2015, Santiago, Chile, November 9-13, 2015},
  pages     = {1--6},
  year      = {2015},
  crossref  = {DBLP:conf/sccc/2015},
  url       = {https://doi.org/10.1109/SCCC.2015.7416588},
  doi       = {10.1109/SCCC.2015.7416588},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sccc/RiveraBBS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/PilarSA14,
  author    = {Marina Pilar and
               Jocelyn Simmonds and
               Hern{\'{a}}n Astudillo},
  title     = {Semi-automated Tool Recommender for Software Development Processes},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {302},
  pages     = {95--109},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.entcs.2014.01.022},
  doi       = {10.1016/j.entcs.2014.01.022},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/PilarSA14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BastarricaSS14,
  author    = {Mar{\'{\i}}a Cecilia Bastarrica and
               Jocelyn Simmonds and
               Luis Silvestre},
  title     = {Using megamodeling to improve industrial adoption of complex {MDE}
               solutions},
  booktitle = {6th International Workshop on Modeling in Software Engineering, MiSE
               2014, Hyderabad, India, June 2-3, 2014},
  pages     = {31--36},
  year      = {2014},
  crossref  = {DBLP:conf/icse/2014mise},
  url       = {https://doi.org/10.1145/2593770.2593773},
  doi       = {10.1145/2593770.2593773},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/BastarricaSS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/SimmondsBC13,
  author    = {Jocelyn Simmonds and
               Shoham Ben{-}David and
               Marsha Chechik},
  title     = {Monitoring and recovery for web service applications},
  journal   = {Computing},
  volume    = {95},
  number    = {3},
  pages     = {223--267},
  year      = {2013},
  url       = {https://doi.org/10.1007/s00607-012-0215-y},
  doi       = {10.1007/s00607-012-0215-y},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/computing/SimmondsBC13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/AlegriaBOS13,
  author    = {Julio Ariel Hurtado Alegria and
               Mar{\'{\i}}a Cecilia Bastarrica and
               Sergio F. Ochoa and
               Jocelyn Simmonds},
  title     = {{MDE} software process lines in small companies},
  journal   = {Journal of Systems and Software},
  volume    = {86},
  number    = {5},
  pages     = {1153--1171},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.jss.2012.09.033},
  doi       = {10.1016/j.jss.2012.09.033},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jss/AlegriaBOS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SimmondsBSQ13,
  author    = {Jocelyn Simmonds and
               Mar{\'{\i}}a Cecilia Bastarrica and
               Luis Silvestre and
               Alcides Quispe},
  title     = {Variability in software process models: Requirements for adoption
               in industrial settings},
  booktitle = {4th International Workshop on Product LinE Approaches in Software
               Engineering, {PLEASE} 2013, San Francisco, CA, USA, May 20, 2013},
  pages     = {33--36},
  year      = {2013},
  crossref  = {DBLP:conf/icse/2013please},
  url       = {https://doi.org/10.1109/PLEASE.2013.6608661},
  doi       = {10.1109/PLEASE.2013.6608661},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/SimmondsBSQ13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sccc/VasquezS13,
  author    = {Sebastian Vasquez and
               Jocelyn Simmonds},
  title     = {Mobile Application Monitoring},
  booktitle = {32nd International Conference of the Chilean Computer Science Society,
               {SCCC} 2013, Temuco, Cautin, Chile, November 11-15, 2013},
  pages     = {30--32},
  year      = {2013},
  crossref  = {DBLP:conf/sccc/2013},
  url       = {https://doi.org/10.1109/SCCC.2013.16},
  doi       = {10.1109/SCCC.2013.16},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sccc/VasquezS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/cascon/ChechikSLNSS13,
  author    = {Marsha Chechik and
               Jocelyn Simmonds and
               Sotirios Liaskos and
               Shiva Nejati and
               Mehrdad Sabetzadeh and
               Rick Salay},
  title     = {{PWWM:} {A} Personal Web Workflow Methodology},
  booktitle = {The Personal Web - {A} Research Agenda},
  pages     = {11--48},
  year      = {2013},
  crossref  = {DBLP:conf/cascon/2013p},
  url       = {https://doi.org/10.1007/978-3-642-39995-4\_2},
  doi       = {10.1007/978-3-642-39995-4\_2},
  timestamp = {Wed, 14 Nov 2018 10:57:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cascon/ChechikSLNSS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SimmondsDGC10,
  author    = {Jocelyn Simmonds and
               Jessica Davies and
               Arie Gurfinkel and
               Marsha Chechik},
  title     = {Exploiting resolution proofs to speed up {LTL} vacuity detection for
               {BMC}},
  journal   = {{STTT}},
  volume    = {12},
  number    = {5},
  pages     = {319--335},
  year      = {2010},
  url       = {https://doi.org/10.1007/s10009-009-0134-1},
  doi       = {10.1007/s10009-009-0134-1},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/SimmondsDGC10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SimmondsC10,
  author    = {Jocelyn Simmonds and
               Marsha Chechik},
  title     = {RuMoR: monitoring and recovery for {BPEL} applications},
  booktitle = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
               Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages     = {345--346},
  year      = {2010},
  crossref  = {DBLP:conf/kbse/2010},
  url       = {https://doi.org/10.1145/1858996.1859068},
  doi       = {10.1145/1858996.1859068},
  timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/SimmondsC10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SimmondsBC10,
  author    = {Jocelyn Simmonds and
               Shoham Ben{-}David and
               Marsha Chechik},
  title     = {Guided recovery for web service applications},
  booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
               7-11, 2010},
  pages     = {247--256},
  year      = {2010},
  crossref  = {DBLP:conf/sigsoft/2010},
  url       = {https://doi.org/10.1145/1882291.1882328},
  doi       = {10.1145/1882291.1882328},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/SimmondsBC10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-3710,
  author    = {Jocelyn Simmonds and
               Shoham Ben{-}David and
               Marsha Chechik},
  title     = {Optimizing Computation of Recovery Plans for {BPEL} Applications},
  booktitle = {Proceedings Fourth International Workshop on Testing, Analysis and
               Verification of Web Software, {TAV-WEB} 2010, Antwerp, Belgium, 21
               September 2010.},
  pages     = {3--14},
  year      = {2010},
  crossref  = {DBLP:journals/corr/abs-1009-3306},
  url       = {https://doi.org/10.4204/EPTCS.35.1},
  doi       = {10.4204/EPTCS.35.1},
  timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1009-3710},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/cascon/SimmondsBC10,
  author    = {Jocelyn Simmonds and
               Shoham Ben{-}David and
               Marsha Chechik},
  title     = {Monitoring and Recovery of Web Service Applications},
  booktitle = {The Smart Internet - Current Research and Future Applications},
  pages     = {250--288},
  year      = {2010},
  crossref  = {DBLP:conf/cascon/2010smart},
  url       = {https://doi.org/10.1007/978-3-642-16599-3\_17},
  doi       = {10.1007/978-3-642-16599-3\_17},
  timestamp = {Wed, 14 Nov 2018 10:57:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cascon/SimmondsBC10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/SimmondsGCNOLW09,
  author    = {Jocelyn Simmonds and
               Yuan Gan and
               Marsha Chechik and
               Shiva Nejati and
               Bill O'Farrell and
               Elena Litani and
               Julie Waterhouse},
  title     = {Runtime Monitoring of Web Service Conversations},
  journal   = {{IEEE} Trans. Services Computing},
  volume    = {2},
  number    = {3},
  pages     = {223--244},
  year      = {2009},
  url       = {https://doi.org/10.1109/TSC.2009.16},
  doi       = {10.1109/TSC.2009.16},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tsc/SimmondsGCNOLW09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/SimmondsBHR08,
  author    = {Jocelyn Simmonds and
               M. Cecilia Bastarrica and
               Nancy Hitschfeld{-}Kahler and
               Sebasti{\'{a}}n Rivas},
  title     = {A Tool Based on {DL} for {UML} Model Consistency Checking},
  journal   = {International Journal of Software Engineering and Knowledge Engineering},
  volume    = {18},
  number    = {6},
  pages     = {713--735},
  year      = {2008},
  url       = {https://doi.org/10.1142/S0218194008003829},
  doi       = {10.1142/S0218194008003829},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijseke/SimmondsBHR08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/SimmondsCNLO08,
  author    = {Jocelyn Simmonds and
               Marsha Chechik and
               Shiva Nejati and
               Elena Litani and
               Bill O'Farrell},
  title     = {Property Patterns for Runtime Monitoring of Web Service Conversations},
  booktitle = {Runtime Verification, 8th International Workshop, {RV} 2008, Budapest,
               Hungary, March 30, 2008. Selected Papers},
  pages     = {137--157},
  year      = {2008},
  crossref  = {DBLP:conf/rv/2008},
  url       = {https://doi.org/10.1007/978-3-540-89247-2\_9},
  doi       = {10.1007/978-3-540-89247-2\_9},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/SimmondsCNLO08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SimmondsDGC07,
  author    = {Jocelyn Simmonds and
               Jessica Davies and
               Arie Gurfinkel and
               Marsha Chechik},
  title     = {Exploiting Resolution Proofs to Speed Up {LTL} Vacuity Detection for
               {BMC}},
  booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
               {FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
  pages     = {3--12},
  year      = {2007},
  crossref  = {DBLP:conf/fmcad/2007},
  url       = {https://doi.org/10.1109/FAMCAD.2007.16},
  doi       = {10.1109/FAMCAD.2007.16},
  timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/SimmondsDGC07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SimmondsB05,
  author    = {Jocelyn Simmonds and
               M. Cecilia Bastarrica},
  title     = {A tool for automatic {UML} model consistency checking},
  booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
  pages     = {431--432},
  year      = {2005},
  crossref  = {DBLP:conf/kbse/2005},
  url       = {https://doi.org/10.1145/1101908.1101989},
  doi       = {10.1145/1101908.1101989},
  timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/SimmondsB05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/SimmondsSJM04,
  author    = {Jocelyn Simmonds and
               Ragnhild Van Der Straeten and
               Viviane Jonckers and
               Tom Mens},
  title     = {Maintaining Consistency between {UML} Models Using Description Logic},
  journal   = {L'OBJET},
  volume    = {10},
  number    = {2-3},
  pages     = {231--244},
  year      = {2004},
  url       = {https://doi.org/10.3166/objet.10.2-3.231-244},
  doi       = {10.3166/objet.10.2-3.231-244},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/Lobjet/SimmondsSJM04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/StraetenSM03,
  author    = {Ragnhild Van Der Straeten and
               Jocelyn Simmonds and
               Tom Mens},
  title     = {Detecting Inconsistencies between {UML} Models Using Description Logic},
  booktitle = {Proceedings of the 2003 International Workshop on Description Logics
               (DL2003), Rome, Italy September 5-7, 2003},
  year      = {2003},
  crossref  = {DBLP:conf/dlog/2003},
  url       = {http://ceur-ws.org/Vol-81/vanderstraeten.pdf},
  timestamp = {Mon, 30 May 2016 15:43:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/StraetenSM03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/StraetenMSJ03,
  author    = {Ragnhild Van Der Straeten and
               Tom Mens and
               Jocelyn Simmonds and
               Viviane Jonckers},
  title     = {Using Description Logic to Maintain Consistency between {UML} Models},
  booktitle = {{\guillemotleft}UML{\guillemotright} 2003 - The Unified Modeling Language,
               Modeling Languages and Applications, 6th International Conference,
               San Francisco, CA, USA, October 20-24, 2003, Proceedings},
  pages     = {326--340},
  year      = {2003},
  crossref  = {DBLP:conf/uml/2003},
  url       = {https://doi.org/10.1007/978-3-540-45221-8\_28},
  doi       = {10.1007/978-3-540-45221-8\_28},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uml/StraetenMSJ03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2018ge,
  title     = {2018 {IEEE/ACM} 1st International Workshop on Gender Equality in Software
               Engineering, GE@ICSE, Gothenburg, Sweden, May 28, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8452040},
  isbn      = {978-1-4503-5738-8},
  timestamp = {Thu, 06 Sep 2018 13:30:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2018ge},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2018seem,
  editor    = {C{\'{e}}cile P{\'{e}}raire and
               Hakan Erdogmus},
  title     = {Proceedings of the 2nd International Workshop on Software Engineering
               Education for Millennials, SEEM@ICSE 2018, Gothenburg, Sweden, June
               2, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3194779},
  doi       = {10.1145/3194779},
  isbn      = {978-1-4503-5750-0},
  timestamp = {Wed, 21 Nov 2018 12:43:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2018seem},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2018seet,
  editor    = {Patricia Lago and
               Michal Young},
  title     = {Proceedings of the 40th International Conference on Software Engineering:
               Software Engineering Education and Training, {ICSE} {(SEET)} 2018,
               Gothenburg, Sweden, May 27 - June 03, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3183377},
  doi       = {10.1145/3183377},
  isbn      = {978-1-4503-5660-2},
  timestamp = {Tue, 12 Feb 2019 15:51:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2018seet},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcse/2018,
  editor    = {Tiffany Barnes and
               Daniel D. Garcia and
               Elizabeth K. Hawthorne and
               Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones},
  title     = {Proceedings of the 49th {ACM} Technical Symposium on Computer Science
               Education, {SIGCSE} 2018, Baltimore, MD, USA, February 21-24, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3159450},
  doi       = {10.1145/3159450},
  timestamp = {Tue, 06 Nov 2018 11:07:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fie/2016,
  title     = {2016 {IEEE} Frontiers in Education Conference, {FIE} 2015, Eire, PA,
               USA, October 12-15, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7749394},
  isbn      = {978-1-5090-1790-4},
  timestamp = {Fri, 13 Jan 2017 11:27:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fie/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2016mobilesoft,
  title     = {Proceedings of the International Conference on Mobile Software Engineering
               and Systems, MOBILESoft '16, Austin, Texas, USA, May 14-22, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2897073},
  doi       = {10.1145/2897073},
  isbn      = {978-1-4503-4178-3},
  timestamp = {Tue, 06 Nov 2018 11:06:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2016mobilesoft},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ispw/2015,
  editor    = {Dietmar Pfahl and
               Reda Bendraou and
               Richard Turner and
               Marco Kuhrmann and
               Regina Hebig and
               Fabrizio Maria Maggi},
  title     = {Proceedings of the 2015 International Conference on Software and System
               Process, {ICSSP} 2015, Tallinn, Estonia, August 24 - 26, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2785592},
  isbn      = {978-1-4503-3346-7},
  timestamp = {Tue, 12 Jul 2016 21:51:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ispw/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2015,
  editor    = {Timothy Lethbridge and
               Jordi Cabot and
               Alexander Egyed},
  title     = {18th {ACM/IEEE} International Conference on Model Driven Engineering
               Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September
               30 - October 2, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7328153},
  isbn      = {978-1-4673-6908-4},
  timestamp = {Fri, 23 Dec 2016 15:59:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/models/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sccc/2015,
  title     = {34th International Conference of the Chilean Computer Science Society,
               {SCCC} 2015, Santiago, Chile, November 9-13, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7411943},
  isbn      = {978-1-4673-9817-6},
  timestamp = {Wed, 02 Mar 2016 15:10:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sccc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2014mise,
  editor    = {Joanne M. Atlee and
               Vinay Kulkarni and
               Tony Clark and
               Robert B. France and
               Bernhard Rumpe},
  title     = {6th International Workshop on Modeling in Software Engineering, MiSE
               2014, Hyderabad, India, June 2-3, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2593770},
  isbn      = {978-1-4503-2849-4},
  timestamp = {Fri, 06 Jun 2014 17:52:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2014mise},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2013please,
  title     = {4th International Workshop on Product LinE Approaches in Software
               Engineering, {PLEASE} 2013, San Francisco, CA, USA, May 20, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6596170},
  isbn      = {978-1-4673-6449-2},
  timestamp = {Tue, 03 May 2016 16:56:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2013please},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sccc/2013,
  title     = {32nd International Conference of the Chilean Computer Science Society,
               {SCCC} 2013, Temuco, Cautin, Chile, November 11-15, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7811935},
  isbn      = {978-1-5090-0426-3},
  timestamp = {Wed, 18 Jan 2017 12:40:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sccc/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/cascon/2013p,
  editor    = {Mark H. Chignell and
               James R. Cordy and
               Ryan Kealey and
               Joanna Ng and
               Yelena Yesha},
  title     = {The Personal Web - {A} Research Agenda},
  series    = {Lecture Notes in Computer Science},
  volume    = {7855},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39995-4},
  doi       = {10.1007/978-3-642-39995-4},
  isbn      = {978-3-642-39994-7},
  timestamp = {Wed, 14 Nov 2018 10:57:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cascon/2013p},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2010,
  editor    = {Charles Pecheur and
               Jamie Andrews and
               Elisabetta Di Nitto},
  title     = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
               Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1858996},
  doi       = {10.1145/1858996},
  isbn      = {978-1-4503-0116-9},
  timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2010,
  editor    = {Gruia{-}Catalin Roman and
               Andr{\'{e}} van der Hoek},
  title     = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
               7-11, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-791-2},
  timestamp = {Mon, 16 Apr 2018 15:34:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1009-3306,
  editor    = {Gwen Sala{\"{u}}n and
               Xiang Fu and
               Sylvain Hall{\'{e}}},
  title     = {Proceedings Fourth International Workshop on Testing, Analysis and
               Verification of Web Software, {TAV-WEB} 2010, Antwerp, Belgium, 21
               September 2010},
  series    = {{EPTCS}},
  volume    = {35},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.35},
  doi       = {10.4204/EPTCS.35},
  timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1009-3306},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/cascon/2010smart,
  editor    = {Mark H. Chignell and
               James R. Cordy and
               Joanna Ng and
               Yelena Yesha},
  title     = {The Smart Internet - Current Research and Future Applications},
  series    = {Lecture Notes in Computer Science},
  volume    = {6400},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16599-3},
  doi       = {10.1007/978-3-642-16599-3},
  isbn      = {978-3-642-16598-6},
  timestamp = {Wed, 14 Nov 2018 10:57:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cascon/2010smart},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2008,
  editor    = {Martin Leucker},
  title     = {Runtime Verification, 8th International Workshop, {RV} 2008, Budapest,
               Hungary, March 30, 2008. Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5289},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89247-2},
  doi       = {10.1007/978-3-540-89247-2},
  isbn      = {978-3-540-89246-5},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2007,
  title     = {Formal Methods in Computer-Aided Design, 7th International Conference,
               {FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4401966},
  isbn      = {0-7695-3023-0},
  timestamp = {Fri, 01 Apr 2016 10:10:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2007},
  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 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2003,
  editor    = {Diego Calvanese and
               Giuseppe {De Giacomo} and
               Enrico Franconi},
  title     = {Proceedings of the 2003 International Workshop on Description Logics
               (DL2003), Rome, Italy September 5-7, 2003},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {81},
  publisher = {CEUR-WS.org},
  year      = {2003},
  url       = {http://ceur-ws.org/Vol-81},
  urn       = {urn:nbn:de:0074-81-5},
  timestamp = {Mon, 30 May 2016 15:43:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uml/2003,
  editor    = {Perdita Stevens and
               Jon Whittle and
               Grady Booch},
  title     = {{\guillemotleft}UML{\guillemotright} 2003 - The Unified Modeling Language,
               Modeling Languages and Applications, 6th International Conference,
               San Francisco, CA, USA, October 20-24, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2863},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b14063},
  doi       = {10.1007/b14063},
  isbn      = {3-540-20243-9},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uml/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier