From ad5fedbd88fa05555fa6838ecbaaeb1e9e45b59f Mon Sep 17 00:00:00 2001 From: Joshua Moerman Date: Mon, 12 Nov 2018 21:33:11 +0100 Subject: [PATCH] Geen crossrefs meer --- biblio-eigen.bib | 56 +--- biblio.bib | 786 ++++++++++++----------------------------------- 2 files changed, 216 insertions(+), 626 deletions(-) diff --git a/biblio-eigen.bib b/biblio-eigen.bib index 8ed20b9..6556914 100644 --- a/biblio-eigen.bib +++ b/biblio-eigen.bib @@ -3,13 +3,18 @@ Joshua Moerman and Frits W. Vaandrager and David N. Jansen}, + editor = {Michael J. Butler and + Sylvain Conchon and + Fatiha Za{\"{\i}}di}, title = {Applying Automata Learning to Embedded Control Software}, booktitle = {Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November 3-5, 2015, Proceedings}, + series = {Lecture Notes in Computer Science}, + volume = {9407}, pages = {67--83}, + publisher = {Springer}, year = {2015}, - crossref = {DBLP:conf/icfem/2015}, url = {https://doi.org/10.1007/978-3-319-25423-4\_5}, doi = {10.1007/978-3-319-25423-4\_5}, timestamp = {Tue, 03 Oct 2017 16:28:01 +0200}, @@ -17,35 +22,23 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } -@proceedings{DBLP:conf/icfem/2015, - editor = {Michael J. Butler and - Sylvain Conchon and - Fatiha Za{\"{\i}}di}, - title = {Formal Methods and Software Engineering - 17th International Conference - on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November - 3-5, 2015, Proceedings}, - series = {Lecture Notes in Computer Science}, - volume = {9407}, - publisher = {Springer}, - year = {2015}, - url = {https://doi.org/10.1007/978-3-319-25423-4}, - doi = {10.1007/978-3-319-25423-4}, - isbn = {978-3-319-25422-7}, - timestamp = {Tue, 03 Oct 2017 16:28:01 +0200}, - biburl = {https://dblp.org/rec/bib/conf/icfem/2015}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @inproceedings{DBLP:conf/lata/SmetsersMJ16, author = {Rick Smetsers and Joshua Moerman and David N. Jansen}, + editor = {Adrian{-}Horia Dediu and + Jan Janousek and + Carlos Mart{\'{\i}}n{-}Vide and + Bianca Truthe}, title = {Minimal Separating Sequences for All Pairs of States}, booktitle = {Language and Automata Theory and Applications - 10th International - Conference, {LATA} 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings}, + Conference, {LATA} 2016, Prague, Czech Republic, March 14-18, 2016, + Proceedings}, + series = {Lecture Notes in Computer Science}, + volume = {9618}, pages = {181--193}, + publisher = {Springer}, year = {2016}, - crossref = {DBLP:conf/lata/2016}, url = {https://doi.org/10.1007/978-3-319-30000-9\_14}, doi = {10.1007/978-3-319-30000-9\_14}, timestamp = {Sat, 16 Sep 2017 12:09:57 +0200}, @@ -53,25 +46,6 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } -@proceedings{DBLP:conf/lata/2016, - editor = {Adrian-Horia Dediu and - Jan Janousek and - Carlos Mart{\'{\i}}n-Vide and - Bianca Truthe}, - title = {Language and Automata Theory and Applications - 10th International - Conference, {LATA} 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings}, - series = {Lecture Notes in Computer Science}, - volume = {9618}, - publisher = {Springer}, - year = {2016}, - url = {https://doi.org/10.1007/978-3-319-30000-9}, - doi = {10.1007/978-3-319-30000-9}, - isbn = {978-3-319-29999-0}, - timestamp = {Wed, 24 May 2017 08:29:26 +0200}, - biburl = {https://dblp.org/rec/bib/conf/lata/2016}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @inproceedings{MoermanS0KS17, author = {Joshua Moerman and Matteo Sammartino and diff --git a/biblio.bib b/biblio.bib index ba952dc..b95aa84 100644 --- a/biblio.bib +++ b/biblio.bib @@ -1,12 +1,16 @@ @inproceedings{DBLP:conf/concur/AartsV10, author = {Fides Aarts and Frits W. Vaandrager}, + editor = {Paul Gastin and + Fran{\c{c}}ois Laroussinie}, title = {Learning {I/O} Automata}, booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference, {CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings}, + series = {Lecture Notes in Computer Science}, + volume = {6269}, pages = {71--85}, + publisher = {Springer}, year = {2010}, - crossref = {DBLP:conf/concur/2010}, url = {https://doi.org/10.1007/978-3-642-15375-4\_6}, doi = {10.1007/978-3-642-15375-4\_6}, timestamp = {Tue, 23 May 2017 01:11:19 +0200}, @@ -14,23 +18,6 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } -@proceedings{DBLP:conf/concur/2010, - editor = {Paul Gastin and - Fran{\c{c}}ois Laroussinie}, - title = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference, - {CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings}, - series = {Lecture Notes in Computer Science}, - volume = {6269}, - publisher = {Springer}, - year = {2010}, - url = {https://doi.org/10.1007/978-3-642-15375-4}, - doi = {10.1007/978-3-642-15375-4}, - isbn = {978-3-642-15374-7}, - timestamp = {Tue, 23 May 2017 01:11:19 +0200}, - biburl = {https://dblp.org/rec/bib/conf/concur/2010}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @phdthesis{Aarts14, title = {Tomte: bridging the gap between active learning and real-world systems}, author = {Fides Dorothea Aarts}, @@ -66,12 +53,17 @@ Paul Fiterau{-}Brostean and Harco Kuppens and Frits W. Vaandrager}, + editor = {Martin Leucker and + Camilo Rueda and + Frank D. Valencia}, title = {Learning Register Automata with Fresh Value Generation}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings}, + series = {Lecture Notes in Computer Science}, + volume = {9399}, pages = {165--183}, + publisher = {Springer}, year = {2015}, - crossref = {DBLP:conf/ictac/2015}, url = {https://doi.org/10.1007/978-3-319-25150-9\_11}, doi = {10.1007/978-3-319-25150-9\_11}, timestamp = {Tue, 23 May 2017 01:11:58 +0200}, @@ -79,24 +71,6 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } -@proceedings{DBLP:conf/ictac/2015, - editor = {Martin Leucker and - Camilo Rueda and - Frank D. Valencia}, - title = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International - Colloquium Cali, Colombia, October 29-31, 2015, Proceedings}, - series = {Lecture Notes in Computer Science}, - volume = {9399}, - publisher = {Springer}, - year = {2015}, - url = {https://doi.org/10.1007/978-3-319-25150-9}, - doi = {10.1007/978-3-319-25150-9}, - isbn = {978-3-319-25149-3}, - timestamp = {Tue, 23 May 2017 01:11:58 +0200}, - biburl = {https://dblp.org/rec/bib/conf/ictac/2015}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @article{DBLP:journals/fmsd/AartsJUV15, author = {Fides Aarts and Bengt Jonsson and @@ -134,60 +108,37 @@ @inproceedings{DBLP:conf/colt/AngluinC97, author = {Dana Angluin and Mikl{\'{o}}s Cs{\"{u}}r{\"{o}}s}, + editor = {Yoav Freund and + Robert E. Schapire}, title = {Learning Markov Chains with Variable Memory Length from Noisy Output}, booktitle = {Proceedings of the Tenth Annual Conference on Computational Learning Theory, {COLT} 1997, Nashville, Tennessee, USA, July 6-9, 1997.}, pages = {298--308}, - year = {1997}, - crossref = {DBLP:conf/colt/1997}, - url = {http://doi.acm.org/10.1145/267460.267517}, - doi = {10.1145/267460.267517}, - timestamp = {Fri, 23 Dec 2011 14:54:21 +0100}, - biburl = {https://dblp.org/rec/bib/conf/colt/AngluinC97}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@proceedings{DBLP:conf/colt/1997, - editor = {Yoav Freund and - Robert E. Schapire}, - title = {Proceedings of the Tenth Annual Conference on Computational Learning - Theory, {COLT} 1997, Nashville, Tennessee, USA, July 6-9, 1997}, publisher = {{ACM}}, year = {1997}, - url = {http://dl.acm.org/citation.cfm?id=267460}, - isbn = {0-89791-891-6}, - timestamp = {Mon, 12 Dec 2011 15:03:15 +0100}, - biburl = {https://dblp.org/rec/bib/conf/colt/1997}, + url = {https://doi.org/10.1145/267460.267517}, + doi = {10.1145/267460.267517}, + timestamp = {Tue, 06 Nov 2018 16:59:06 +0100}, + biburl = {https://dblp.org/rec/bib/conf/colt/AngluinC97}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/popl/DAntoniV14, author = {Loris D'Antoni and Margus Veanes}, - title = {Minimization of symbolic automata}, - booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of - Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, - pages = {541--554}, - year = {2014}, - crossref = {DBLP:conf/popl/2014}, - url = {http://doi.acm.org/10.1145/2535838.2535849}, - doi = {10.1145/2535838.2535849}, - timestamp = {Thu, 09 Jan 2014 08:32:32 +0100}, - biburl = {https://dblp.org/rec/bib/conf/popl/DAntoniV14}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@proceedings{DBLP:conf/popl/2014, editor = {Suresh Jagannathan and Peter Sewell}, - title = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of - Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, + title = {Minimization of symbolic automata}, + booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of + Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, + 2014}, + pages = {541--554}, publisher = {{ACM}}, year = {2014}, - url = {http://dl.acm.org/citation.cfm?id=2535838}, - isbn = {978-1-4503-2544-8}, - timestamp = {Thu, 09 Jan 2014 08:21:22 +0100}, - biburl = {https://dblp.org/rec/bib/conf/popl/2014}, + url = {https://doi.org/10.1145/2535838.2535849}, + doi = {10.1145/2535838.2535849}, + timestamp = {Tue, 06 Nov 2018 11:07:43 +0100}, + biburl = {https://dblp.org/rec/bib/conf/popl/DAntoniV14}, bibsource = {dblp computer science bibliography, https://dblp.org} } @@ -260,14 +211,17 @@ Martin Leucker and Harald Raffelt and Bernhard Steffen}, + editor = {Maura Cerioli}, title = {On the Correspondence Between Conformance Testing and Regular Inference}, booktitle = {Fundamental Approaches to Software Engineering, 8th International Conference, {FASE} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, + series = {Lecture Notes in Computer Science}, + volume = {3442}, pages = {175--189}, + publisher = {Springer}, year = {2005}, - crossref = {DBLP:conf/fase/2005}, url = {https://doi.org/10.1007/978-3-540-31984-9\_14}, doi = {10.1007/978-3-540-31984-9\_14}, timestamp = {Tue, 26 Jun 2018 14:11:36 +0200}, @@ -275,36 +229,22 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } -@proceedings{DBLP:conf/fase/2005, - editor = {Maura Cerioli}, - title = {Fundamental Approaches to Software Engineering, 8th International - Conference, {FASE} 2005, Held as Part of the Joint European Conferences - on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April - 4-8, 2005, Proceedings}, - series = {Lecture Notes in Computer Science}, - volume = {3442}, - publisher = {Springer}, - year = {2005}, - url = {https://doi.org/10.1007/b107062}, - doi = {10.1007/b107062}, - isbn = {3-540-25420-X}, - timestamp = {Thu, 25 May 2017 00:41:44 +0200}, - biburl = {https://dblp.org/rec/bib/conf/fase/2005}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @inproceedings{DBLP:conf/fase/BergJR06, author = {Therese Berg and Bengt Jonsson and Harald Raffelt}, + editor = {Luciano Baresi and + Reiko Heckel}, title = {Regular Inference for State Machines with Parameters}, booktitle = {Fundamental Approaches to Software Engineering, 9th International Conference, {FASE} 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 27-28, 2006, Proceedings}, + series = {Lecture Notes in Computer Science}, + volume = {3922}, pages = {107--121}, + publisher = {Springer}, year = {2006}, - crossref = {DBLP:conf/fase/2006}, url = {https://doi.org/10.1007/11693017\_10}, doi = {10.1007/11693017\_10}, timestamp = {Tue, 26 Jun 2018 14:11:37 +0200}, @@ -312,37 +252,22 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } -@proceedings{DBLP:conf/fase/2006, - editor = {Luciano Baresi and - Reiko Heckel}, - title = {Fundamental Approaches to Software Engineering, 9th International - Conference, {FASE} 2006, Held as Part of the Joint European Conferences - on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria, - March 27-28, 2006, Proceedings}, - series = {Lecture Notes in Computer Science}, - volume = {3922}, - publisher = {Springer}, - year = {2006}, - url = {https://doi.org/10.1007/11693017}, - doi = {10.1007/11693017}, - isbn = {3-540-33093-3}, - timestamp = {Thu, 25 May 2017 00:41:44 +0200}, - biburl = {https://dblp.org/rec/bib/conf/fase/2006}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @inproceedings{DBLP:conf/fase/BergJR08, author = {Therese Berg and Bengt Jonsson and Harald Raffelt}, + editor = {Jos{\'{e}} Luiz Fiadeiro and + Paola Inverardi}, title = {Regular Inference for State Machines Using Domains with Equality Tests}, booktitle = {Fundamental Approaches to Software Engineering, 11th International Conference, {FASE} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings}, + series = {Lecture Notes in Computer Science}, + volume = {4961}, pages = {317--331}, + publisher = {Springer}, year = {2008}, - crossref = {DBLP:conf/fase/2008}, url = {https://doi.org/10.1007/978-3-540-78743-3\_24}, doi = {10.1007/978-3-540-78743-3\_24}, timestamp = {Tue, 26 Jun 2018 14:11:38 +0200}, @@ -350,25 +275,6 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } -@proceedings{DBLP:conf/fase/2008, - editor = {Jos{\'{e}} Luiz Fiadeiro and - Paola Inverardi}, - title = {Fundamental Approaches to Software Engineering, 11th International - Conference, {FASE} 2008, Held as Part of the Joint European Conferences - on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, - March 29-April 6, 2008. Proceedings}, - series = {Lecture Notes in Computer Science}, - volume = {4961}, - publisher = {Springer}, - year = {2008}, - url = {https://doi.org/10.1007/978-3-540-78743-3}, - doi = {10.1007/978-3-540-78743-3}, - isbn = {978-3-540-78742-6}, - timestamp = {Thu, 25 May 2017 00:41:44 +0200}, - biburl = {https://dblp.org/rec/bib/conf/fase/2008}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @article{DBLP:journals/tosem/Bernhard94, author = {Philip J. Bernhard}, title = {A Reduced Test Suite for Protocol Conformance Testing}, @@ -387,35 +293,22 @@ @inproceedings{DBLP:conf/icalp/BojanczykL12, author = {Miko{\l}aj Boja{\'{n}}czyk and Slawomir Lasota}, - title = {A Machine-Independent Characterization of Timed Languages}, - booktitle = {Automata, Languages, and Programming - 39th International Colloquium, - {ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {II}}, - pages = {92--103}, - year = {2012}, - crossref = {DBLP:conf/icalp/2012-2}, - url = {https://doi.org/10.1007/978-3-642-31585-5\_12}, - doi = {10.1007/978-3-642-31585-5\_12}, - timestamp = {Sun, 04 Jun 2017 10:07:30 +0200}, - biburl = {https://dblp.org/rec/bib/conf/icalp/BojanczykL12}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@proceedings{DBLP:conf/icalp/2012-2, editor = {Artur Czumaj and Kurt Mehlhorn and Andrew M. Pitts and Roger Wattenhofer}, - title = {Automata, Languages, and Programming - 39th International Colloquium, + title = {A Machine-Independent Characterization of Timed Languages}, + booktitle = {Automata, Languages, and Programming - 39th International Colloquium, {ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {7392}, + pages = {92--103}, publisher = {Springer}, year = {2012}, - url = {https://doi.org/10.1007/978-3-642-31585-5}, - doi = {10.1007/978-3-642-31585-5}, - isbn = {978-3-642-31584-8}, + url = {https://doi.org/10.1007/978-3-642-31585-5\_12}, + doi = {10.1007/978-3-642-31585-5\_12}, timestamp = {Sun, 04 Jun 2017 10:07:30 +0200}, - biburl = {https://dblp.org/rec/bib/conf/icalp/2012-2}, + biburl = {https://dblp.org/rec/bib/conf/icalp/BojanczykL12}, bibsource = {dblp computer science bibliography, https://dblp.org} } @@ -424,32 +317,19 @@ Laurent Braud and Bartek Klin and Slawomir Lasota}, + editor = {John Field and + Michael Hicks}, title = {Towards nominal computation}, booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012}, pages = {401--412}, - year = {2012}, - crossref = {DBLP:conf/popl/2012}, - url = {http://doi.acm.org/10.1145/2103656.2103704}, - doi = {10.1145/2103656.2103704}, - timestamp = {Sun, 03 Dec 2017 00:17:33 +0100}, - biburl = {https://dblp.org/rec/bib/conf/popl/BojanczykBKL12}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@proceedings{DBLP:conf/popl/2012, - editor = {John Field and - Michael Hicks}, - title = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles - of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania, - USA, January 22-28, 2012}, publisher = {{ACM}}, year = {2012}, - url = {http://dl.acm.org/citation.cfm?id=2103656}, - isbn = {978-1-4503-1083-3}, - timestamp = {Sun, 03 Dec 2017 00:17:33 +0100}, - biburl = {https://dblp.org/rec/bib/conf/popl/2012}, + url = {https://doi.org/10.1145/2103656.2103704}, + doi = {10.1145/2103656.2103704}, + timestamp = {Tue, 06 Nov 2018 11:07:43 +0100}, + biburl = {https://dblp.org/rec/bib/conf/popl/BojanczykBKL12}, bibsource = {dblp computer science bibliography, https://dblp.org} } @@ -485,40 +365,34 @@ Peter Habermehl and Carsten Kern and Martin Leucker}, + editor = {Craig Boutilier}, title = {Angluin-Style Learning of {NFA}}, booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference - on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009}, + on Artificial Intelligence, Pasadena, California, USA, July 11-17, + 2009}, pages = {1004--1009}, year = {2009}, - crossref = {DBLP:conf/ijcai/2009}, url = {http://ijcai.org/Proceedings/09/Papers/170.pdf}, timestamp = {Wed, 20 Jul 2016 14:20:40 +0200}, biburl = {https://dblp.org/rec/bib/conf/ijcai/BolligHKL09}, bibsource = {dblp computer science bibliography, https://dblp.org} } -@proceedings{DBLP:conf/ijcai/2009, - editor = {Craig Boutilier}, - title = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference - on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009}, - year = {2009}, - url = {http://ijcai.org/proceedings/2009}, - timestamp = {Wed, 20 Jul 2016 14:02:05 +0200}, - biburl = {https://dblp.org/rec/bib/conf/ijcai/2009}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @inproceedings{DBLP:conf/dlt/BolligHLM13, author = {Benedikt Bollig and Peter Habermehl and Martin Leucker and Benjamin Monmege}, + editor = {Marie{-}Pierre B{\'{e}}al and + Olivier Carton}, title = {A Fresh Approach to Learning Register Automata}, booktitle = {Developments in Language Theory - 17th International Conference, {DLT} 2013, Marne-la-Vall{\'{e}}e, France, June 18-21, 2013. Proceedings}, + series = {Lecture Notes in Computer Science}, + volume = {7907}, pages = {118--130}, + publisher = {Springer}, year = {2013}, - crossref = {DBLP:conf/dlt/2013}, url = {https://doi.org/10.1007/978-3-642-38771-5\_12}, doi = {10.1007/978-3-642-38771-5\_12}, timestamp = {Fri, 26 May 2017 00:50:55 +0200}, @@ -526,23 +400,6 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } -@proceedings{DBLP:conf/dlt/2013, - editor = {Marie-Pierre B{\'{e}}al and - Olivier Carton}, - title = {Developments in Language Theory - 17th International Conference, {DLT} - 2013, Marne-la-Vall{\'{e}}e, France, June 18-21, 2013. Proceedings}, - series = {Lecture Notes in Computer Science}, - volume = {7907}, - publisher = {Springer}, - year = {2013}, - url = {https://doi.org/10.1007/978-3-642-38771-5}, - doi = {10.1007/978-3-642-38771-5}, - isbn = {978-3-642-38770-8}, - timestamp = {Fri, 26 May 2017 00:50:55 +0200}, - biburl = {https://dblp.org/rec/bib/conf/dlt/2013}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @inproceedings{DBLP:conf/popl/BonchiP13, author = {Filippo Bonchi and Damien Pous}, @@ -602,30 +459,19 @@ @inproceedings{DBLP:conf/popl/BotincanB13, author = {Matko Botincan and Domagoj Babic}, - title = {Sigma*: symbolic learning of input-output specifications}, - booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of - Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, - pages = {443--456}, - year = {2013}, - crossref = {DBLP:conf/popl/2013}, - url = {http://doi.acm.org/10.1145/2429069.2429123}, - doi = {10.1145/2429069.2429123}, - timestamp = {Fri, 18 Jan 2013 17:57:12 +0100}, - biburl = {https://dblp.org/rec/bib/conf/popl/BotincanB13}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@proceedings{DBLP:conf/popl/2013, editor = {Roberto Giacobazzi and Radhia Cousot}, - title = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of - Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, + title = {Sigma*: symbolic learning of input-output specifications}, + booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of + Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, + 2013}, + pages = {443--456}, publisher = {{ACM}}, year = {2013}, - url = {http://dl.acm.org/citation.cfm?id=2429069}, - isbn = {978-1-4503-1832-7}, - timestamp = {Fri, 18 Jan 2013 17:48:28 +0100}, - biburl = {https://dblp.org/rec/bib/conf/popl/2013}, + url = {https://doi.org/10.1145/2429069.2429123}, + doi = {10.1145/2429069.2429123}, + timestamp = {Tue, 06 Nov 2018 11:07:43 +0100}, + biburl = {https://dblp.org/rec/bib/conf/popl/BotincanB13}, bibsource = {dblp computer science bibliography, https://dblp.org} } @@ -686,12 +532,13 @@ author = {Wendy Y. L. Chan and Son T. Vuong and M. Robert Ito}, + editor = {Lawrence H. Landweber}, title = {An Improved Protocol Test Generation Procedure Based on {UIO}s}, booktitle = {{SIGCOMM} '89, Proceedings of the {ACM} Symposium on Communications Architectures {\&} Protocols, Austin, TX, USA, September 19-22, 1989}, + publisher = {{ACM}}, pages = {283--294}, year = {1989}, - crossref = {DBLP:conf/sigcomm/1989}, url = {http://doi.acm.org/10.1145/75246.75274}, doi = {10.1145/75246.75274}, timestamp = {Mon, 25 Jan 2016 16:58:54 +0100}, @@ -700,49 +547,25 @@ comment = {DBLP data was wrong} } -@proceedings{DBLP:conf/sigcomm/1989, - editor = {Lawrence H. Landweber}, - title = {{SIGCOMM} '89, Proceedings of the {ACM} Symposium on Communications - Architectures {\&} Protocols, Austin, TX, USA, September 19-22, 1989}, - publisher = {{ACM}}, - year = {1989}, - url = {http://doi.acm.org/10.1145/75246}, - doi = {10.1145/75246}, - isbn = {0-89791-332-9}, - timestamp = {Mon, 25 Jan 2016 16:58:54 +0100}, - biburl = {https://dblp.org/rec/bib/conf/sigcomm/1989}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @inproceedings{DBLP:conf/ccs/ChocSS10, author = {Chia Yuan Cho and Domagoj Babic and Eui Chul Richard Shin and Dawn Song}, - title = {Inference and analysis of formal models of botnet command and control protocols}, - booktitle = {Proceedings of the 17th {ACM} Conference on Computer and Communications - Security, {CCS} 2010, Chicago, Illinois, USA, October 4-8, 2010}, - pages = {426--439}, - year = {2010}, - crossref = {DBLP:conf/ccs/2010}, - url = {http://doi.acm.org/10.1145/1866307.1866355}, - doi = {10.1145/1866307.1866355}, - timestamp = {Tue, 23 Nov 2010 21:55:35 +0100}, - biburl = {https://dblp.org/rec/bib/conf/ccs/ChocSS10}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@proceedings{DBLP:conf/ccs/2010, editor = {Ehab Al{-}Shaer and Angelos D. Keromytis and Vitaly Shmatikov}, - title = {Proceedings of the 17th {ACM} Conference on Computer and Communications + title = {Inference and analysis of formal models of botnet command and control + protocols}, + booktitle = {Proceedings of the 17th {ACM} Conference on Computer and Communications Security, {CCS} 2010, Chicago, Illinois, USA, October 4-8, 2010}, + pages = {426--439}, publisher = {{ACM}}, year = {2010}, - isbn = {978-1-4503-0245-6}, - timestamp = {Mon, 22 Nov 2010 20:51:09 +0100}, - biburl = {https://dblp.org/rec/bib/conf/ccs/2010}, + url = {https://doi.org/10.1145/1866307.1866355}, + doi = {10.1145/1866307.1866355}, + timestamp = {Tue, 06 Nov 2018 11:07:31 +0100}, + biburl = {https://dblp.org/rec/bib/conf/ccs/ChocSS10}, bibsource = {dblp computer science bibliography, https://dblp.org} } @@ -988,12 +811,16 @@ author = {Paul Fiterau{-}Brostean and Ramon Janssen and Frits W. Vaandrager}, + editor = {Swarat Chaudhuri and + Azadeh Farzan}, title = {Combining Model Learning and Model Checking to Analyze {TCP} Implementations}, booktitle = {Computer Aided Verification - 28th International Conference, {CAV} 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}}, + series = {Lecture Notes in Computer Science}, + volume = {9780}, pages = {454--471}, + publisher = {Springer}, year = {2016}, - crossref = {DBLP:conf/cav/2016-2}, url = {https://doi.org/10.1007/978-3-319-41540-6\_25}, doi = {10.1007/978-3-319-41540-6\_25}, timestamp = {Thu, 25 May 2017 00:39:07 +0200}, @@ -1001,23 +828,6 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } -@proceedings{DBLP:conf/cav/2016-2, - editor = {Swarat Chaudhuri and - Azadeh Farzan}, - title = {Computer Aided Verification - 28th International Conference, {CAV} - 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}}, - series = {Lecture Notes in Computer Science}, - volume = {9780}, - publisher = {Springer}, - year = {2016}, - url = {https://doi.org/10.1007/978-3-319-41540-6}, - doi = {10.1007/978-3-319-41540-6}, - isbn = {978-3-319-41539-0}, - timestamp = {Thu, 25 May 2017 00:39:07 +0200}, - biburl = {https://dblp.org/rec/bib/conf/cav/2016-2}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @article{DBLP:journals/tse/FujiwaraBKAG91, author = {Susumu Fujiwara and Gregor von Bochmann and @@ -1182,12 +992,18 @@ Mohammad Reza Mousavi and Jaco van de Pol and Osmar Marchi dos Santos}, + editor = {Bernhard K. Aichernig and + Frank S. de Boer and + Marcello M. Bonsangue}, title = {Automated Verification of Executable {UML} Models}, booktitle = {Formal Methods for Components and Objects - 9th International Symposium, - {FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers}, + {FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised + Papers}, + series = {Lecture Notes in Computer Science}, + volume = {6957}, pages = {225--250}, + publisher = {Springer}, year = {2010}, - crossref = {DBLP:conf/fmco/2010}, url = {https://doi.org/10.1007/978-3-642-25271-6\_12}, doi = {10.1007/978-3-642-25271-6\_12}, timestamp = {Fri, 02 Jun 2017 20:50:15 +0200}, @@ -1195,24 +1011,6 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } -@proceedings{DBLP:conf/fmco/2010, - editor = {Bernhard K. Aichernig and - Frank S. de Boer and - Marcello M. Bonsangue}, - title = {Formal Methods for Components and Objects - 9th International Symposium, - {FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers}, - series = {Lecture Notes in Computer Science}, - volume = {6957}, - publisher = {Springer}, - year = {2012}, - url = {https://doi.org/10.1007/978-3-642-25271-6}, - doi = {10.1007/978-3-642-25271-6}, - isbn = {978-3-642-25270-9}, - timestamp = {Wed, 17 May 2017 14:24:49 +0200}, - biburl = {https://dblp.org/rec/bib/conf/fmco/2010}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @article{DBLP:journals/cj/HieronsT15, author = {Robert M. Hierons and Uraz Cengiz T{\"{u}}rker}, @@ -1259,12 +1057,16 @@ author = {Falk Howar and Bernhard Steffen and Maik Merten}, + editor = {Ranjit Jhala and + David A. Schmidt}, title = {Automata Learning with Automated Alphabet Abstraction Refinement}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings}, + series = {Lecture Notes in Computer Science}, + volume = {6538}, pages = {263--277}, + publisher = {Springer}, year = {2011}, - crossref = {DBLP:conf/vmcai/2011}, url = {https://doi.org/10.1007/978-3-642-18275-4\_19}, doi = {10.1007/978-3-642-18275-4\_19}, timestamp = {Wed, 24 May 2017 08:30:31 +0200}, @@ -1272,34 +1074,22 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } -@proceedings{DBLP:conf/vmcai/2011, - editor = {Ranjit Jhala and - David A. Schmidt}, - title = {Verification, Model Checking, and Abstract Interpretation - 12th International - Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings}, - series = {Lecture Notes in Computer Science}, - volume = {6538}, - publisher = {Springer}, - year = {2011}, - url = {https://doi.org/10.1007/978-3-642-18275-4}, - doi = {10.1007/978-3-642-18275-4}, - isbn = {978-3-642-18274-7}, - timestamp = {Wed, 24 May 2017 08:30:31 +0200}, - biburl = {https://dblp.org/rec/bib/conf/vmcai/2011}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @inproceedings{DBLP:conf/vmcai/HowarSJC12, author = {Falk Howar and Bernhard Steffen and Bengt Jonsson and Sofia Cassel}, + editor = {Viktor Kuncak and + Andrey Rybalchenko}, title = {Inferring Canonical Register Automata}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International - Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings}, + Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012. + Proceedings}, + series = {Lecture Notes in Computer Science}, + volume = {7148}, pages = {251--266}, + publisher = {Springer}, year = {2012}, - crossref = {DBLP:conf/vmcai/2012}, url = {https://doi.org/10.1007/978-3-642-27940-9\_17}, doi = {10.1007/978-3-642-27940-9\_17}, timestamp = {Wed, 24 May 2017 08:30:31 +0200}, @@ -1307,23 +1097,6 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } -@proceedings{DBLP:conf/vmcai/2012, - editor = {Viktor Kuncak and - Andrey Rybalchenko}, - title = {Verification, Model Checking, and Abstract Interpretation - 13th International - Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings}, - series = {Lecture Notes in Computer Science}, - volume = {7148}, - publisher = {Springer}, - year = {2012}, - url = {https://doi.org/10.1007/978-3-642-27940-9}, - doi = {10.1007/978-3-642-27940-9}, - isbn = {978-3-642-27939-3}, - timestamp = {Wed, 24 May 2017 08:30:31 +0200}, - biburl = {https://dblp.org/rec/bib/conf/vmcai/2012}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @inproceedings{DBLP:conf/cav/HungarNS03, author = {Hardi Hungar and Oliver Niese and @@ -1349,12 +1122,17 @@ author = {Malte Isberner and Falk Howar and Bernhard Steffen}, + editor = {Guillaume Brat and + Neha Rungta and + Arnaud Venet}, title = {Inferring Automata with State-Local Alphabet Abstractions}, booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings}, + series = {Lecture Notes in Computer Science}, + volume = {7871}, pages = {124--138}, + publisher = {Springer}, year = {2013}, - crossref = {DBLP:conf/nfm/2013}, url = {https://doi.org/10.1007/978-3-642-38088-4\_9}, doi = {10.1007/978-3-642-38088-4\_9}, timestamp = {Mon, 05 Jun 2017 12:39:01 +0200}, @@ -1362,24 +1140,6 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } -@proceedings{DBLP:conf/nfm/2013, - editor = {Guillaume Brat and - Neha Rungta and - Arnaud Venet}, - title = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett - Field, CA, USA, May 14-16, 2013. Proceedings}, - series = {Lecture Notes in Computer Science}, - volume = {7871}, - publisher = {Springer}, - year = {2013}, - url = {https://doi.org/10.1007/978-3-642-38088-4}, - doi = {10.1007/978-3-642-38088-4}, - isbn = {978-3-642-38087-7}, - timestamp = {Thu, 25 May 2017 00:40:09 +0200}, - biburl = {https://dblp.org/rec/bib/conf/nfm/2013}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @article{DBLP:journals/ml/IsbernerHS14, author = {Malte Isberner and Falk Howar and @@ -1409,35 +1169,22 @@ @inproceedings{DBLP:conf/birthday/JacobsS14a, author = {Bart Jacobs and Alexandra Silva}, - title = {Automata Learning: {A} Categorical Perspective}, - booktitle = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated - to Prakash Panangaden on the Occasion of His 60th Birthday}, - pages = {384--406}, - year = {2014}, - crossref = {DBLP:conf/birthday/2014panangaden}, - url = {https://doi.org/10.1007/978-3-319-06880-0\_20}, - doi = {10.1007/978-3-319-06880-0\_20}, - timestamp = {Tue, 23 May 2017 01:06:47 +0200}, - biburl = {https://dblp.org/rec/bib/conf/birthday/JacobsS14a}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@proceedings{DBLP:conf/birthday/2014panangaden, editor = {Franck van Breugel and Elham Kashefi and Catuscia Palamidessi and Jan Rutten}, - title = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated + title = {Automata Learning: {A} Categorical Perspective}, + booktitle = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {8464}, + pages = {384--406}, publisher = {Springer}, year = {2014}, - url = {https://doi.org/10.1007/978-3-319-06880-0}, - doi = {10.1007/978-3-319-06880-0}, - isbn = {978-3-319-06879-4}, - timestamp = {Tue, 23 May 2017 01:06:45 +0200}, - biburl = {https://dblp.org/rec/bib/conf/birthday/2014panangaden}, + url = {https://doi.org/10.1007/978-3-319-06880-0\_20}, + doi = {10.1007/978-3-319-06880-0\_20}, + timestamp = {Tue, 23 May 2017 01:06:47 +0200}, + biburl = {https://dblp.org/rec/bib/conf/birthday/JacobsS14a}, bibsource = {dblp computer science bibliography, https://dblp.org} } @@ -1473,15 +1220,18 @@ @inproceedings{DBLP:journals/corr/KlinS16, author = {Bartek Klin and Michal Szynwelski}, + editor = {Robert Atkey and + Neelakantan R. Krishnaswami}, title = {{SMT} Solving for Functional Programming over Infinite Structures}, booktitle = {Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016.}, + series = {{EPTCS}}, + volume = {207}, pages = {57--75}, year = {2016}, - crossref = {DBLP:journals/corr/AtkeyK16}, url = {https://doi.org/10.4204/EPTCS.207.3}, doi = {10.4204/EPTCS.207.3}, - timestamp = {Wed, 03 May 2017 14:47:57 +0200}, + timestamp = {Wed, 12 Sep 2018 01:05:15 +0200}, biburl = {https://dblp.org/rec/bib/journals/corr/KlinS16}, bibsource = {dblp computer science bibliography, https://dblp.org} } @@ -1501,81 +1251,41 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } -@proceedings{DBLP:journals/corr/AtkeyK16, - editor = {Robert Atkey and - Neelakantan R. Krishnaswami}, - title = {Proceedings 6th Workshop on Mathematically Structured Functional Programming, - MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016}, - series = {{EPTCS}}, - volume = {207}, - year = {2016}, - url = {https://doi.org/10.4204/EPTCS.207}, - doi = {10.4204/EPTCS.207}, - timestamp = {Wed, 03 May 2017 14:47:56 +0200}, - biburl = {https://dblp.org/rec/bib/journals/corr/AtkeyK16}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @inproceedings{DBLP:conf/cade/KopczynskiT16, author = {Eryk Kopczynski and Szymon Toru{\'{n}}czyk}, + editor = {Tim King and + Ruzica Piskac}, title = {{LOIS:} an Application of {SMT} Solvers}, booktitle = {Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016.}, + series = {{CEUR} Workshop Proceedings}, + volume = {1617}, pages = {51--60}, + publisher = {CEUR-WS.org}, year = {2016}, - crossref = {DBLP:conf/cade/2016smt}, url = {http://ceur-ws.org/Vol-1617/paper5.pdf}, timestamp = {Mon, 18 Jul 2016 14:39:46 +0200}, biburl = {https://dblp.org/rec/bib/conf/cade/KopczynskiT16}, bibsource = {dblp computer science bibliography, https://dblp.org} } -@proceedings{DBLP:conf/cade/2016smt, - editor = {Tim King and - Ruzica Piskac}, - title = {Proceedings of the 14th International Workshop on Satisfiability Modulo - Theories affiliated with the International Joint Conference on Automated - Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016}, - series = {{CEUR} Workshop Proceedings}, - volume = {1617}, - publisher = {CEUR-WS.org}, - year = {2016}, - url = {http://ceur-ws.org/Vol-1617}, - urn = {urn:nbn:de:0074-1617-8}, - timestamp = {Mon, 18 Jul 2016 14:39:21 +0200}, - biburl = {https://dblp.org/rec/bib/conf/cade/2016smt}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @inproceedings{DBLP:conf/popl/KopczynskiT17, author = {Eryk Kopczynski and Szymon Toru{\'{n}}czyk}, - title = {{LOIS:} syntax and semantics}, - booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of - Programming Languages, {POPL} 2017, Paris, France, January 18-20, 2017}, - pages = {586--598}, - year = {2017}, - crossref = {DBLP:conf/popl/2017}, - url = {http://dl.acm.org/citation.cfm?id=3009876}, - timestamp = {Wed, 28 Dec 2016 13:22:29 +0100}, - biburl = {https://dblp.org/rec/bib/conf/popl/KopczynskiT17}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@proceedings{DBLP:conf/popl/2017, editor = {Giuseppe Castagna and Andrew D. Gordon}, - title = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of - Programming Languages, {POPL} 2017, Paris, France, January 18-20, 2017}, + title = {{LOIS:} syntax and semantics}, + booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of + Programming Languages, {POPL} 2017, Paris, France, January 18-20, + 2017}, + pages = {586--598}, publisher = {{ACM}}, year = {2017}, - url = {http://doi.acm.org/10.1145/3009837}, - doi = {10.1145/3009837}, - isbn = {978-1-4503-4660-3}, - timestamp = {Wed, 28 Dec 2016 13:17:00 +0100}, - biburl = {https://dblp.org/rec/bib/conf/popl/2017}, + url = {http://dl.acm.org/citation.cfm?id=3009876}, + timestamp = {Tue, 06 Nov 2018 11:07:42 +0100}, + biburl = {https://dblp.org/rec/bib/conf/popl/KopczynskiT17}, bibsource = {dblp computer science bibliography, https://dblp.org} } @@ -1584,35 +1294,22 @@ Konstantinos Mamouras and Daniela Petrisan and Alexandra Silva}, - title = {Nominal Kleene Coalgebra}, - booktitle = {Automata, Languages, and Programming - 42nd International Colloquium, - {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}}, - pages = {286--298}, - year = {2015}, - crossref = {DBLP:conf/icalp/2015-2}, - url = {https://doi.org/10.1007/978-3-662-47666-6\_23}, - doi = {10.1007/978-3-662-47666-6\_23}, - timestamp = {Tue, 23 May 2017 01:08:21 +0200}, - biburl = {https://dblp.org/rec/bib/conf/icalp/KozenMP015}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@proceedings{DBLP:conf/icalp/2015-2, editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and Kazuo Iwama and Naoki Kobayashi and Bettina Speckmann}, - title = {Automata, Languages, and Programming - 42nd International Colloquium, + title = {Nominal {K}leene Coalgebra}, + booktitle = {Automata, Languages, and Programming - 42nd International Colloquium, {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {9135}, + pages = {286--298}, publisher = {Springer}, year = {2015}, - url = {https://doi.org/10.1007/978-3-662-47666-6}, - doi = {10.1007/978-3-662-47666-6}, - isbn = {978-3-662-47665-9}, - timestamp = {Tue, 23 May 2017 01:08:21 +0200}, - biburl = {https://dblp.org/rec/bib/conf/icalp/2015-2}, + url = {https://doi.org/10.1007/978-3-662-47666-6\_23}, + doi = {10.1007/978-3-662-47666-6\_23}, + timestamp = {Fri, 02 Nov 2018 09:50:27 +0100}, + biburl = {https://dblp.org/rec/bib/conf/icalp/KozenMP015}, bibsource = {dblp computer science bibliography, https://dblp.org} } @@ -1620,14 +1317,20 @@ author = {Willibald Krenn and Rupert Schlick and Bernhard K. Aichernig}, + editor = {Frank S. de Boer and + Marcello M. Bonsangue and + Stefan Hallerstede and + Michael Leuschel}, title = {Mapping {UML} to Labeled Transition Systems for Test-Case Generation - {A} Translation via Object-Oriented Action Systems}, booktitle = {Formal Methods for Components and Objects - 8th International Symposium, {FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers}, + series = {Lecture Notes in Computer Science}, + volume = {6286}, pages = {186--207}, + publisher = {Springer}, year = {2009}, - crossref = {DBLP:conf/fmco/2009}, url = {https://doi.org/10.1007/978-3-642-17071-3\_10}, doi = {10.1007/978-3-642-17071-3\_10}, timestamp = {Fri, 02 Jun 2017 20:50:15 +0200}, @@ -1635,26 +1338,6 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } -@proceedings{DBLP:conf/fmco/2009, - editor = {Frank S. de Boer and - Marcello M. Bonsangue and - Stefan Hallerstede and - Michael Leuschel}, - title = {Formal Methods for Components and Objects - 8th International Symposium, - {FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised - Selected Papers}, - series = {Lecture Notes in Computer Science}, - volume = {6286}, - publisher = {Springer}, - year = {2010}, - url = {https://doi.org/10.1007/978-3-642-17071-3}, - doi = {10.1007/978-3-642-17071-3}, - isbn = {978-3-642-17070-6}, - timestamp = {Wed, 17 May 2017 14:24:49 +0200}, - biburl = {https://dblp.org/rec/bib/conf/fmco/2009}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @inproceedings{LanusseTEMGTSDT09, title = {Papyrus {UML}: an open source toolset for {MDA}}, author = {Agnes Lanusse and @@ -1692,35 +1375,23 @@ @inproceedings{DBLP:conf/fmco/Leucker06, author = {Martin Leucker}, - title = {Learning Meets Verification}, - booktitle = {Formal Methods for Components and Objects, 5th International Symposium, - {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures}, - pages = {127--151}, - year = {2006}, - crossref = {DBLP:conf/fmco/2006}, - url = {https://doi.org/10.1007/978-3-540-74792-5\_6}, - doi = {10.1007/978-3-540-74792-5\_6}, - timestamp = {Fri, 02 Jun 2017 13:01:07 +0200}, - biburl = {https://dblp.org/rec/bib/conf/fmco/Leucker06}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@proceedings{DBLP:conf/fmco/2006, editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever}, - title = {Formal Methods for Components and Objects, 5th International Symposium, - {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures}, + title = {Learning Meets Verification}, + booktitle = {Formal Methods for Components and Objects, 5th International Symposium, + {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised + Lectures}, series = {Lecture Notes in Computer Science}, volume = {4709}, + pages = {127--151}, publisher = {Springer}, - year = {2007}, - url = {https://doi.org/10.1007/978-3-540-74792-5}, - doi = {10.1007/978-3-540-74792-5}, - isbn = {978-3-540-74791-8}, + year = {2006}, + url = {https://doi.org/10.1007/978-3-540-74792-5\_6}, + doi = {10.1007/978-3-540-74792-5\_6}, timestamp = {Fri, 02 Jun 2017 13:01:07 +0200}, - biburl = {https://dblp.org/rec/bib/conf/fmco/2006}, + biburl = {https://dblp.org/rec/bib/conf/fmco/Leucker06}, bibsource = {dblp computer science bibliography, https://dblp.org} } @@ -1818,6 +1489,30 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } +@inproceedings{DBLP:conf/tacas/MertenSHM11, + author = {Maik Merten and + Bernhard Steffen and + Falk Howar and + Tiziana Margaria}, + editor = {Parosh Aziz Abdulla and + K. Rustan M. Leino}, + title = {Next Generation {LearnLib}}, + booktitle = {Tools and Algorithms for the Construction and Analysis of Systems + - 17th International Conference, {TACAS} 2011, Held as Part of the + Joint European Conferences on Theory and Practice of Software, {ETAPS} + 2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings}, + series = {Lecture Notes in Computer Science}, + volume = {6605}, + pages = {220--223}, + publisher = {Springer}, + year = {2011}, + url = {https://doi.org/10.1007/978-3-642-19835-9\_18}, + doi = {10.1007/978-3-642-19835-9\_18}, + timestamp = {Tue, 26 Jun 2018 14:11:57 +0200}, + biburl = {https://dblp.org/rec/bib/conf/tacas/MertenSHM11}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + @inproceedings{DBLP:conf/tacas/MertenHSCJ12, author = {Maik Merten and Falk Howar and @@ -1885,14 +1580,18 @@ @inproceedings{DBLP:conf/tacas/MouraB08, author = {Leonardo Mendon{\c{c}}a de Moura and Nikolaj Bj{\o}rner}, + editor = {C. R. Ramakrishnan and + Jakob Rehof}, title = {{Z3:} An Efficient {SMT} Solver}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, {TACAS} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings}, + series = {Lecture Notes in Computer Science}, + volume = {4963}, pages = {337--340}, + publisher = {Springer}, year = {2008}, - crossref = {DBLP:conf/tacas/2008}, url = {https://doi.org/10.1007/978-3-540-78800-3\_24}, doi = {10.1007/978-3-540-78800-3\_24}, timestamp = {Tue, 26 Jun 2018 14:11:58 +0200}, @@ -1900,49 +1599,6 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } -@inproceedings{DBLP:conf/tacas/MertenSHM11, - author = {Maik Merten and - Bernhard Steffen and - Falk Howar and - Tiziana Margaria}, - editor = {Parosh Aziz Abdulla and - K. Rustan M. Leino}, - title = {Next Generation {LearnLib}}, - booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - - 17th International Conference, {TACAS} 2011, Held as Part of the - Joint European Conferences on Theory and Practice of Software, {ETAPS} - 2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings}, - series = {Lecture Notes in Computer Science}, - volume = {6605}, - pages = {220--223}, - publisher = {Springer}, - year = {2011}, - url = {https://doi.org/10.1007/978-3-642-19835-9\_18}, - doi = {10.1007/978-3-642-19835-9\_18}, - timestamp = {Tue, 26 Jun 2018 14:11:57 +0200}, - biburl = {https://dblp.org/rec/bib/conf/tacas/MertenSHM11}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@proceedings{DBLP:conf/tacas/2008, - editor = {C. R. Ramakrishnan and - Jakob Rehof}, - title = {Tools and Algorithms for the Construction and Analysis of Systems, - 14th International Conference, {TACAS} 2008, Held as Part of the Joint - European Conferences on Theory and Practice of Software, {ETAPS} 2008, - Budapest, Hungary, March 29-April 6, 2008. Proceedings}, - series = {Lecture Notes in Computer Science}, - volume = {4963}, - publisher = {Springer}, - year = {2008}, - url = {https://doi.org/10.1007/978-3-540-78800-3}, - doi = {10.1007/978-3-540-78800-3}, - isbn = {978-3-540-78799-0}, - timestamp = {Wed, 24 May 2017 08:28:32 +0200}, - biburl = {https://dblp.org/rec/bib/conf/tacas/2008}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @inproceedings{MurawskiRT15, author = {Andrzej S. Murawski and Steven J. Ramsay and @@ -2179,12 +1835,16 @@ @inproceedings{DBLP:conf/alt/Sakamoto97, author = {Hiroshi Sakamoto}, + editor = {Ming Li and + Akira Maruoka}, title = {Learning Simple Deterministic Finite-Memory Automata}, booktitle = {Algorithmic Learning Theory, 8th International Conference, {ALT} '97, Sendai, Japan, October 6-8, 1997, Proceedings}, + series = {Lecture Notes in Computer Science}, + volume = {1316}, pages = {416--431}, + publisher = {Springer}, year = {1997}, - crossref = {DBLP:conf/alt/1997}, url = {https://doi.org/10.1007/3-540-63577-7\_58}, doi = {10.1007/3-540-63577-7\_58}, timestamp = {Tue, 23 May 2017 11:53:57 +0200}, @@ -2192,23 +1852,6 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } -@proceedings{DBLP:conf/alt/1997, - editor = {Ming Li and - Akira Maruoka}, - title = {Algorithmic Learning Theory, 8th International Conference, {ALT} '97, - Sendai, Japan, October 6-8, 1997, Proceedings}, - series = {Lecture Notes in Computer Science}, - volume = {1316}, - publisher = {Springer}, - year = {1997}, - url = {https://doi.org/10.1007/3-540-63577-7}, - doi = {10.1007/3-540-63577-7}, - isbn = {3-540-63577-7}, - timestamp = {Tue, 23 May 2017 11:53:57 +0200}, - biburl = {https://dblp.org/rec/bib/conf/alt/1997}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @inproceedings{Segoufin06, author = {Luc Segoufin}, editor = {Zolt{\'{a}}n {\'{E}}sik}, @@ -2354,14 +1997,18 @@ author = {Bernhard Steffen and Falk Howar and Maik Merten}, + editor = {Marco Bernardo and + Val{\'{e}}rie Issarny}, title = {Introduction to Active Automata Learning from a Practical Perspective}, booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures}, + series = {Lecture Notes in Computer Science}, + volume = {6659}, pages = {256--296}, + publisher = {Springer}, year = {2011}, - crossref = {DBLP:conf/sfm/2011}, url = {https://doi.org/10.1007/978-3-642-21455-4\_8}, doi = {10.1007/978-3-642-21455-4\_8}, timestamp = {Wed, 25 Jul 2018 16:50:31 +0200}, @@ -2369,25 +2016,6 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } -@proceedings{DBLP:conf/sfm/2011, - editor = {Marco Bernardo and - Val{\'{e}}rie Issarny}, - title = {Formal Methods for Eternal Networked Software Systems - 11th International - School on Formal Methods for the Design of Computer, Communication - and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011. - Advanced Lectures}, - series = {Lecture Notes in Computer Science}, - volume = {6659}, - publisher = {Springer}, - year = {2011}, - url = {https://doi.org/10.1007/978-3-642-21455-4}, - doi = {10.1007/978-3-642-21455-4}, - isbn = {978-3-642-21454-7}, - timestamp = {Wed, 25 Jul 2018 16:50:31 +0200}, - biburl = {https://dblp.org/rec/bib/conf/sfm/2011}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - @inproceedings{DBLP:conf/icst/TapplerAB17, author = {Martin Tappler and Bernhard K. Aichernig and @@ -2396,24 +2024,12 @@ booktitle = {2017 {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017}, pages = {276--287}, - year = {2017}, - crossref = {DBLP:conf/icst/2017}, - url = {https://doi.org/10.1109/ICST.2017.32}, - doi = {10.1109/ICST.2017.32}, - timestamp = {Wed, 14 Jun 2017 10:52:12 +0200}, - biburl = {https://dblp.org/rec/bib/conf/icst/TapplerAB17}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@proceedings{DBLP:conf/icst/2017, - title = {2017 {IEEE} International Conference on Software Testing, Verification - and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017}, publisher = {{IEEE} Computer Society}, year = {2017}, - url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7922464}, - isbn = {978-1-5090-6031-3}, - timestamp = {Wed, 14 Jun 2017 10:32:58 +0200}, - biburl = {https://dblp.org/rec/bib/conf/icst/2017}, + url = {https://doi.org/10.1109/ICST.2017.32}, + doi = {10.1109/ICST.2017.32}, + timestamp = {Fri, 02 Nov 2018 09:43:57 +0100}, + biburl = {https://dblp.org/rec/bib/conf/icst/TapplerAB17}, bibsource = {dblp computer science bibliography, https://dblp.org} }