@InProceedings{BotterweckEtAl09, author = { Goetz Botterweck and Mikol{\'a}\v{s} Janota and Denny Schneeweiss }, title = { A Design of a Configurable Feature Model Configurator }, booktitle = {VaMoS}, year = 2009, pages = {165-168} } @InProceedings{ChalinEtal06, author = { Patrice Chalin and Joseph R.~Kiniry and Gary T.~Leavens and Erik Poll }, title = " Beyond Assertions: Advanced Specification and Verification with {JML} and {ESC/Java2} ", booktitle = " Proceedings of the International Symposium on Formal Methods for Components and Objects ({FMCO}) ", year = 2006, series = { Lecture Notes in Computer Science }, publisher = { Springer-Verlag }, volume = 4111, pages = { 342-363 }, grant = { mobius }, keywords = { mobius, wp3 } } @InProceedings{ChalinHurlinKiniry05, author = { Patrice Chalin and Cl{\'{e}}ment Hurlin and Joseph R.~Kiniry }, title = { Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification }, booktitle = " Verified Software: Tools, Technologies, and Experiences ({VSTTE}) ", year = 2005, address = { Zurich, Switzerland }, grant = { mobius }, keywords = { mobius, wp3 } } @InProceedings{CochranKiniry10, author = { Dermot Cochran and Joseph Kiniry }, title = " {Votail}: A Formally Specified and Verified Ballot Counting System for Irish {PR-STV} Elections ", booktitle = { Pre-proceedings of the 1st International Conference on Formal Verification of Object-Oriented Software (FoVeOOS) }, year = 2010, note = { Published only as technical report accompanying conference at the moment. } } @InProceedings{DelBiancoStosicKiniry10, author = { Vieri del Bianco and Dragan Stosic and Joseph Kiniry }, title = {Agile Formality: A "Mole" of Software Engineering Practices}, booktitle = { Proceedings of Agile Methods + Formal Methods (AM+FM) }, year = 2010, series = lni, volume = 179 } @InProceedings{FairmichaelKiniry10, author = { Fintan Fairmichael and Joseph R.~Kiniry }, title = { Verified Visualisation of Textual Modelling Languages }, booktitle = " Proceedings of the Workshop on OCL and Textual Modelling at {MODELS} ", year = 2010, note = { Revised version will be published in open access journal in 2011. } } @Article{FairmichaelKiniry11, author = { Fintan Fairmichael and Joseph R.~Kiniry }, title = { Verified Visualisation of Textual Modelling Languages }, journal = " Electronic Communications of the {EASST} ", year = 2011, volume = 36, issn = {1863-2122}, url = { http://eceasst.cs.tu-berlin.de/ } } @InProceedings{GrigoreEtAl09, author = { Radu Grigore and Julien Charles and Fintan Fairmichael and Joseph Kiniry }, title = { Strongest Postcondition of Unstructured Programs }, booktitle = " Workshop on Formal Techniques for Java Programs ({FTfJP}) ", year = 2009 } @InProceedings{GrigoreM07, author = { Radu Grigore and Michal Moska{\/{l}} }, title = { Edit and Verify }, booktitle = { Workshop on First-Order Theorem Proving }, year = 2007, month = sep, grant = {mobius}, keywords = {mobius,wp3} } @InProceedings{JacobsEtAl04, author = {Bart Jacobs and Engelbert Hubbers and Joseph Kiniry and Martijn Oostdijk}, title = {Counting Votes with Formal Methods}, booktitle = {Algebraic Methodology and Software Technology}, year = 2004, volume = 3116, series = { Lecture Notes in Computer Science } } @InProceedings{Janota07, author = { Mikol{\'{a}}{\v{s}} Janota }, title = { Assertion-based Loop Invariant Generation }, booktitle = " 1st International Workshop on Invariant Generation ({WING}) ", year = 2007, address = { Hagenberg, Austria }, grant = { lero, mobius }, keywords = { mobius, wp3 } } @InProceedings{Janota08, author = {Mikol\'a\v{s} Janota}, title = {Do {SAT} Solvers Make Good Configurators?}, booktitle = {First Workshop on Analyses of Software Product Lines ({ASPL})}, year = 2008, month = sep } @InProceedings{JanotaBotterweck08, author = { Mikol\'a\v{s} Janota and Goetz Botterweck }, title = { Formal Approach to Integrating Feature and Architecture Models }, crossref = { FASE08 }, grant = { lero } } @InProceedings{JanotaEtAl08-MODELS, title = {Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax}, author = { Mikol\'a\v{s} Janota and Victoria Kuzina and Andrzej Wasowski }, crossref = { MODELS08 }, pages = {431--445} } @TechReport{JanotaEtAl08-TR, author = {Mikol\'a\v{s} Janota and Joseph Kiniry and Goetz Botterweck}, title = {Formal Methods in {Software Product Lines}: Concepts, Survey, and Guidelines}, institution = {Lero, University of Limerick}, year = 2008, number = {Lero-TR-SPL-2008-02}, month = may } @InProceedings{JanotaEtAl09, author = { Mikol\'a\v{s} Janota and Fintan Fairmichael and Viliam Holub and Radu Grigore and Julien Charles and Dermot Cochran and Joseph Kiniry }, title = { {CLOPS}: A {DSL} for Command Line Options }, booktitle = { {IFIP} Working Conference on Domain Specific Languages ({DSL WC})}, year = 2009, publisher = { Springer-Verlag } } @InProceedings{JanotaEtAl10, author = { Mikol\'a\v{s} Janota and Goetz Botterweck and Radu Grigore and Joao Marques-Silva }, title = { How to Complete an Interactive Configuration Process? }, booktitle = { Proceeding of 36th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM) }, year = 2010, publisher = { Springer-Verlag } } @InProceedings{JanotaGrigoreMoskal07, author = { Mikol\'a\v{s} Janota and Radu Grigore and Micha{\l} Moskal }, title = { Reachability Analysis for Annotated Code }, booktitle = " 6th International Workshop on the Specification and Verification of Component-Based Systems ({SAVCBS}) ", year = 2007, address = { Dubrovnik, Croatia}, note = " Workshop at {ESEC/FSE} 2007 ", grant = { lero, mobius }, keywords = { mobius, wp3 } } @InProceedings{JanotaKiniry07, author = { Mikol{\'{a}}{\v{s}} Janota and Joseph Kiniry }, title = { Reasoning about Feature Models in Higher-Order Logic }, crossref = { SPLC08 }, grant = { lero, mobius }, keywords = { mobius, wp3 } } @InProceedings{Kiniry03, booktitle = { Proceedings of Workshop on Exception Handling in Object Oriented Systems (ECOOP 2003) }, year = 2003, address = { Darmstadt, Germany }, month = jul } @Article{Kiniry06, author = { Joseph R.~Kiniry }, title = " Exceptions in {Java} and {Eiffel}: Two Extremes in Exception Design and Application ", journal = { Lecture Notes in Computer Science }, year = 2006, volume = 4119, pages = { 288-300 }, note = " Special issue: {Exception Handling} ", grant = { mobius } } @InProceedings{Kiniry07, author = { Joseph R.~Kiniry }, title = { Formally Counting Electronic Votes (But Still Only Trusting Paper) }, booktitle = " 12th IEEE International Conference on Engineering of Complex Computer Systems ({ICECCS}) ", year = 2007, address = { Auckland, New Zealand }, grant = { lero, mobius }, keywords = { mobius, wp5 } } @InProceedings{KiniryCochranTierney07, author = { Joseph R.~Kiniry and Dermot Cochran and Patrick Tierney }, title = { A Verification-Centric Realization of e-Voting }, booktitle = " International Workshop on Electronic Voting Technologies ({EVT}) ", year = 2007, address = { Boston, Massachusetts }, grant = { lero, mobius }, keywords = { mobius, wp5, wp3 } } @InProceedings{KiniryEtAl06, author = { Joseph Kiniry and Alan Morkan and Dermot Cochran and Fintan Fairmichael and Patrice Chalin and Martijn Oostdijk and Engelbert Hubbers }, title = " The {KOA} Remote Voting System: A Summary of Work To Date ", booktitle = " 2nd International Symposium on Trustworthy Global Computing ({TGC}) ", address = { Lucca, Italy }, year = 2006, grant = { mobius }, keywords = { mobius, wp5, wp3 } } @InProceedings{KiniryFairmichael09, author = { Joseph R.~Kiniry and Fintan Fairmichael }, title = { Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations }, booktitle = " Proceedings of the 12th International Symposium on Component Based Software Engineering ({CBSE}) ", pages = {242-261}, year = 2009, volume = 5582, series = { Lecture Notes in Computer Science }, publisher = { Springer-Verlag } } @InProceedings{KiniryMorkan06, author = { Joseph Kiniry and Alan Morkan }, title = " Soundness and Completeness Warnings in {ESC/Java2} ", booktitle = "5th International Workshop on the Specification and Verification of Component-Based Systems ({SAVCBS})", year = 2006, address = { Portland, Oregon }, grant = { mobius, ircset }, keywords = { mobius, wp3 } } @InProceedings{KiniryZimmerman08, author = { Joseph R.~Kiniry and Daniel M.~Zimmerman }, title = { Secret Ninja Formal Methods }, booktitle = " Proceedings of the Fifteenth International Symposium on Formal Methods ({FM}) ", year = 2008, series = { Lecture Notes in Computer Science }, volume = 5014, keywords = { mobius, wp3 } } @InProceedings{KiniryZimmerman09, author = { Joseph Kiniry and Daniel Zimmerman }, title = { A Verification-centric Software Development Process for Java }, booktitle = " The 9th International Conference on Software Quality ({QSIC}) ", year = 2009 } @InProceedings{KiniryZimmerman11, author = { Joseph R.~Kiniry and Daniel M.~Zimmerman }, title = { Verified Gaming }, booktitle = " Proceedings of the 1st Games and Software Engineering Workshop ({GAS}) ", year = 2011, note = { In press. } } @InProceedings{MoskalLopuszanskiKiniry07, author = { M. Moska{\/{l}} and Jakub {\/L}opusza{\'n}ski and Joseph R.~Kiniry }, title = { E-matching for Fun and Profit }, booktitle = " 5th International Workshop on Satisfiability Modulo Theories {SMT} ", year = 2007, grant = { mobius, wp3 } } @InProceedings{ZimmermanKiniryFairmichael11, author = { Daniel M.~Zimmerman and Joseph R.~Kiniry and Fintan Fairmichael }, title = { Toward Instant Gradeification }, booktitle = " Proceedings of the 24th {IEEE-CS} Conference on Software Engineering Education and Training ({CSEE&T}) ", year = 2011, note = { In press. } }