diff --git a/biblio-eigen.bib b/biblio-eigen.bib index e3afef3..a45a8ce 100644 --- a/biblio-eigen.bib +++ b/biblio-eigen.bib @@ -6,9 +6,7 @@ Ana Rosa Cavalli and H{\"{u}}sn{\"{u}} Yenig{\"{u}}n}, title = {$n$-Complete Test Suites for {IOCO}}, - booktitle_= {Testing Software and Systems - 29th {IFIP} {WG} 6.1 International - Conference, {ICTSS} 2017, St. Petersburg, Russia, October 9-11, 2017, - Proceedings}, + booktitle_= {Testing Software and Systems - 29th {IFIP} {WG} 6.1 International Conference, {ICTSS}, Proceedings}, booktitle = {{ICTSS} 2017 Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10533}, @@ -43,9 +41,7 @@ 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}, + booktitle_= {Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, {ICFEM}, Proceedings}, booktitle = {{ICFEM} 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9407}, @@ -68,9 +64,7 @@ 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}, + booktitle_= {Language and Automata Theory and Applications - 10th International Conference, {LATA}, Proceedings}, booktitle = {{LATA} 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9618}, @@ -110,9 +104,7 @@ editor = {Giuseppe Castagna and Andrew D. Gordon}, title = {Learning nominal automata}, - booktitle_= {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of - Programming Languages, {POPL} 2017, Paris, France, January 18-20, - 2017}, + booktitle_= {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of Programming Languages, {POPL}}, booktitle = {{POPL} 2017, Proceedings}, pages = {613--625}, publisher = {{ACM}}, @@ -129,7 +121,7 @@ editor = {Olgierd Unold and Witold Dyrka and Wojciech Wieczorek}, - booktitle = {ICGI 2018, Proceedings}, + booktitle = {International Conference on Grammatical Inference, {ICGI}, Proceedings}, publisher = {Proceedings of Machine Learning Research}, volume = {93}, year = {2019}, @@ -151,8 +143,7 @@ editor = {Bernd Fischer and Tarmo Uustalu}, title = {Fast Computations on Ordered Nominal Sets}, - booktitle_= {Theoretical Aspects of Computing - {ICTAC} 2018 - 15th International - Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings}, + booktitle_= {Theoretical Aspects of Computing - {ICTAC} - 15th International Colloquium, Proceedings}, booktitle = {{ICTAC} 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11187}, diff --git a/biblio.bib b/biblio.bib index 0d8aa3c..0995150 100644 --- a/biblio.bib +++ b/biblio.bib @@ -4,8 +4,7 @@ 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}, + booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6269}, pages = {71--85}, @@ -23,9 +22,7 @@ Joeri de Ruiter and Erik Poll}, title = {Formal Models of Bank Cards for Free}, - booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification - and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, - March 18-22, 2013}, + booktitle = {{ICST}, Workshops Proceedings}, pages = {461--468}, publisher = {{IEEE} Computer Society}, year = {2013}, @@ -75,8 +72,7 @@ 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}, + booktitle = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International Colloquium Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9399}, pages = {165--183}, @@ -94,8 +90,7 @@ Bengt Jonsson and Johan Uijen and Frits W. Vaandrager}, - title = {Generating models of infinite-state communication protocols using - regular inference with abstraction}, + title = {Generating models of infinite-state communication protocols using regular inference with abstraction}, journal = {Formal Methods in System Design}, volume = {46}, number = {1}, @@ -129,8 +124,7 @@ 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.}, + booktitle = {Proceedings of the Tenth Annual Conference on Computational Learning Theory, {COLT}}, pages = {298--308}, publisher = {{ACM}}, year = {1997}, @@ -141,15 +135,25 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } +@book{AtiyahM69, + author = {Michael Francis Atiyah and + I. G. MacDonald}, + title = {Introduction to commutative algebra}, + publisher = {Addison-Wesley-Longman}, + year = {1969}, + isbn = {978-0-201-40751-8}, + timestamp = {Fri, 29 Apr 2011 18:24:08 +0200}, + biburl = {https://dblp.org/rec/bib/books/daglib/0091700}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + @inproceedings{DAntoniV14, author = {Loris D'Antoni and Margus Veanes}, editor = {Suresh Jagannathan and Peter Sewell}, 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}, + booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL}}, pages = {541--554}, publisher = {{ACM}}, year = {2014}, @@ -166,8 +170,7 @@ editor = {Rupak Majumdar and Viktor Kuncak}, title = {The Power of Symbolic Automata and Transducers}, - booktitle = {Computer Aided Verification - 29th International Conference, {CAV} - 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}}, + booktitle = {Computer Aided Verification - 29th International Conference, {CAV} Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {10426}, pages = {47--67}, @@ -191,8 +194,7 @@ Nicolas Nicolov and Belle L. Tseng}, title = {Gephi: An Open Source Software for Exploring and Manipulating Networks}, - booktitle = {Proceedings of the Third International Conference on Weblogs and Social - Media, {ICWSM} 2009, San Jose, California, USA, May 17-20, 2009}, + booktitle = {Proceedings of the Third International Conference on Weblogs and Social Media, {ICWSM}}, publisher = {The {AAAI} Press}, year = {2009}, url = {http://aaai.org/ocs/index.php/ICWSM/09/paper/view/154}, @@ -210,8 +212,7 @@ Wang Yi and Martijn Hendriks}, title = {{UPPAAL} 4.0}, - booktitle = {Third International Conference on the Quantitative Evaluation of Systems - {(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}}, + booktitle = {Third International Conference on the Quantitative Evaluation of Systems {(QEST)}}, pages = {125--126}, publisher = {{IEEE} Computer Society}, year = {2006}, @@ -231,10 +232,7 @@ 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}, + booktitle = {{FASE}, {ETAPS}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3442}, pages = {175--189}, @@ -254,10 +252,7 @@ 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}, + booktitle = {{FASE}, {ETAPS}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3922}, pages = {107--121}, @@ -277,10 +272,7 @@ 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}, + booktitle = {{FASE}, {ETAPS}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4961}, pages = {317--331}, @@ -316,8 +308,7 @@ Andrew M. Pitts and Roger Wattenhofer}, 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}}, + booktitle = {Automata, Languages, and Programming - 39th International Colloquium, {ICALP}, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {7392}, pages = {92--103}, @@ -338,9 +329,7 @@ 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}, + booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL}}, pages = {401--412}, publisher = {{ACM}}, year = {2012}, @@ -373,8 +362,7 @@ Slawomir Lasota and Szymon Torunczyk}, title = {Turing Machines with Atoms}, - booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} - 2013, New Orleans, LA, USA, June 25-28, 2013}, + booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}}, pages = {183--192}, year = {2013}, url = {https://doi.org/10.1109/LICS.2013.24}, @@ -410,9 +398,7 @@ 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}, + booktitle = {Proceedings of the 21st International Joint Conference on Artificial Intelligence, {IJCAI}}, pages = {1004--1009}, year = {2009}, url = {http://ijcai.org/Proceedings/09/Papers/170.pdf}, @@ -429,8 +415,7 @@ 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}, + booktitle = {Developments in Language Theory - 17th International Conference, {DLT}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7907}, pages = {118--130}, @@ -449,8 +434,7 @@ editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Checking {NFA} equivalence with bisimulations up to congruence}, - booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of - Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, + booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL}}, pages = {457--468}, publisher = {{ACM}}, year = {2013}, @@ -482,11 +466,8 @@ Marielle Stoelinga}, editor = {Andrea Orlandini and Martin Zimmermann}, - title = {Tester versus Bug: {A} Generic Framework for Model-Based Testing via - Games}, - booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics, - and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany, - 26-28th September 2018.}, + title = {Tester versus Bug: {A} Generic Framework for Model-Based Testing via Games}, + booktitle = {Proceedings {GandALF}}, publisher = {Open Publishing Association}, series = {{EPTCS}}, volume = {277}, @@ -505,9 +486,7 @@ editor = {Roberto Giacobazzi and Radhia Cousot}, 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}, + booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL}}, pages = {443--456}, publisher = {{ACM}}, year = {2013}, @@ -591,8 +570,7 @@ editor = {Sergey Bratus and Felix "FX" Lindner}, title = {Automated Reverse Engineering using {Lego}®}, - booktitle = {8th {USENIX} Workshop on Offensive Technologies, {WOOT} '14, San Diego, - CA, USA, August 19, 2014.}, + booktitle = {8th {USENIX} Workshop on Offensive Technologies, {WOOT}}, publisher = {{USENIX} Association}, year = {2014}, url = {https://www.usenix.org/conference/woot14/workshop-program/presentation/chalupar}, @@ -607,8 +585,7 @@ 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}, + booktitle = {Proceedings of the {ACM} Symposium on Communications Architectures {\&} Protocols, {SIGCOMM}}, publisher = {{ACM}}, pages = {283--294}, year = {1989}, @@ -630,8 +607,7 @@ Vitaly Shmatikov}, 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}, + booktitle = {Proceedings of the 17th {ACM} Conference on Computer and Communications Security, {CCS}}, pages = {426--439}, publisher = {{ACM}}, year = {2010}, @@ -694,7 +670,7 @@ author = {Ranald Clouston}, title = {Generalised Name Abstraction for Nominal Sets}, booktitle = {Foundations of Software Science and Computation Structures - 16th - International Conference, {FOSSACS} 2013. Proceedings}, + International Conference, {FOSSACS}, Proceedings}, pages = {434--449}, year = {2013}, crossref = {DBLP:conf/fossacs/2013}, @@ -712,10 +688,7 @@ editor = {Ralf-Detlef Kutsche and Herbert Weber}, title = {Formal Verification of {UML} Statecharts with Real-Time Extensions}, - booktitle = {Fundamental Approaches to Software Engineering, 5th International - Conference, {FASE} 2002, held as Part of the Joint European Conferences - on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France, - April 8-12, 2002, Proceedings}, + booktitle = {{FASE}, {ETAPS}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2306}, pages = {218--232}, @@ -766,10 +739,7 @@ editor = {Axel Legay and Tiziana Margaria}, title = {Learning Symbolic Automata}, - booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - - 23rd International Conference, {TACAS} 2017, Held as Part of the - European Joint Conferences on Theory and Practice of Software, {ETAPS} - 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}}, + booktitle = {{TACAS}, {ETAPS}, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {10205}, pages = {173--189}, @@ -787,9 +757,7 @@ Nina Yevtushenko}, editor = {Farn Wang}, title = {An Improved Conformance Testing Method}, - booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE} - 2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan, - October 2-5, 2005, Proceedings}, + booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}, 25th {IFIP} {WG} 6.1 International Conference, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3731}, pages = {204--218}, @@ -840,8 +808,7 @@ @article{EndoS13, author = {Andr{\'{e}} Takeshi Endo and Adenilso da Silva Sim{\~{a}}o}, - title = {Evaluating test suite characteristics, cost, and effectiveness of - {FSM}-based testing methods}, + title = {Evaluating test suite characteristics, cost, and effectiveness of {FSM}-based testing methods}, journal = {Information {\&} Software Technology}, volume = {55}, number = {6}, @@ -875,8 +842,7 @@ author = {Gian Luigi Ferrari and Ugo Montanari and Emilio Tuosto}, - title = {Coalgebraic minimization of {HD}-automata for the $\pi$-calculus using - polymorphic types}, + title = {Coalgebraic minimization of {HD}-automata for the $\pi$-calculus using polymorphic types}, journal = {Theor. Comput. Sci.}, volume = {331}, number = {2-3}, @@ -889,6 +855,21 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } +@inproceedings{FioreT01, + author = {Marcelo P. Fiore and + Daniele Turi}, + title = {Semantics of Name and Value Passing}, + booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science, Proceedings}, + pages = {93--104}, + publisher = {{IEEE} Computer Society}, + year = {2001}, + url = {https://doi.org/10.1109/LICS.2001.932486}, + doi = {10.1109/LICS.2001.932486}, + timestamp = {Thu, 25 May 2017 00:42:40 +0200}, + biburl = {https://dblp.org/rec/bib/conf/lics/FioreT01}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + @inproceedings{Fiterau-BrosteanJV14, author = {Paul Fiterau{-}Brostean and Ramon Janssen and @@ -896,9 +877,7 @@ editor = {Fr{\'{e}}d{\'{e}}ric Lang and Francesco Flammini}, title = {Learning Fragments of the {TCP} Network Protocol}, - booktitle = {Formal Methods for Industrial Critical Systems - 19th International - Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014. - Proceedings}, + booktitle = {Formal Methods for Industrial Critical Systems - 19th International Conference, {FMICS}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8718}, pages = {78--93}, @@ -918,8 +897,7 @@ 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}}, + booktitle = {Computer Aided Verification - 28th International Conference, {CAV}, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {9780}, pages = {454--471}, @@ -939,11 +917,7 @@ Cristina Seceleanu and Ana Cavalcanti}, title = {Learning-Based Testing the Sliding Window Behavior of {TCP} Implementations}, - booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint - 22nd International Workshop on Formal Methods for Industrial Critical - Systems - and - 17th International Workshop on Automated Verification - of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, - 2017, Proceedings}, + booktitle = {Critical Systems: Formal Methods and Automated Verification, Joint {FMICS-AVoCS}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10471}, pages = {185--200}, @@ -966,9 +940,7 @@ editor = {Hakan Erdogmus and Klaus Havelund}, title = {Model learning and model checking of {SSH} implementations}, - booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium - on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, - 2017}, + booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium}, pages = {142--151}, publisher = {{ACM}}, year = {2017}, @@ -1009,6 +981,20 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } +@inproceedings{GabbayP99, + author = {Murdoch Gabbay and + Andrew M. Pitts}, + title = {A New Approach to Abstract Syntax Involving Binders}, + booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science}, + pages = {214--224}, + year = {1999}, + url = {https://doi.org/10.1109/LICS.1999.782617}, + doi = {10.1109/LICS.1999.782617}, + timestamp = {Thu, 25 May 2017 00:42:40 +0200}, + biburl = {https://dblp.org/rec/bib/conf/lics/GabbayP99}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + @article{GabbayP02, author = {Murdoch Gabbay and Andrew M. Pitts}, @@ -1025,6 +1011,28 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } +@techreport{Gabbay07, + author = {Murdoch James Gabbay}, + title = {Nominal Renaming Sets}, + note = {Heriot-Watt University}, + year = {2007}, + url = {https://www.gabbay.org/paper.html#nomrs-tr} +} + +@inproceedings{GabbayH08, + author = {Murdoch James Gabbay and + Martin Hofmann}, + title = {Nominal Renaming Sets}, + booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, {LPAR}, Proceedings}, + pages = {158--173}, + year = {2008}, + url = {https://doi.org/10.1007/978-3-540-89439-1\_11}, + doi = {10.1007/978-3-540-89439-1\_11}, + timestamp = {Tue, 13 Jun 2017 10:37:56 +0200}, + biburl = {https://dblp.org/rec/bib/conf/lpar/GabbayH08}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + @inproceedings{GaravelLMS11, author = {Hubert Garavel and Fr{\'{e}}d{\'{e}}ric Lang and @@ -1034,10 +1042,7 @@ K. Rustan M. Leino}, title = {{CADP} 2010: {A} Toolbox for the Construction and Analysis of Distributed Processes}, - 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}, + booktitle = {{TACAS}, {ETAPS}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6605}, pages = {372--387}, @@ -1066,9 +1071,7 @@ Ridha Kh{\'{e}}dri and Siobh{\'{a}}n Clarke}, title = {Model-Driven Consistency Checking of Behavioural Specifications}, - booktitle = {Model-based Methodologies for Pervasive and Embedded Software, 4th - International Workshop on Model-based Methodologies for Pervasive and - Embedded Software, {MOMPES} 2007, Braga, Portugal, March 31, 2007, Proceedings}, + booktitle = {Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop, {MOMPES}, Proceedings}, pages = {115--126}, publisher = {{IEEE} Computer Society}, year = {2007}, @@ -1115,11 +1118,8 @@ Teruo Higashino and Andreas Ulrich and Toru Hasegawa}, - title = {Modular System Verification by Inference, Testing and Reachability - Analysis}, - booktitle = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG - 6.1 International Conference, TestCom 2008, 8th International Workshop, - {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings}, + title = {Modular System Verification by Inference, Testing and Reachability Analysis}, + booktitle = {{TestCom/FATES}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5047}, pages = {216--233}, @@ -1140,7 +1140,7 @@ Witold Dyrka and Wojciech Wieczorek}, title = {Inferring {FSM} Models of Systems Without Reset}, - booktitle = {International Conference on Grammatical Inference, ICGI 2018}, + booktitle = {International Conference on Grammatical Inference, {ICGI}}, pages = {30--43}, publisher = {Proceedings of Machine Learning Research}, volume = {93}, @@ -1159,9 +1159,7 @@ 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}, + booktitle = {Formal Methods for Components and Objects - 9th International Symposium, {FMCO}, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {6957}, pages = {225--250}, @@ -1174,6 +1172,22 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } +@article{HermidaJ98, + author = {Claudio Hermida and + Bart Jacobs}, + title = {Structural Induction and Coinduction in a Fibrational Setting}, + journal = {Inf. Comput.}, + volume = {145}, + number = {2}, + pages = {107--152}, + year = {1998}, + url = {https://doi.org/10.1006/inco.1998.2725}, + doi = {10.1006/inco.1998.2725}, + timestamp = {Thu, 18 May 2017 09:54:19 +0200}, + biburl = {https://dblp.org/rec/bib/journals/iandc/HermidaJ98}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + @article{HieronsT15, author = {Robert M. Hierons and Uraz Cengiz T{\"{u}}rker}, @@ -1202,9 +1216,7 @@ @inproceedings{Hopcroft71, author = {John Edward Hopcroft}, - booktitle = {Theory of Machines and Computations - Proceedings of an International - Symposium on the Theory of Machines and Computations Held at Technion - in Haifa, Israel, on August 16–19, 1971}, + booktitle = {Theory of Machines and Computations - Proceedings of an International Symposium on the Theory of Machines and Computations}, editor = {Zvi Kohavi and Azaria Paz} pages = {189--196}, @@ -1224,7 +1236,7 @@ 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}, + Conference, {VMCAI}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6538}, pages = {263--277}, @@ -1245,9 +1257,7 @@ 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}, + booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International Conference, {VMCAI}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7148}, pages = {251--266}, @@ -1267,8 +1277,7 @@ editor = {Warren A. Hunt Jr. and Fabio Somenzi}, title = {Domain-Specific Optimization in Automata Learning}, - booktitle = {Computer Aided Verification, 15th International Conference, {CAV} - 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings}, + booktitle = {Computer Aided Verification, 15th International Conference, {CAV}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2725}, pages = {315--327}, @@ -1305,8 +1314,7 @@ 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}, + booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7871}, pages = {124--138}, @@ -1345,6 +1353,23 @@ url = {https://eldorado.tu-dortmund.de/bitstream/2003/34282/1/Dissertation.pdf} } +@article{JacobsSS15, + author = {Bart Jacobs and + Alexandra Silva and + Ana Sokolova}, + title = {Trace semantics via determinization}, + journal = {J. Comput. Syst. Sci.}, + volume = {81}, + number = {5}, + pages = {859--879}, + year = {2015}, + url = {https://doi.org/10.1016/j.jcss.2014.12.005}, + doi = {10.1016/j.jcss.2014.12.005}, + timestamp = {Sat, 20 May 2017 00:25:52 +0200}, + biburl = {https://dblp.org/rec/bib/journals/jcss/Jacobs0S15}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + @inproceedings{JacobsS14a, author = {Bart Jacobs and Alexandra Silva}, @@ -1353,8 +1378,7 @@ Catuscia Palamidessi and Jan Rutten}, 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}, + 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}, @@ -1367,6 +1391,21 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } +@book{Jacobs16, + author = {Bart Jacobs}, + title = {Introduction to Coalgebra: Towards Mathematics of States and Observation}, + series = {Cambridge Tracts in Theoretical Computer Science}, + volume = {59}, + publisher = {Cambridge University Press}, + year = {2016}, + url = {https://doi.org/10.1017/CBO9781316823187}, + doi = {10.1017/CBO9781316823187}, + isbn = {9781316823187}, + timestamp = {Tue, 16 May 2017 14:01:42 +0200}, + biburl = {https://dblp.org/rec/bib/books/cu/J2016}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + @article{KaminskiF94, author = {Michael Kaminski and Nissim Francez}, @@ -1396,14 +1435,28 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } +@inproceedings{KerstanKW14, + author = {Henning Kerstan and + Barbara K{\"{o}}nig and + Bram Westerbaan}, + title = {Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions}, + booktitle = {{CMCS}, {ETAPS}, Revised Selected Papers}, + pages = {168--188}, + year = {2014}, + url = {https://doi.org/10.1007/978-3-662-44124-4\_10}, + doi = {10.1007/978-3-662-44124-4\_10}, + timestamp = {Fri, 26 May 2017 00:50:45 +0200}, + biburl = {https://dblp.org/rec/bib/conf/cmcs/KerstanKW14}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + @inproceedings{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.}, + booktitle = {{MSFP}, {ETAPS}}, series = {{EPTCS}}, volume = {207}, pages = {57--75}, @@ -1415,6 +1468,21 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } +@article{KlinR16, + author = {Bartek Klin and + Jurriaan Rot}, + title = {Coalgebraic trace semantics via forgetful logics}, + journal = {Logical Methods in Computer Science}, + volume = {12}, + number = {4}, + year = {2016}, + url = {https://doi.org/10.2168/LMCS-12(4:10)2016}, + doi = {10.2168/LMCS-12(4:10)2016}, + timestamp = {Mon, 13 Aug 2018 16:48:39 +0200}, + biburl = {https://dblp.org/rec/bib/journals/corr/KlinR16}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + @article{Knuutila01, author = {Timo Knuutila}, title = {Re-describing an algorithm by Hopcroft}, @@ -1436,9 +1504,7 @@ 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.}, + booktitle = {Proceedings of the 14th International Workshop on Satisfiability Modulo Theories, {SMT}, {IJCAR}}, series = {{CEUR} Workshop Proceedings}, volume = {1617}, pages = {51--60}, @@ -1456,9 +1522,7 @@ editor = {Giuseppe Castagna and Andrew D. Gordon}, 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}, + booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of Programming Languages, {POPL}}, pages = {586--598}, publisher = {{ACM}}, year = {2017}, @@ -1478,8 +1542,7 @@ Naoki Kobayashi and Bettina Speckmann}, title = {Nominal {K}leene Coalgebra}, - booktitle = {Automata, Languages, and Programming - 42nd International Colloquium, - {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}}, + booktitle = {Automata, Languages, and Programming - 42nd International Colloquium, {ICALP}, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {9135}, pages = {286--298}, @@ -1500,11 +1563,8 @@ 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}, + 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}, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6286}, pages = {186--207}, @@ -1529,7 +1589,7 @@ Hubert Dubois and Fran{\c{c}}ois Terrier}, editor = {Regis Vogel} - booktitle = {Proc. of the Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009)}, + booktitle = {Proc. of the Fifth European Conference on Model-Driven Architecture Foundations and Applications, {ECMDA-FA}}, pages = {1--4}, year = {2009}, publisher = {CTIT}, @@ -1559,9 +1619,7 @@ Susanne Graf and Willem P. de Roever}, 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}, + booktitle = {Formal Methods for Components and Objects, 5th International Symposium, {FMCO}, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {4709}, pages = {127--151}, @@ -1583,9 +1641,7 @@ V{\'{e}}ronique Donzeau-Gouge}, title = {Integration Testing of Distributed Components Based on Learning Parameterized {I/O} Models}, - booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE} - 2006, 26th {IFIP} {WG} 6.1 International Conference, Paris, France, - September 26-29, 2006.}, + booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}, 26th {IFIP} {WG} 6.1 International Conference}, series = {Lecture Notes in Computer Science}, volume = {4229}, pages = {436--450}, @@ -1642,8 +1698,7 @@ Radu Mardare}, title = {A Generic Algorithm for Learning Symbolic Automata from Membership Queries}, - booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand - Larsen on the Occasion of His 60th Birthday}, + booktitle = {Models, Algorithms, Logics and Tools - Essays dedicated to {Kim Guldstrand Larsen} on the occasion of his 60th birthday}, series = {Lecture Notes in Computer Science}, volume = {10460}, pages = {146--169}, @@ -1676,10 +1731,7 @@ 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}, + booktitle = {{TACAS}, {ETAPS}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6605}, pages = {220--223}, @@ -1701,10 +1753,7 @@ editor = {Cormac Flanagan and Barbara K{\"{o}}nig}, title = {Demonstrating Learning of Register Automata}, - booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - - 18th International Conference, {TACAS} 2012, Held as Part of the - European Joint Conferences on Theory and Practice of Software, {ETAPS} - 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings}, + booktitle = {{TACAS}, {ETAPS}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7214}, pages = {466--471}, @@ -1762,10 +1811,7 @@ 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}, + booktitle = {{TACAS}, {ETAPS}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4963}, pages = {337--340}, @@ -1783,8 +1829,7 @@ Steven J. Ramsay and Nikos Tzevelekos}, title = {Bisimilarity in Fresh-Register Automata}, - booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} - 2015, Kyoto, Japan, July 6-10, 2015}, + booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}}, pages = {156--167}, publisher = {{IEEE} Computer Society}, year = {2015}, @@ -1804,8 +1849,7 @@ James Worrell}, title = {Polynomial-Time Equivalence Testing for Deterministic Fresh-Register Automata}, - booktitle = {43rd International Symposium on Mathematical Foundations of Computer - Science, {MFCS} 2018, August 27-31, 2018, Liverpool, {UK}}, + booktitle = {43rd International Symposium on Mathematical Foundations of Computer Science, {MFCS}}, series = {LIPIcs}, volume = {117}, pages = {72:1--72:14}, @@ -1830,6 +1874,21 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } +@article{OHearn03, + author = {Peter W. O'Hearn}, + title = {On bunched typing}, + journal = {J. Funct. Program.}, + volume = {13}, + number = {4}, + pages = {747--796}, + year = {2003}, + url = {https://doi.org/10.1017/S0956796802004495}, + doi = {10.1017/S0956796802004495}, + timestamp = {Sat, 27 May 2017 14:24:34 +0200}, + biburl = {https://dblp.org/rec/bib/journals/jfp/OHearn03}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + @article{PeledVY02, author = {Doron A. Peled and Moshe Y. Vardi and @@ -1852,9 +1911,7 @@ Anindya Das}, editor = {Omar Rafiq}, title = {Nondeterministic State Machines in Protocol Conformance Testing}, - booktitle = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth - International Workshop on Protocol Test systems, Pau, France, 28-30 - September, 1993}, + booktitle = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth International Workshop on Protocol Test systems}, series = {{IFIP} Transactions}, volume = {{C-19}}, pages = {363--378}, @@ -1867,8 +1924,7 @@ @article{Petrenko97, author = {Alexandre Petrenko}, - title = {Technical Correspondence Comments on "A Reduced Test Suite for Protocol - Conformance Testing"}, + title = {Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing"}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {6}, number = {3}, @@ -1888,8 +1944,7 @@ Karim Hossen and Catherine Oriat}, title = {Inferring Approximated Models for Systems Engineering}, - booktitle = {15th International {IEEE} Symposium on High-Assurance Systems Engineering, - {HASE} 2014, Miami Beach, FL, USA, January 9-11, 2014}, + booktitle = {15th International {IEEE} Symposium on High-Assurance Systems Engineering, {HASE}}, pages = {249--253}, publisher = {{IEEE} Computer Society}, year = {2014}, @@ -1904,8 +1959,7 @@ author = {Alexandre Petrenko and Nina Yevtushenko}, title = {Adaptive Testing of Nondeterministic Systems with {FSM}}, - booktitle = {15th International {IEEE} Symposium on High-Assurance Systems Engineering, - {HASE} 2014, Miami Beach, FL, USA, January 9-11, 2014}, + booktitle = {15th International {IEEE} Symposium on High-Assurance Systems Engineering, {HASE}}, pages = {224--228}, publisher = {{IEEE} Computer Society}, year = {2014}, @@ -1934,8 +1988,7 @@ Pierre Letouzey and Matthieu Sozeau}, title = {Nominal Presentation of Cubical Sets Models of Type Theory}, - booktitle = {20th International Conference on Types for Proofs and Programs, {TYPES} - 2014, May 12-15, 2014, Paris, France}, + booktitle = {20th International Conference on Types for Proofs and Programs, {TYPES}}, series = {LIPIcs}, volume = {39}, pages = {202--220}, @@ -2039,8 +2092,7 @@ editor = {Jaeyeon Jung and Thorsten Holz}, title = {Protocol State Fuzzing of {TLS} Implementations}, - booktitle = {24th {USENIX} Security Symposium, {USENIX} Security 15, Washington, - D.C., USA, August 12-14, 2015.}, + booktitle = {24th {USENIX} Security Symposium, {USENIX} Security}, pages = {193--206}, publisher = {{USENIX} Association}, year = {2015}, @@ -2055,8 +2107,7 @@ editor = {Davide Sangiorgi and Robert de Simone}, title = {Automata and Coinduction (An Exercise in Coalgebra)}, - booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice, - France, September 8-11, 1998, Proceedings}, + booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1466}, pages = {194--218}, @@ -2069,6 +2120,21 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } +@article{Rutten00, + author = {Jan J. M. M. Rutten}, + title = {Universal coalgebra: a theory of systems}, + journal = {Theor. Comput. Sci.}, + volume = {249}, + number = {1}, + pages = {3--80}, + year = {2000}, + url = {https://doi.org/10.1016/S0304-3975(00)00056-6}, + doi = {10.1016/S0304-3975(00)00056-6}, + timestamp = {Sun, 28 May 2017 13:20:01 +0200}, + biburl = {https://dblp.org/rec/bib/journals/tcs/Rutten00}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + @article{SabnaniD88, author = {Krishan K. Sabnani and Anton T. Dahbura}, @@ -2089,8 +2155,7 @@ 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}, + booktitle = {Algorithmic Learning Theory, 8th International Conference, {ALT}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1316}, pages = {416--431}, @@ -2120,10 +2185,8 @@ Frits W. Vaandrager}, editor = {Erika {\'{A}}brah{\'{a}}m and Marieke Huisman}, - title = {Refactoring of Legacy Software Using Model Learning and Equivalence - Checking: {A}n Industrial Experience Report}, - booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016, - Reykjavik, Iceland, June 1-5, 2016, Proceedings}, + title = {Refactoring of Legacy Software Using Model Learning and Equivalence Checking: {A}n Industrial Experience Report}, + booktitle = {Integrated Formal Methods - 12th International Conference, {IFM}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9681}, pages = {311--325}, @@ -2140,9 +2203,7 @@ author = {Luc Segoufin}, editor = {Zolt{\'{a}}n {\'{E}}sik}, title = {Automata and Logics for Words and Trees over an Infinite Alphabet}, - booktitle = {Computer Science Logic, 20th International Workshop, {CSL} 2006, 15th - Annual Conference of the EACSL, Szeged, Hungary, September 25-29, - 2006, Proceedings}, + booktitle = {Computer Science Logic, 20th International Workshop, {CSL}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4207}, pages = {41--57}, @@ -2169,6 +2230,23 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } +@article{SilvaBBR13, + author = {Alexandra Silva and + Filippo Bonchi and + Marcello M. Bonsangue and + Jan J. M. M. Rutten}, + title = {Generalizing determinization from automata to coalgebras}, + journal = {Logical Methods in Computer Science}, + volume = {9}, + number = {1}, + year = {2013}, + url = {https://doi.org/10.2168/LMCS-9(1:9)2013}, + doi = {10.2168/LMCS-9(1:9)2013}, + timestamp = {Mon, 13 Aug 2018 16:47:28 +0200}, + biburl = {https://dblp.org/rec/bib/journals/corr/abs-1302-1046}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + @inproceedings{SimaoPY09, author = {Adenilso da Silva Sim{\~{a}}o and Alexandre Petrenko and @@ -2177,9 +2255,7 @@ Paul Baker and Mercedes G. Merayo}, title = {Generating Reduced Tests for {FSMs} with Extra States}, - booktitle = {Testing of Software and Communication Systems, 21st {IFIP} {WG} 6.1 - International Conference, {TESTCOM} 2009 and 9th International Workshop, - {FATES} 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings}, + booktitle = {{TestCom/FATES}, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5826}, pages = {129--145}, @@ -2214,8 +2290,7 @@ editor = {Holger Schlingloff and Alexander K. Petrenko}, title = {Generating Complete and Finite Test Suite for ioco: {Is} It Possible?}, - booktitle = {Proceedings Ninth Workshop on Model-Based Testing, {MBT} 2014, Grenoble, - France, 6 April 2014.}, + booktitle = {Proceedings Ninth Workshop on Model-Based Testing, {MBT}}, series = {{EPTCS}}, volume = {141}, pages = {56--70}, @@ -2227,6 +2302,13 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } +@misc{Simmons, + author = {Harold Simmons}, + title = {The topos of actions on a monoid}, + url = {http://www.cs.man.ac.uk/~hsimmons/DOCUMENTS/PAPERSandNOTES/Rsets.pdf}, + note = {Unpublished manuscript, number 12N} +} + @techreport{ShinwellP05, title = {Fresh objective {Caml} user manual}, author = {Mark R. Shinwell and @@ -2262,10 +2344,8 @@ editor = {Alexander Clark and Makoto Kanazawa and Ryo Yoshinaka}, - title = {Bigger is Not Always Better: on the Quality of Hypotheses in Active - Automata Learning}, - booktitle = {Proceedings of the 12th International Conference on Grammatical Inference, - {ICGI} 2014, Kyoto, Japan, September 17-19, 2014.}, + title = {Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning}, + booktitle = {Proceedings of the 12th International Conference on Grammatical Inference, {ICGI}}, series = {{JMLR} Workshop and Conference Proceedings}, volume = {34}, pages = {167--181}, @@ -2277,6 +2357,18 @@ bibsource = {dblp computer science bibliography, https://dblp.org} } +@phdthesis{Staton07, + author = {Samuel Staton}, + title = {Name-passing process calculi: operational models and structural operational semantics}, + school = {University of Cambridge, {UK}}, + year = {2007}, + url = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-688.pdf}, + timestamp = {Mon, 05 Sep 2016 19:00:22 +0200}, + biburl = {https://dblp.org/rec/bib/phd/ethos/Staton07}, + bibsource = {dblp computer science bibliography, https://dblp.org}, + number = {UCAM-CL-TR-688} +} + @inproceedings{SteffenHM11, author = {Bernhard Steffen and Falk Howar and @@ -2284,10 +2376,7 @@ 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}, + booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International School {SFM}, Advanced Lectures}, series = {Lecture Notes in Computer Science}, volume = {6659}, pages = {256--296}, @@ -2304,9 +2393,8 @@ author = {Martin Tappler and Bernhard K. Aichernig and Roderick Bloem}, - title = {Model-Based Testing IoT Communication via Active Automata Learning}, - booktitle = {2017 {IEEE} International Conference on Software Testing, Verification - and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017}, + title = {Model-Based Testing {IoT} Communication via Active Automata Learning}, + booktitle = {{ICST}, Proceedings}, pages = {276--287}, publisher = {{IEEE} Computer Society}, year = {2017}, @@ -2338,8 +2426,7 @@ Christine Tasson}, editor = {Robert Nieuwenhuis}, title = {Nominal Techniques in {Isabelle}/{HOL}}, - booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated - Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings}, + booktitle = {Automated Deduction - {CADE}-20, 20th International Conference on Automated Deduction, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3632}, pages = {38--53}, @@ -2371,7 +2458,7 @@ author = {Antti Valmari and Petri Lehtinen}, title = {Efficient Minimization of {DFA}s with Partial Transition Functions}, - booktitle = {Symposium on Theoretical Aspects of Computer Science (STACS), Bordeaux, France, 2008}, + booktitle = {Symposium on Theoretical Aspects of Computer Science, {STACS}}, pages = {645--656}, year = {2008}, url = {http://arxiv.org/abs/0802.2826}, @@ -2396,213 +2483,3 @@ doi = {10.1007/BF01068590}, isbn = {1573-8337} } - - - - - -@inproceedings{GabbayP99, - author = {Murdoch Gabbay and - Andrew M. Pitts}, - title = {A New Approach to Abstract Syntax Involving Binders}, - booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento, - Italy, July 2-5, 1999}, - pages = {214--224}, - year = {1999}, - url = {https://doi.org/10.1109/LICS.1999.782617}, - doi = {10.1109/LICS.1999.782617}, - timestamp = {Thu, 25 May 2017 00:42:40 +0200}, - biburl = {https://dblp.org/rec/bib/conf/lics/GabbayP99}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@techreport{Gabbay07, - author = {Murdoch James Gabbay}, - title = {Nominal Renaming Sets}, - note = {Heriot-Watt University}, - year = {2007}, - url = {https://www.gabbay.org/paper.html#nomrs-tr} -} - -@inproceedings{GabbayH08, - author = {Murdoch James Gabbay and - Martin Hofmann}, - title = {Nominal Renaming Sets}, - booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th - International Conference, {LPAR} 2008. Proceedings}, - pages = {158--173}, - year = {2008}, - url = {https://doi.org/10.1007/978-3-540-89439-1\_11}, - doi = {10.1007/978-3-540-89439-1\_11}, - timestamp = {Tue, 13 Jun 2017 10:37:56 +0200}, - biburl = {https://dblp.org/rec/bib/conf/lpar/GabbayH08}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@article{OHearn03, - author = {Peter W. O'Hearn}, - title = {On bunched typing}, - journal = {J. Funct. Program.}, - volume = {13}, - number = {4}, - pages = {747--796}, - year = {2003}, - url = {https://doi.org/10.1017/S0956796802004495}, - doi = {10.1017/S0956796802004495}, - timestamp = {Sat, 27 May 2017 14:24:34 +0200}, - biburl = {https://dblp.org/rec/bib/journals/jfp/OHearn03}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@article{HermidaJ98, - author = {Claudio Hermida and - Bart Jacobs}, - title = {Structural Induction and Coinduction in a Fibrational Setting}, - journal = {Inf. Comput.}, - volume = {145}, - number = {2}, - pages = {107--152}, - year = {1998}, - url = {https://doi.org/10.1006/inco.1998.2725}, - doi = {10.1006/inco.1998.2725}, - timestamp = {Thu, 18 May 2017 09:54:19 +0200}, - biburl = {https://dblp.org/rec/bib/journals/iandc/HermidaJ98}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@book{jacobs-coalg, - author = {Bart Jacobs}, - title = {Introduction to Coalgebra: Towards Mathematics of States and Observation}, - series = {Cambridge Tracts in Theoretical Computer Science}, - volume = {59}, - publisher = {Cambridge University Press}, - year = {2016}, - url = {https://doi.org/10.1017/CBO9781316823187}, - doi = {10.1017/CBO9781316823187}, - isbn = {9781316823187}, - timestamp = {Tue, 16 May 2017 14:01:42 +0200}, - biburl = {https://dblp.org/rec/bib/books/cu/J2016}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@article{Rutten00, - author = {Jan J. M. M. Rutten}, - title = {Universal coalgebra: a theory of systems}, - journal = {Theor. Comput. Sci.}, - volume = {249}, - number = {1}, - pages = {3--80}, - year = {2000}, - url = {https://doi.org/10.1016/S0304-3975(00)00056-6}, - doi = {10.1016/S0304-3975(00)00056-6}, - timestamp = {Sun, 28 May 2017 13:20:01 +0200}, - biburl = {https://dblp.org/rec/bib/journals/tcs/Rutten00}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@article{JSS14, - author = {B. Jacobs and - A. Silva and - A. Sokolova}, - title = {Trace semantics via determinization}, - journal = {J. Comput. Syst. Sci.}, - volume = {81}, - number = {5}, - pages = {859--879}, - year = {2015} -} - -@article{KlinR16, - author = {Bartek Klin and - Jurriaan Rot}, - title = {Coalgebraic trace semantics via forgetful logics}, - journal = {Logical Methods in Computer Science}, - volume = {12}, - number = {4}, - year = {2016}, - url = {https://doi.org/10.2168/LMCS-12(4:10)2016}, - doi = {10.2168/LMCS-12(4:10)2016}, - timestamp = {Mon, 13 Aug 2018 16:48:39 +0200}, - biburl = {https://dblp.org/rec/bib/journals/corr/KlinR16}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@inproceedings{KerstanKW14, - author = {Henning Kerstan and - Barbara K{\"{o}}nig and - Bram Westerbaan}, - title = {Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions}, - booktitle = {Coalgebraic Methods in Computer Science - 12th {IFIP} {WG} 1.3 International - Workshop, {CMCS} 2014, Colocated with {ETAPS} 2014, Grenoble, France, - April 5-6, 2014, Revised Selected Papers}, - pages = {168--188}, - year = {2014}, - url = {https://doi.org/10.1007/978-3-662-44124-4\_10}, - doi = {10.1007/978-3-662-44124-4\_10}, - timestamp = {Fri, 26 May 2017 00:50:45 +0200}, - biburl = {https://dblp.org/rec/bib/conf/cmcs/KerstanKW14}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@phdthesis{Staton07, - author = {Staton, Sam}, - title = {{Name-passing process calculi: operational models and - structural operational semantics}}, - year = 2007, - month = jun, - url = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-688.pdf}, - institution = {University of Cambridge, Computer Laboratory}, - number = {UCAM-CL-TR-688} -} - -@article{SilvaBBR13, - author = {Alexandra Silva and - Filippo Bonchi and - Marcello M. Bonsangue and - Jan J. M. M. Rutten}, - title = {Generalizing determinization from automata to coalgebras}, - journal = {Logical Methods in Computer Science}, - volume = {9}, - number = {1}, - year = {2013}, - url = {https://doi.org/10.2168/LMCS-9(1:9)2013}, - doi = {10.2168/LMCS-9(1:9)2013}, - timestamp = {Mon, 13 Aug 2018 16:47:28 +0200}, - biburl = {https://dblp.org/rec/bib/journals/corr/abs-1302-1046}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@inproceedings{FioreT01, - author = {Marcelo P. Fiore and - Daniele Turi}, - title = {Semantics of Name and Value Passing}, - booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston, - Massachusetts, USA, June 16-19, 2001, Proceedings}, - pages = {93--104}, - publisher = {{IEEE} Computer Society}, - year = {2001}, - url = {https://doi.org/10.1109/LICS.2001.932486}, - doi = {10.1109/LICS.2001.932486}, - timestamp = {Thu, 25 May 2017 00:42:40 +0200}, - biburl = {https://dblp.org/rec/bib/conf/lics/FioreT01}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@book{AtiyahM69, - author = {Michael Francis Atiyah and - I. G. MacDonald}, - title = {Introduction to commutative algebra}, - publisher = {Addison-Wesley-Longman}, - year = {1969}, - isbn = {978-0-201-40751-8}, - timestamp = {Fri, 29 Apr 2011 18:24:08 +0200}, - biburl = {https://dblp.org/rec/bib/books/daglib/0091700}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - -@misc{Simmons, - author = {Harold Simmons}, - title = {The topos of actions on a monoid}, - url = {http://www.cs.man.ac.uk/~hsimmons/DOCUMENTS/PAPERSandNOTES/Rsets.pdf}, - note = {Unpublished manuscript, number 12N} -} \ No newline at end of file diff --git a/content/separated-nominal-automata.tex b/content/separated-nominal-automata.tex index af33b7b..cef382d 100644 --- a/content/separated-nominal-automata.tex +++ b/content/separated-nominal-automata.tex @@ -874,7 +874,7 @@ In this section we revisit the above results from this perspective, and generali In particular, we retrieve the extension from separated languages to $\sb$-languages, by establishing $\sb$-languages as a final separated automaton. The latter result follows by instantiating a well-known technique for lifting adjunctions to categories of coalgebras, using the results of \in{Section}[sec:adjunction]. In the remainder of this section we assume familiarity with the theory -of coalgebras, see, e.g., \citet[jacobs-coalg, Rutten00]. +of coalgebras, see, e.g., \citet[Jacobs16, Rutten00]. \startdefinition[reference=def:nominal-aut-coalg] Let $M$ be a submonoid of $\sb$, and let $\Sigma$, $O$ @@ -915,7 +915,7 @@ Next, we provide an alternative final $\sa$-coalgebra which assigns $\sb$-nomina The essence is to obtain a final $\sa$-coalgebra from the final $B_{\sb}$-coalgebra. In order to prove this, we use a technique to lift adjunctions to categories of coalgebras. This technique occurs regularly in the coalgebraic study -of automata \citep[JSS14, KlinR16, KerstanKW14]. +of automata \citep[JacobsSS15, KlinR16, KerstanKW14]. \starttheorem[reference=thm:adjunction-lift] Let $\Sigma$ be a $\perm$-set, and $O$ an $\sb$-set. diff --git a/environment/bib.tex b/environment/bib.tex index e80beca..70df208 100644 --- a/environment/bib.tex +++ b/environment/bib.tex @@ -20,6 +20,7 @@ % The dblp database ignores Pauls nice a-breve and s-comma \btxremapauthor [Paul Fiterau{-}Brostean] [Paul Fiterău-Broștean] +\btxremapauthor [Daniela Petrisan] [Daniela Petrișan] % The \l does not work well, but unicode is fine \btxremapauthor [Michal Szynwelski] [Michał Szynwelski]