BibTeX records: Carlo A. Furia

download as .bib file

@article{DBLP:journals/fac/PolikarpovaTF18,
  author    = {Nadia Polikarpova and
               Julian Tschannen and
               Carlo A. Furia},
  title     = {A fully verified container library},
  journal   = {Formal Asp. Comput.},
  volume    = {30},
  number    = {5},
  pages     = {495--523},
  year      = {2018},
  url       = {https://doi.org/10.1007/s00165-017-0435-1},
  doi       = {10.1007/s00165-017-0435-1},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/PolikarpovaTF18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AichernigFGH18,
  author    = {Bernhard K. Aichernig and
               Carlo A. Furia and
               Marie{-}Claude Gaudel and
               Robert M. Hierons},
  title     = {Special section of Tests and Proofs 2016},
  journal   = {Formal Asp. Comput.},
  volume    = {30},
  number    = {6},
  pages     = {627--628},
  year      = {2018},
  url       = {https://doi.org/10.1007/s00165-018-0474-2},
  doi       = {10.1007/s00165-018-0474-2},
  timestamp = {Sun, 23 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fac/AichernigFGH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChenF18,
  author    = {Yuting Chen and
               Carlo A. Furia},
  title     = {Robustness Testing of Intermediate Verifiers},
  booktitle = {Automated Technology for Verification and Analysis - 16th International
               Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
               Proceedings},
  pages     = {91--108},
  year      = {2018},
  crossref  = {DBLP:conf/atva/2018},
  url       = {https://doi.org/10.1007/978-3-030-01090-4\_6},
  doi       = {10.1007/978-3-030-01090-4\_6},
  timestamp = {Mon, 01 Oct 2018 17:02:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/ChenF18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2018,
  editor    = {Carlo A. Furia and
               Kirsten Winter},
  title     = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
               Maynooth, Ireland, September 5-7, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11023},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-98938-9},
  doi       = {10.1007/978-3-319-98938-9},
  isbn      = {978-3-319-98937-2},
  timestamp = {Wed, 22 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-03296,
  author    = {Yuting Chen and
               Carlo A. Furia},
  title     = {Robustness Testing of Intermediate Verifiers},
  journal   = {CoRR},
  volume    = {abs/1805.03296},
  year      = {2018},
  url       = {http://arxiv.org/abs/1805.03296},
  archivePrefix = {arXiv},
  eprint    = {1805.03296},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1805-03296},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-09849,
  author    = {Richard Torkar and
               Robert Feldt and
               Carlo A. Furia},
  title     = {Arguing Practical Significance in Software Engineering Using Bayesian
               Data Analysis},
  journal   = {CoRR},
  volume    = {abs/1809.09849},
  year      = {2018},
  url       = {http://arxiv.org/abs/1809.09849},
  archivePrefix = {arXiv},
  eprint    = {1809.09849},
  timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1809-09849},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-05422,
  author    = {Carlo A. Furia and
               Robert Feldt and
               Richard Torkar},
  title     = {Bayesian Data Analysis in Empirical Software Engineering Research},
  journal   = {CoRR},
  volume    = {abs/1811.05422},
  year      = {2018},
  url       = {http://arxiv.org/abs/1811.05422},
  archivePrefix = {arXiv},
  eprint    = {1811.05422},
  timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1811-05422},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/FuriaS17,
  author    = {Carlo A. Furia and
               Paola Spoletini},
  title     = {Bounded variability of metric temporal logic},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {80},
  number    = {3-4},
  pages     = {283--316},
  year      = {2017},
  url       = {https://doi.org/10.1007/s10472-016-9532-8},
  doi       = {10.1007/s10472-016-9532-8},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/amai/FuriaS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FuriaNPT17,
  author    = {Carlo A. Furia and
               Martin Nordio and
               Nadia Polikarpova and
               Julian Tschannen},
  title     = {AutoProof: auto-active functional verification of object-oriented
               programs},
  journal   = {{STTT}},
  volume    = {19},
  number    = {6},
  pages     = {697--716},
  year      = {2017},
  url       = {https://doi.org/10.1007/s10009-016-0419-0},
  doi       = {10.1007/s10009-016-0419-0},
  timestamp = {Mon, 16 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/FuriaNPT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Furia17,
  author    = {Carlo A. Furia},
  title     = {What good is bayesian data analysis for software engineering?},
  booktitle = {Proceedings of the 39th International Conference on Software Engineering,
               {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
               Volume},
  pages     = {374--376},
  year      = {2017},
  crossref  = {DBLP:conf/icse/2017c},
  url       = {https://doi.org/10.1109/ICSE-C.2017.92},
  doi       = {10.1109/ICSE-C.2017.92},
  timestamp = {Tue, 12 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/Furia17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ChenF17,
  author    = {Yuting Chen and
               Carlo A. Furia},
  title     = {Triggerless Happy - Intermediate Verification with a First-Order Prover},
  booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
               Turin, Italy, September 20-22, 2017, Proceedings},
  pages     = {295--311},
  year      = {2017},
  crossref  = {DBLP:conf/ifm/2017},
  url       = {https://doi.org/10.1007/978-3-319-66845-1\_19},
  doi       = {10.1007/978-3-319-66845-1\_19},
  timestamp = {Mon, 11 Sep 2017 12:15:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/ChenF17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Chen0F17,
  author    = {Liushan Chen and
               Yu Pei and
               Carlo A. Furia},
  title     = {Contract-based program repair without the contracts},
  booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
               03, 2017},
  pages     = {637--647},
  year      = {2017},
  crossref  = {DBLP:conf/kbse/2017},
  url       = {https://doi.org/10.1109/ASE.2017.8115674},
  doi       = {10.1109/ASE.2017.8115674},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/Chen0F17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AmeriF16,
  author    = {Michael Ameri and
               Carlo A. Furia},
  title     = {Why Just Boogie? - Translating Between Intermediate Verification Languages},
  booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
               Reykjavik, Iceland, June 1-5, 2016, Proceedings},
  pages     = {79--95},
  year      = {2016},
  crossref  = {DBLP:conf/ifm/2016},
  url       = {https://doi.org/10.1007/978-3-319-33693-0\_6},
  doi       = {10.1007/978-3-319-33693-0\_6},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/AmeriF16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2016,
  editor    = {Bernhard K. Aichernig and
               Carlo A. Furia},
  title     = {Tests and Proofs - 10th International Conference, {TAP} 2016, Held
               as Part of {STAF} 2016, Vienna, Austria, July 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9762},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4},
  doi       = {10.1007/978-3-319-41135-4},
  isbn      = {978-3-319-41134-7},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tap/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmeriF16,
  author    = {Michael Ameri and
               Carlo A. Furia},
  title     = {Why Just Boogie? Translating Between Intermediate Verification Languages},
  journal   = {CoRR},
  volume    = {abs/1601.00516},
  year      = {2016},
  url       = {http://arxiv.org/abs/1601.00516},
  archivePrefix = {arXiv},
  eprint    = {1601.00516},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AmeriF16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Furia16,
  author    = {Carlo A. Furia},
  title     = {Bayesian Statistics in Software Engineering: Practical Guide and Case
               Studies},
  journal   = {CoRR},
  volume    = {abs/1608.06865},
  year      = {2016},
  url       = {http://arxiv.org/abs/1608.06865},
  archivePrefix = {arXiv},
  eprint    = {1608.06865},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Furia16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/TschannenFN15,
  author    = {Julian Tschannen and
               Carlo A. Furia and
               Martin Nordio},
  title     = {AutoProof meets some verification challenges},
  journal   = {{STTT}},
  volume    = {17},
  number    = {6},
  pages     = {745--755},
  year      = {2015},
  url       = {https://doi.org/10.1007/s10009-014-0300-y},
  doi       = {10.1007/s10009-014-0300-y},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/TschannenFN15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GaleottiFMFZ15,
  author    = {Juan P. Galeotti and
               Carlo A. Furia and
               Eva May and
               Gordon Fraser and
               Andreas Zeller},
  title     = {Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static
               Checking},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {41},
  number    = {10},
  pages     = {1019--1037},
  year      = {2015},
  url       = {https://doi.org/10.1109/TSE.2015.2431688},
  doi       = {10.1109/TSE.2015.2431688},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/GaleottiFMFZ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PolikarpovaTF15,
  author    = {Nadia Polikarpova and
               Julian Tschannen and
               Carlo A. Furia},
  title     = {A Fully Verified Container Library},
  booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
               June 24-26, 2015, Proceedings},
  pages     = {414--434},
  year      = {2015},
  crossref  = {DBLP:conf/fm/2015},
  url       = {https://doi.org/10.1007/978-3-319-19249-9\_26},
  doi       = {10.1007/978-3-319-19249-9\_26},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/PolikarpovaTF15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/0001FNM15,
  author    = {Yu Pei and
               Carlo A. Furia and
               Mart{\'{\i}}n Nordio and
               Bertrand Meyer},
  title     = {Automated Program Repair in an Integrated Development Environment},
  booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
               {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
  pages     = {681--684},
  year      = {2015},
  crossref  = {DBLP:conf/icse/2015-2},
  url       = {https://doi.org/10.1109/ICSE.2015.222},
  doi       = {10.1109/ICSE.2015.222},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/0001FNM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NanzF15,
  author    = {Sebastian Nanz and
               Carlo A. Furia},
  title     = {A Comparative Study of Programming Languages in Rosetta Code},
  booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
               {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
  pages     = {778--788},
  year      = {2015},
  crossref  = {DBLP:conf/icse/2015-1},
  url       = {https://doi.org/10.1109/ICSE.2015.90},
  doi       = {10.1109/ICSE.2015.90},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/NanzF15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/TschannenFNP15,
  author    = {Julian Tschannen and
               Carlo A. Furia and
               Martin Nordio and
               Nadia Polikarpova},
  title     = {AutoProof: Auto-Active Functional Verification of Object-Oriented
               Programs},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 21st International Conference, {TACAS} 2015, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2015, London, UK, April 11-18, 2015. Proceedings},
  pages     = {566--580},
  year      = {2015},
  crossref  = {DBLP:conf/tacas/2015},
  url       = {https://doi.org/10.1007/978-3-662-46681-0\_53},
  doi       = {10.1007/978-3-662-46681-0\_53},
  timestamp = {Thu, 15 Jun 2017 21:37:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/TschannenFNP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FuriaPT15,
  author    = {Carlo A. Furia and
               Christopher M. Poskitt and
               Julian Tschannen},
  title     = {The AutoProof Verifier: Usability by Non-Experts and on Standard Code},
  booktitle = {Proceedings Second International Workshop on Formal Integrated Development
               Environment, {F-IDE} 2015, Oslo, Norway, June 22, 2015.},
  pages     = {42--55},
  year      = {2015},
  crossref  = {DBLP:journals/corr/DuboisMM15},
  url       = {https://doi.org/10.4204/EPTCS.187.4},
  doi       = {10.4204/EPTCS.187.4},
  timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/FuriaPT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TschannenFNP15,
  author    = {Julian Tschannen and
               Carlo A. Furia and
               Mart{\'{\i}}n Nordio and
               Nadia Polikarpova},
  title     = {AutoProof: Auto-active Functional Verification of Object-oriented
               Programs},
  journal   = {CoRR},
  volume    = {abs/1501.03063},
  year      = {2015},
  url       = {http://arxiv.org/abs/1501.03063},
  archivePrefix = {arXiv},
  eprint    = {1501.03063},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/TschannenFNP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/FuriaMV14,
  author    = {Carlo A. Furia and
               Bertrand Meyer and
               Sergey Velder},
  title     = {Loop invariants: Analysis, classification, and examples},
  journal   = {{ACM} Comput. Surv.},
  volume    = {46},
  number    = {3},
  pages     = {34:1--34:51},
  year      = {2014},
  url       = {https://doi.org/10.1145/2506375},
  doi       = {10.1145/2506375},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/csur/FuriaMV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/EstlerNFMS14,
  author    = {Hans{-}Christian Estler and
               Martin Nordio and
               Carlo A. Furia and
               Bertrand Meyer and
               Johannes Schneider},
  title     = {Agile vs. structured distributed software development: {A} case study},
  journal   = {Empirical Software Engineering},
  volume    = {19},
  number    = {5},
  pages     = {1197--1224},
  year      = {2014},
  url       = {https://doi.org/10.1007/s10664-013-9271-y},
  doi       = {10.1007/s10664-013-9271-y},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ese/EstlerNFMS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/0001FNWMZ14,
  author    = {Yu Pei and
               Carlo A. Furia and
               Martin Nordio and
               Yi Wei and
               Bertrand Meyer and
               Andreas Zeller},
  title     = {Automated Fixing of Programs with Contracts},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {40},
  number    = {5},
  pages     = {427--449},
  year      = {2014},
  url       = {https://doi.org/10.1109/TSE.2014.2312918},
  doi       = {10.1109/TSE.2014.2312918},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tse/0001FNWMZ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/0001FNM14,
  author    = {Yu Pei and
               Carlo A. Furia and
               Martin Nordio and
               Bertrand Meyer},
  title     = {Automatic Program Repair by Fixing Contracts},
  booktitle = {Fundamental Approaches to Software Engineering - 17th International
               Conference, {FASE} 2014, Held as Part of the European Joint Conferences
               on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
               April 5-13, 2014, Proceedings},
  pages     = {246--260},
  year      = {2014},
  crossref  = {DBLP:conf/fase/2014},
  url       = {https://doi.org/10.1007/978-3-642-54804-8\_17},
  doi       = {10.1007/978-3-642-54804-8\_17},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/0001FNM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/EstlerFNPM14,
  author    = {H.{-}Christian Estler and
               Carlo A. Furia and
               Martin Nordio and
               Marco Piccioni and
               Bertrand Meyer},
  title     = {Contracts in Practice},
  booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
               May 12-16, 2014. Proceedings},
  pages     = {230--246},
  year      = {2014},
  crossref  = {DBLP:conf/fm/2014},
  url       = {https://doi.org/10.1007/978-3-319-06410-9\_17},
  doi       = {10.1007/978-3-319-06410-9\_17},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fm/EstlerFNPM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PolikarpovaTFM14,
  author    = {Nadia Polikarpova and
               Julian Tschannen and
               Carlo A. Furia and
               Bertrand Meyer},
  title     = {Flexible Invariants through Semantic Collaboration},
  booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
               May 12-16, 2014. Proceedings},
  pages     = {514--530},
  year      = {2014},
  crossref  = {DBLP:conf/fm/2014},
  url       = {https://doi.org/10.1007/978-3-319-06410-9\_35},
  doi       = {10.1007/978-3-319-06410-9\_35},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fm/PolikarpovaTFM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/GaleottiFMFZ14,
  author    = {Juan Pablo Galeotti and
               Carlo A. Furia and
               Eva May and
               Gordon Fraser and
               Andreas Zeller},
  title     = {DynaMate: Dynamically Inferring Loop Invariants for Automatic Full
               Functional Verification},
  booktitle = {Hardware and Software: Verification and Testing - 10th International
               Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November
               18-20, 2014. Proceedings},
  pages     = {48--53},
  year      = {2014},
  crossref  = {DBLP:conf/hvc/2014},
  url       = {https://doi.org/10.1007/978-3-319-13338-6\_4},
  doi       = {10.1007/978-3-319-13338-6\_4},
  timestamp = {Fri, 19 May 2017 01:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/GaleottiFMFZ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgse/EstlerNFM14,
  author    = {H.{-}Christian Estler and
               Martin Nordio and
               Carlo A. Furia and
               Bertrand Meyer},
  title     = {Awareness and Merge Conflicts in Distributed Software Development},
  booktitle = {{IEEE} 9th International Conference on Global Software Engineering,
               {ICGSE} 2014, Shanghai, China, 18-21 August, 2014},
  pages     = {26--35},
  year      = {2014},
  crossref  = {DBLP:conf/icgse/2014},
  url       = {https://doi.org/10.1109/ICGSE.2014.17},
  doi       = {10.1109/ICGSE.2014.17},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icgse/EstlerNFM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/FuriaS14,
  author    = {Carlo A. Furia and
               Paola Spoletini},
  title     = {Bounded Variability of Metric Temporal Logic},
  booktitle = {21st International Symposium on Temporal Representation and Reasoning,
               {TIME} 2014, Verona, Italy, September 8-10, 2014},
  pages     = {155--163},
  year      = {2014},
  crossref  = {DBLP:conf/time/2014},
  url       = {https://doi.org/10.1109/TIME.2014.18},
  doi       = {10.1109/TIME.2014.18},
  timestamp = {Fri, 15 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/time/FuriaS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001FNWMZ14,
  author    = {Yu Pei and
               Carlo A. Furia and
               Martin Nordio and
               Yi Wei and
               Bertrand Meyer and
               Andreas Zeller},
  title     = {Automated Fixing of Programs with Contracts},
  journal   = {CoRR},
  volume    = {abs/1403.1117},
  year      = {2014},
  url       = {http://arxiv.org/abs/1403.1117},
  archivePrefix = {arXiv},
  eprint    = {1403.1117},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/0001FNWMZ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Furia14,
  author    = {Carlo A. Furia},
  title     = {Rotation of Sequences: Algorithms and Proofs},
  journal   = {CoRR},
  volume    = {abs/1406.5453},
  year      = {2014},
  url       = {http://arxiv.org/abs/1406.5453},
  archivePrefix = {arXiv},
  eprint    = {1406.5453},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Furia14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GaleottiFMFZ14,
  author    = {Juan P. Galeotti and
               Carlo A. Furia and
               Eva May and
               Gordon Fraser and
               Andreas Zeller},
  title     = {Automating Full Functional Verification of Programs with Loops},
  journal   = {CoRR},
  volume    = {abs/1407.5286},
  year      = {2014},
  url       = {http://arxiv.org/abs/1407.5286},
  archivePrefix = {arXiv},
  eprint    = {1407.5286},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/GaleottiFMFZ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NanzF14,
  author    = {Sebastian Nanz and
               Carlo A. Furia},
  title     = {A Comparative Study of Programming Languages in Rosetta Code},
  journal   = {CoRR},
  volume    = {abs/1409.0252},
  year      = {2014},
  url       = {http://arxiv.org/abs/1409.0252},
  archivePrefix = {arXiv},
  eprint    = {1409.0252},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/NanzF14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/FuriaN13,
  author    = {Carlo A. Furia and
               Sebastian Nanz},
  title     = {{TOOLS} Europe 2012 Special Section},
  journal   = {Journal of Object Technology},
  volume    = {12},
  number    = {3},
  year      = {2013},
  url       = {https://doi.org/10.5381/jot.2013.12.3.e1},
  doi       = {10.5381/jot.2013.12.3.e1},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jot/FuriaN13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/EstlerNFM13,
  author    = {H.{-}Christian Estler and
               Martin Nordio and
               Carlo A. Furia and
               Bertrand Meyer},
  title     = {Unifying Configuration Management with Merge Conflict Detection and
               Awareness Systems},
  booktitle = {22nd Australian Conference on Software Engineering {(ASWEC} 2013),
               4-7 June 2013, Melbourne, Victoria, Australia},
  pages     = {201--210},
  year      = {2013},
  crossref  = {DBLP:conf/aswec/2013},
  url       = {https://doi.org/10.1109/ASWEC.2013.32},
  doi       = {10.1109/ASWEC.2013.32},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aswec/EstlerNFM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/TrudelFNM13,
  author    = {Marco Trudel and
               Carlo A. Furia and
               Martin Nordio and
               Bertrand Meyer},
  title     = {Really Automatic Scalable Object-Oriented Reengineering},
  booktitle = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
               Montpellier, France, July 1-5, 2013. Proceedings},
  pages     = {477--501},
  year      = {2013},
  crossref  = {DBLP:conf/ecoop/2013},
  url       = {https://doi.org/10.1007/978-3-642-39038-8\_20},
  doi       = {10.1007/978-3-642-39038-8\_20},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/TrudelFNM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/PiccioniFM13,
  author    = {Marco Piccioni and
               Carlo A. Furia and
               Bertrand Meyer},
  title     = {An Empirical Study of {API} Usability},
  booktitle = {2013 {ACM} / {IEEE} International Symposium on Empirical Software
               Engineering and Measurement, Baltimore, Maryland, USA, October 10-11,
               2013},
  pages     = {5--14},
  year      = {2013},
  crossref  = {DBLP:conf/esem/2013},
  url       = {https://doi.org/10.1109/ESEM.2013.14},
  doi       = {10.1109/ESEM.2013.14},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/esem/PiccioniFM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/NordioCF13,
  author    = {Martin Nordio and
               Cristiano Calcagno and
               Carlo Alberto Furia},
  title     = {Javanni: {A} Verifier for JavaScript},
  booktitle = {Fundamental Approaches to Software Engineering - 16th International
               Conference, {FASE} 2013, Held as Part of the European Joint Conferences
               on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
               16-24, 2013. Proceedings},
  pages     = {231--234},
  year      = {2013},
  crossref  = {DBLP:conf/fase/2013},
  url       = {https://doi.org/10.1007/978-3-642-37057-1\_17},
  doi       = {10.1007/978-3-642-37057-1\_17},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/NordioCF13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgse/EstlerNFM13,
  author    = {H.{-}Christian Estler and
               Martin Nordio and
               Carlo A. Furia and
               Bertrand Meyer},
  title     = {Collaborative Debugging},
  booktitle = {8th {IEEE} International Conference on Global Software Engineering,
               {ICGSE} 2013, Bari, Italy, August 26-29, 2013.},
  pages     = {110--119},
  year      = {2013},
  crossref  = {DBLP:conf/icgse/2013},
  url       = {https://doi.org/10.1109/ICGSE.2013.21},
  doi       = {10.1109/ICGSE.2013.21},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icgse/EstlerNFM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PolikarpovaF0WM13,
  author    = {Nadia Polikarpova and
               Carlo A. Furia and
               Yu Pei and
               Yi Wei and
               Bertrand Meyer},
  title     = {What good are strong specifications?},
  booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
               San Francisco, CA, USA, May 18-26, 2013},
  pages     = {262--271},
  year      = {2013},
  crossref  = {DBLP:conf/icse/2013},
  url       = {https://doi.org/10.1109/ICSE.2013.6606572},
  doi       = {10.1109/ICSE.2013.6606572},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/PolikarpovaF0WM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/PolikarpovaFW13,
  author    = {Nadia Polikarpova and
               Carlo A. Furia and
               Scott West},
  title     = {To Run What No One Has Run Before: Executing an Intermediate Verification
               Language},
  booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
               France, September 24-27, 2013. Proceedings},
  pages     = {251--268},
  year      = {2013},
  crossref  = {DBLP:conf/rv/2013},
  url       = {https://doi.org/10.1007/978-3-642-40787-1\_15},
  doi       = {10.1007/978-3-642-40787-1\_15},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/PolikarpovaFW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/FuriaMOTW13,
  author    = {Carlo A. Furia and
               Bertrand Meyer and
               Manuel Oriol and
               Andrey Tikhomirov and
               Yi Wei},
  title     = {The search for the laws of automatic random testing},
  booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
               {SAC} '13, Coimbra, Portugal, March 18-22, 2013},
  pages     = {1211--1216},
  year      = {2013},
  crossref  = {DBLP:conf/sac/2013},
  url       = {https://doi.org/10.1145/2480362.2480590},
  doi       = {10.1145/2480362.2480590},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/FuriaMOTW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FraserBCFGIV13,
  author    = {Steven Fraser and
               Luciano Baresi and
               Jane Cleland{-}Huang and
               Carlo A. Furia and
               Georges Gonthier and
               Paola Inverardi and
               Moshe Y. Vardi},
  title     = {A publication culture in software engineering (panel)},
  booktitle = {Joint Meeting of the European Software Engineering Conference and
               the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
               ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
  pages     = {19--23},
  year      = {2013},
  crossref  = {DBLP:conf/sigsoft/2013},
  url       = {https://doi.org/10.1145/2491411.2505431},
  doi       = {10.1145/2491411.2505431},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/FraserBCFGIV13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/TschannenFNM13,
  author    = {Julian Tschannen and
               Carlo A. Furia and
               Martin Nordio and
               Bertrand Meyer},
  title     = {Program Checking with Less Hassle},
  booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
               Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
               Selected Papers},
  pages     = {149--169},
  year      = {2013},
  crossref  = {DBLP:conf/vstte/2013},
  url       = {https://doi.org/10.1007/978-3-642-54108-7\_8},
  doi       = {10.1007/978-3-642-54108-7\_8},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/TschannenFNM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FuriaS13,
  author    = {Carlo A. Furia and
               Paola Spoletini},
  title     = {Bounded Variability of Metric Temporal Logic},
  journal   = {CoRR},
  volume    = {abs/1306.2141},
  year      = {2013},
  url       = {http://arxiv.org/abs/1306.2141},
  archivePrefix = {arXiv},
  eprint    = {1306.2141},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/FuriaS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PolikarpovaTFM13,
  author    = {Nadia Polikarpova and
               Julian Tschannen and
               Carlo A. Furia and
               Bertrand Meyer},
  title     = {Flexible Invariants Through Semantic Collaboration},
  journal   = {CoRR},
  volume    = {abs/1311.6329},
  year      = {2013},
  url       = {http://arxiv.org/abs/1311.6329},
  archivePrefix = {arXiv},
  eprint    = {1311.6329},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/PolikarpovaTFM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0030674,
  author    = {Carlo A. Furia and
               Dino Mandrioli and
               Angelo Morzenti and
               Matteo Rossi},
  title     = {Modeling Time in Computing},
  series    = {Monographs in Theoretical Computer Science. An {EATCS} Series},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32332-4},
  doi       = {10.1007/978-3-642-32332-4},
  isbn      = {978-3-642-32331-7},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/books/daglib/0030674},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Furia12,
  author    = {Carlo A. Furia},
  title     = {A Verifier for Functional Properties of Sequence-Manipulating Programs},
  booktitle = {Automated Technology for Verification and Analysis - 10th International
               Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
               Proceedings},
  pages     = {183--186},
  year      = {2012},
  crossref  = {DBLP:conf/atva/2012},
  url       = {https://doi.org/10.1007/978-3-642-33386-6\_15},
  doi       = {10.1007/978-3-642-33386-6\_15},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/Furia12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgse/EstlerNFMS12,
  author    = {H.{-}Christian Estler and
               Mart{\'{\i}}n Nordio and
               Carlo A. Furia and
               Bertrand Meyer and
               Johannes Schneider},
  title     = {Agile vs. Structured Distributed Software Development: {A} Case Study},
  booktitle = {2012 {IEEE} Seventh International Conference on Global Software Engineering,
               Porto Alegre, Rio Grande do Sul, Brazil, August 27-30, 2012},
  pages     = {11--20},
  year      = {2012},
  crossref  = {DBLP:conf/icgse/2012},
  url       = {https://doi.org/10.1109/ICGSE.2012.22},
  doi       = {10.1109/ICGSE.2012.22},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icgse/EstlerNFMS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/FuriaS12,
  author    = {Carlo A. Furia and
               Paola Spoletini},
  title     = {Automata-based Verification of Linear Temporal Logic Models with Bounded
               Variability},
  booktitle = {19th International Symposium on Temporal Representation and Reasoning,
               {TIME} 2012, Leicester, United Kingdom, September 12-14, 2012},
  pages     = {89--96},
  year      = {2012},
  crossref  = {DBLP:conf/time/2012},
  url       = {https://doi.org/10.1109/TIME.2012.13},
  doi       = {10.1109/TIME.2012.13},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/time/FuriaS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/TrudelFNMO12,
  author    = {Marco Trudel and
               Carlo A. Furia and
               Martin Nordio and
               Bertrand Meyer and
               Manuel Oriol},
  title     = {C to {O-O} Translation: Beyond the Easy Stuff},
  booktitle = {19th Working Conference on Reverse Engineering, {WCRE} 2012, Kingston,
               ON, Canada, October 15-18, 2012},
  pages     = {19--28},
  year      = {2012},
  crossref  = {DBLP:conf/wcre/2012},
  url       = {https://doi.org/10.1109/WCRE.2012.12},
  doi       = {10.1109/WCRE.2012.12},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/TrudelFNMO12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/TrudelFN12,
  author    = {Marco Trudel and
               Carlo A. Furia and
               Martin Nordio},
  title     = {Automatic {C} to {O-O} Translation with C2Eiffel},
  booktitle = {19th Working Conference on Reverse Engineering, {WCRE} 2012, Kingston,
               ON, Canada, October 15-18, 2012},
  pages     = {501--502},
  year      = {2012},
  crossref  = {DBLP:conf/wcre/2012},
  url       = {https://doi.org/10.1109/WCRE.2012.60},
  doi       = {10.1109/WCRE.2012.60},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/TrudelFN12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/50-2012,
  editor    = {Carlo A. Furia and
               Sebastian Nanz},
  title     = {Objects, Models, Components, Patterns - 50th International Conference,
               {TOOLS} 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7304},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30561-0},
  doi       = {10.1007/978-3-642-30561-0},
  isbn      = {978-3-642-30560-3},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tools/50-2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-0178,
  author    = {Carlo A. Furia},
  title     = {A Survey of Multi-Tape Automata},
  journal   = {CoRR},
  volume    = {abs/1205.0178},
  year      = {2012},
  url       = {http://arxiv.org/abs/1205.0178},
  archivePrefix = {arXiv},
  eprint    = {1205.0178},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1205-0178},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-4860,
  author    = {Carlo A. Furia},
  title     = {Multi-tape automata for automatic verification},
  journal   = {CoRR},
  volume    = {abs/1206.4860},
  year      = {2012},
  url       = {http://arxiv.org/abs/1206.4860},
  archivePrefix = {arXiv},
  eprint    = {1206.4860},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1206-4860},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-5648,
  author    = {Marco Trudel and
               Carlo A. Furia and
               Martin Nordio and
               Bertrand Meyer and
               Manuel Oriol},
  title     = {Automatic Translation of {C} Source Code to Eiffel},
  journal   = {CoRR},
  volume    = {abs/1206.5648},
  year      = {2012},
  url       = {http://arxiv.org/abs/1206.5648},
  archivePrefix = {arXiv},
  eprint    = {1206.5648},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1206-5648},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-3337,
  author    = {Nadia Polikarpova and
               Carlo A. Furia and
               Yu Pei and
               Yi Wei and
               Bertrand Meyer},
  title     = {What Good Are Strong Specifications?},
  journal   = {CoRR},
  volume    = {abs/1208.3337},
  year      = {2012},
  url       = {http://arxiv.org/abs/1208.3337},
  archivePrefix = {arXiv},
  eprint    = {1208.3337},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1208-3337},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-3257,
  author    = {Carlo A. Furia and
               Bertrand Meyer and
               Manuel Oriol and
               Andrey Tikhomirov and
               Yi Wei},
  title     = {The Search for the Laws of Automatic Random Testing},
  journal   = {CoRR},
  volume    = {abs/1211.3257},
  year      = {2012},
  url       = {http://arxiv.org/abs/1211.3257},
  archivePrefix = {arXiv},
  eprint    = {1211.3257},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1211-3257},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-4470,
  author    = {Carlo A. Furia and
               Bertrand Meyer and
               Sergey Velder},
  title     = {A survey of loop invariants},
  journal   = {CoRR},
  volume    = {abs/1211.4470},
  year      = {2012},
  url       = {http://arxiv.org/abs/1211.4470},
  archivePrefix = {arXiv},
  eprint    = {1211.4470},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1211-4470},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-4775,
  author    = {H.{-}Christian Estler and
               Marco Piccioni and
               Carlo A. Furia and
               Martin Nordio and
               Bertrand Meyer},
  title     = {How Specifications Change and Why You Should Care},
  journal   = {CoRR},
  volume    = {abs/1211.4775},
  year      = {2012},
  url       = {http://arxiv.org/abs/1211.4775},
  archivePrefix = {arXiv},
  eprint    = {1211.4775},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1211-4775},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Furia11,
  author    = {Carlo A. Furia},
  title     = {Review of The calculus of computation: decision procedures with applications
               to verification by Aaron R. Bradley and Zohar Manna},
  journal   = {{SIGACT} News},
  volume    = {42},
  number    = {1},
  pages     = {32--35},
  year      = {2011},
  url       = {https://doi.org/10.1145/1959045.1959053},
  doi       = {10.1145/1959045.1959053},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigact/Furia11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WeiFKM11,
  author    = {Yi Wei and
               Carlo A. Furia and
               Nikolay Kazmin and
               Bertrand Meyer},
  title     = {Inferring better contracts},
  booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
               {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  pages     = {191--200},
  year      = {2011},
  crossref  = {DBLP:conf/icse/2011},
  url       = {https://doi.org/10.1145/1985793.1985820},
  doi       = {10.1145/1985793.1985820},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/WeiFKM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PeiWFNM11,
  author    = {Yu Pei and
               Yi Wei and
               Carlo A. Furia and
               Martin Nordio and
               Bertrand Meyer},
  title     = {Code-based automated program fixing},
  booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
  pages     = {392--395},
  year      = {2011},
  crossref  = {DBLP:conf/kbse/2011},
  url       = {https://doi.org/10.1109/ASE.2011.6100080},
  doi       = {10.1109/ASE.2011.6100080},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/PeiWFNM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WeiRFPHSNM11,
  author    = {Yi Wei and
               Hannes Roth and
               Carlo A. Furia and
               Yu Pei and
               Alexander Horton and
               Michael Steindorfer and
               Martin Nordio and
               Bertrand Meyer},
  title     = {Stateful testing: Finding more errors in code and contracts},
  booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
  pages     = {440--443},
  year      = {2011},
  crossref  = {DBLP:conf/kbse/2011},
  url       = {https://doi.org/10.1109/ASE.2011.6100094},
  doi       = {10.1109/ASE.2011.6100094},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/WeiRFPHSNM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/laser/TschannenFNM11,
  author    = {Julian Tschannen and
               Carlo Alberto Furia and
               Martin Nordio and
               Bertrand Meyer},
  title     = {Automatic Verification of Advanced Object-Oriented Features: The AutoProof
               Approach},
  booktitle = {Tools for Practical Software Verification, LASER, International Summer
               School 2011, Elba Island, Italy, Revised Tutorial Lectures},
  pages     = {133--155},
  year      = {2011},
  crossref  = {DBLP:conf/laser/2011},
  url       = {https://doi.org/10.1007/978-3-642-35746-6\_5},
  doi       = {10.1007/978-3-642-35746-6\_5},
  timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/laser/TschannenFNM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/TschannenFNM11,
  author    = {Julian Tschannen and
               Carlo A. Furia and
               Martin Nordio and
               Bertrand Meyer},
  title     = {Usable Verification of Object-Oriented Programs by Combining Static
               and Dynamic Techniques},
  booktitle = {Software Engineering and Formal Methods - 9th International Conference,
               {SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
  pages     = {382--398},
  year      = {2011},
  crossref  = {DBLP:conf/sefm/2011},
  url       = {https://doi.org/10.1007/978-3-642-24690-6\_26},
  doi       = {10.1007/978-3-642-24690-6\_26},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/TschannenFNM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/FuriaS11,
  author    = {Carlo A. Furia and
               Paola Spoletini},
  title     = {On Relaxing Metric Information in Linear Temporal Logic},
  booktitle = {Eighteenth International Symposium on Temporal Representation and
               Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
               2011},
  pages     = {72--79},
  year      = {2011},
  crossref  = {DBLP:conf/time/2011},
  url       = {https://doi.org/10.1109/TIME.2011.9},
  doi       = {10.1109/TIME.2011.9},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/time/FuriaS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/TrudelOFN11,
  author    = {Marco Trudel and
               Manuel Oriol and
               Carlo A. Furia and
               Martin Nordio},
  title     = {Automated Translation of Java Source Code to Eiffel},
  booktitle = {Objects, Models, Components, Patterns - 49th International Conference,
               {TOOLS} 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings},
  pages     = {20--35},
  year      = {2011},
  crossref  = {DBLP:conf/tools/49-2011},
  url       = {https://doi.org/10.1007/978-3-642-21952-8\_4},
  doi       = {10.1007/978-3-642-21952-8\_4},
  timestamp = {Tue, 23 May 2017 01:08:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tools/TrudelOFN11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-1059,
  author    = {Yu Pei and
               Yi Wei and
               Carlo A. Furia and
               Martin Nordio and
               Bertrand Meyer},
  title     = {Evidence-Based Automated Program Fixing},
  journal   = {CoRR},
  volume    = {abs/1102.1059},
  year      = {2011},
  url       = {http://arxiv.org/abs/1102.1059},
  archivePrefix = {arXiv},
  eprint    = {1102.1059},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1102-1059},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-4700,
  author    = {Julian Tschannen and
               Carlo A. Furia and
               Martin Nordio and
               Bertrand Meyer},
  title     = {Verifying Eiffel Programs with Boogie},
  journal   = {CoRR},
  volume    = {abs/1106.4700},
  year      = {2011},
  url       = {http://arxiv.org/abs/1106.4700},
  archivePrefix = {arXiv},
  eprint    = {1106.4700},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1106-4700},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-1068,
  author    = {Yi Wei and
               Hannes Roth and
               Carlo A. Furia and
               Yu Pei and
               Alexander Horton and
               Michael Steindorfer and
               Martin Nordio and
               Bertrand Meyer},
  title     = {Stateful Testing: Finding More Errors in Code and Contracts},
  journal   = {CoRR},
  volume    = {abs/1108.1068},
  year      = {2011},
  url       = {http://arxiv.org/abs/1108.1068},
  archivePrefix = {arXiv},
  eprint    = {1108.1068},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1108-1068},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/FuriaMMR10,
  author    = {Carlo A. Furia and
               Dino Mandrioli and
               Angelo Morzenti and
               Matteo Rossi},
  title     = {Modeling time in computing: {A} taxonomy and a comparative survey},
  journal   = {{ACM} Comput. Surv.},
  volume    = {42},
  number    = {2},
  pages     = {6:1--6:59},
  year      = {2010},
  url       = {https://doi.org/10.1145/1667062.1667063},
  doi       = {10.1145/1667062.1667063},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/csur/FuriaMMR10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/MandrioliFFJRY10,
  author    = {Dino Mandrioli and
               Stephen Fickas and
               Carlo A. Furia and
               Mehdi Jazayeri and
               Matteo Rossi and
               Michal Young},
  title     = {{SCORE:} the first student contest on software engineering},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {35},
  number    = {4},
  pages     = {24--30},
  year      = {2010},
  url       = {https://doi.org/10.1145/1811226.1811240},
  doi       = {10.1145/1811226.1811240},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigsoft/MandrioliFFJRY10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/FuriaR10,
  author    = {Carlo A. Furia and
               Matteo Rossi},
  title     = {A theory of sampling for continuous-time metric temporal logic},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {12},
  number    = {1},
  pages     = {8:1--8:40},
  year      = {2010},
  url       = {https://doi.org/10.1145/1838552.1838560},
  doi       = {10.1145/1838552.1838560},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/FuriaR10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Furia10,
  author    = {Carlo A. Furia},
  title     = {What's Decidable about Sequences?},
  booktitle = {Automated Technology for Verification and Analysis - 8th International
               Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  pages     = {128--142},
  year      = {2010},
  crossref  = {DBLP:conf/atva/2010},
  url       = {https://doi.org/10.1007/978-3-642-15643-4\_11},
  doi       = {10.1007/978-3-642-15643-4\_11},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/Furia10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FuriaM10,
  author    = {Carlo A. Furia and
               Bertrand Meyer},
  title     = {Inferring Loop Invariants Using Postconditions},
  booktitle = {Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich
               on the Occasion of His 70th Birthday},
  pages     = {277--300},
  year      = {2010},
  crossref  = {DBLP:conf/birthday/2010gurevich},
  url       = {https://doi.org/10.1007/978-3-642-15025-8\_15},
  doi       = {10.1007/978-3-642-15025-8\_15},
  timestamp = {Wed, 14 Nov 2018 10:58:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/FuriaM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/CavallaroNFP10,
  author    = {Luca Cavallaro and
               Elisabetta Di Nitto and
               Carlo A. Furia and
               Matteo Pradella},
  title     = {A Tile-Based Approach for Self-Assembling Service Compositions},
  booktitle = {15th {IEEE} International Conference on Engineering of Complex Computer
               Systems, {ICECCS} 2010, Oxford, United Kingdom, 22-26 March 2010},
  pages     = {43--52},
  year      = {2010},
  crossref  = {DBLP:conf/iceccs/2010},
  url       = {https://doi.org/10.1109/ICECCS.2010.6},
  doi       = {10.1109/ICECCS.2010.6},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/CavallaroNFP10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BindelliNFR10,
  author    = {Silvia Bindelli and
               Elisabetta Di Nitto and
               Carlo A. Furia and
               Matteo Rossi},
  title     = {Using Compositionality to Formally Model and Analyze Systems Built
               of a High Number of Components},
  booktitle = {15th {IEEE} International Conference on Engineering of Complex Computer
               Systems, {ICECCS} 2010, Oxford, United Kingdom, 22-26 March 2010},
  pages     = {85--94},
  year      = {2010},
  crossref  = {DBLP:conf/iceccs/2010},
  url       = {https://doi.org/10.1109/ICECCS.2010.65},
  doi       = {10.1109/ICECCS.2010.65},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/BindelliNFR10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WeiPFSBMZ10,
  author    = {Yi Wei and
               Yu Pei and
               Carlo A. Furia and
               Lucas Serpa Silva and
               Stefan Buchholz and
               Bertrand Meyer and
               Andreas Zeller},
  title     = {Automated fixing of programs with contracts},
  booktitle = {Proceedings of the Nineteenth International Symposium on Software
               Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
  pages     = {61--72},
  year      = {2010},
  crossref  = {DBLP:conf/issta/2010},
  url       = {https://doi.org/10.1145/1831708.1831716},
  doi       = {10.1145/1831708.1831716},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/WeiPFSBMZ10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/PolikarpovaFM10,
  author    = {Nadia Polikarpova and
               Carlo A. Furia and
               Bertrand Meyer},
  title     = {Specifying Reusable Components},
  booktitle = {Verified Software: Theories, Tools, Experiments, Third International
               Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  pages     = {127--141},
  year      = {2010},
  crossref  = {DBLP:conf/vstte/2010},
  url       = {https://doi.org/10.1007/978-3-642-15057-9\_9},
  doi       = {10.1007/978-3-642-15057-9\_9},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/PolikarpovaFM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-2100,
  author    = {Carlo A. Furia},
  title     = {What's Decidable About Sequences?},
  journal   = {CoRR},
  volume    = {abs/1001.2100},
  year      = {2010},
  url       = {http://arxiv.org/abs/1001.2100},
  archivePrefix = {arXiv},
  eprint    = {1001.2100},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1001-2100},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-1796,
  author    = {Paul Z. Kolano and
               Carlo A. Furia and
               Richard A. Kemmerer and
               Dino Mandrioli},
  title     = {Refinement and Verification of Real-Time Systems},
  journal   = {CoRR},
  volume    = {abs/1002.1796},
  year      = {2010},
  url       = {http://arxiv.org/abs/1002.1796},
  archivePrefix = {arXiv},
  eprint    = {1002.1796},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1002-1796},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1003-5777,
  author    = {Nadia Polikarpova and
               Carlo A. Furia and
               Bertrand Meyer},
  title     = {Specifying Reusable Components},
  journal   = {CoRR},
  volume    = {abs/1003.5777},
  year      = {2010},
  url       = {http://arxiv.org/abs/1003.5777},
  archivePrefix = {arXiv},
  eprint    = {1003.5777},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1003-5777},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-3455,
  author    = {Carlo A. Furia and
               Alberto Leva and
               Martina Maggio and
               Paola Spoletini},
  title     = {A control-theoretical methodology for the scheduling problem},
  journal   = {CoRR},
  volume    = {abs/1009.3455},
  year      = {2010},
  url       = {http://arxiv.org/abs/1009.3455},
  archivePrefix = {arXiv},
  eprint    = {1009.3455},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1009-3455},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/FuriaPR09,
  author    = {Carlo A. Furia and
               Matteo Pradella and
               Matteo Rossi},
  title     = {Comments on temporal logics for real-time system specification},
  journal   = {{ACM} Comput. Surv.},
  volume    = {41},
  number    = {2},
  pages     = {13:1--13:5},
  year      = {2009},
  url       = {https://doi.org/10.1145/1459352.1459358},
  doi       = {10.1145/1459352.1459358},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/csur/FuriaPR09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/FuriaS09,
  author    = {Carlo A. Furia and
               Paola Spoletini},
  title     = {Towards Relaxing Metric Information in Linear Temporal Logic},
  booktitle = {Theoretical Computer Science, 11th Italian Conference, {ICTCS} 2009,
               Cremona, Italy, September 28-30, 2009, Proceedings.},
  pages     = {121--124},
  year      = {2009},
  crossref  = {DBLP:conf/ictcs/2009},
  timestamp = {Tue, 28 May 2013 14:21:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictcs/FuriaS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BersaniFPR09,
  author    = {Marcello M. Bersani and
               Carlo A. Furia and
               Matteo Pradella and
               Matteo Rossi},
  title     = {Integrated Modeling and Verification of Real-Time Systems through
               Multiple Paradigms},
  booktitle = {Seventh {IEEE} International Conference on Software Engineering and
               Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
  pages     = {13--22},
  year      = {2009},
  crossref  = {DBLP:conf/sefm/2009},
  url       = {https://doi.org/10.1109/SEFM.2009.16},
  doi       = {10.1109/SEFM.2009.16},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/BersaniFPR09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-4711,
  author    = {Carlo A. Furia and
               Paola Spoletini},
  title     = {On Relaxing Metric Information in Linear Temporal Logic},
  journal   = {CoRR},
  volume    = {abs/0906.4711},
  year      = {2009},
  url       = {http://arxiv.org/abs/0906.4711},
  archivePrefix = {arXiv},
  eprint    = {0906.4711},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0906-4711},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-5074,
  author    = {Marcello M. Bersani and
               Carlo A. Furia and
               Matteo Pradella and
               Matteo Rossi},
  title     = {Integrated Modeling and Verification of Real-Time Systems through
               Multiple Paradigms},
  journal   = {CoRR},
  volume    = {abs/0907.5074},
  year      = {2009},
  url       = {http://arxiv.org/abs/0907.5074},
  archivePrefix = {arXiv},
  eprint    = {0907.5074},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0907-5074},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0909-0884,
  author    = {Carlo A. Furia and
               Bertrand Meyer},
  title     = {Inferring Loop Invariants using Postconditions},
  journal   = {CoRR},
  volume    = {abs/0909.0884},
  year      = {2009},
  url       = {http://arxiv.org/abs/0909.0884},
  archivePrefix = {arXiv},
  eprint    = {0909.0884},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0909-0884},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0911-5642,
  author    = {Carlo A. Furia and
               Matteo Rossi},
  title     = {A Theory of Sampling for Continuous-time Metric Temporal Logic},
  journal   = {CoRR},
  volume    = {abs/0911.5642},
  year      = {2009},
  url       = {http://arxiv.org/abs/0911.5642},
  archivePrefix = {arXiv},
  eprint    = {0911.5642},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0911-5642},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FuriaS08,
  author    = {Carlo A. Furia and
               Paola Spoletini},
  title     = {Practical Efficient Modular Linear-Time Model-Checking},
  booktitle = {Automated Technology for Verification and Analysis, 6th International
               Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
  pages     = {408--417},
  year      = {2008},
  crossref  = {DBLP:conf/atva/2008},
  url       = {https://doi.org/10.1007/978-3-540-88387-6\_35},
  doi       = {10.1007/978-3-540-88387-6\_35},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/FuriaS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cacsd/FuriaMST08,
  author    = {Carlo A. Furia and
               Marco Mazzucchelli and
               Paola Spoletini and
               Mara Tanelli},
  title     = {Towards the exhaustive verification of real-time aspects in controller
               implementation},
  booktitle = {{IEEE} International Conference on Computer-Aided Control Systems,
               {CACSD} 2008, San Antonio, TX, USA, September 3-5, 2008},
  pages     = {1265--1270},
  year      = {2008},
  crossref  = {DBLP:conf/cacsd/2008},
  url       = {https://doi.org/10.1109/CACSD.2008.4627349},
  doi       = {10.1109/CACSD.2008.4627349},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cacsd/FuriaMST08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FuriaPR08,
  author    = {Carlo A. Furia and
               Matteo Pradella and
               Matteo Rossi},
  title     = {Automated Verification of Dense-Time {MTL} Specifications Via Discrete-Time
               Approximation},
  booktitle = {{FM} 2008: Formal Methods, 15th International Symposium on Formal
               Methods, Turku, Finland, May 26-30, 2008, Proceedings},
  pages     = {132--147},
  year      = {2008},
  crossref  = {DBLP:conf/fm/2008},
  url       = {https://doi.org/10.1007/978-3-540-68237-0\_11},
  doi       = {10.1007/978-3-540-68237-0\_11},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/FuriaPR08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/FuriaR08,
  author    = {Carlo A. Furia and
               Matteo Rossi},
  title     = {{MTL} with Bounded Variability: Decidability and Complexity},
  booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
               {FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
  pages     = {109--123},
  year      = {2008},
  crossref  = {DBLP:conf/formats/2008},
  url       = {https://doi.org/10.1007/978-3-540-85778-5\_9},
  doi       = {10.1007/978-3-540-85778-5\_9},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/FuriaR08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FuriaPR08,
  author    = {Carlo A. Furia and
               Matteo Pradella and
               Matteo Rossi},
  title     = {Practical Automated Partial Verification of Multi-paradigm Real-Time
               Models},
  booktitle = {Formal Methods and Software Engineering, 10th International Conference
               on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan,
               October 27-31, 2008. Proceedings},
  pages     = {298--317},
  year      = {2008},
  crossref  = {DBLP:conf/icfem/2008},
  url       = {https://doi.org/10.1007/978-3-540-88194-0\_19},
  doi       = {10.1007/978-3-540-88194-0\_19},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/FuriaPR08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/FuriaS08,
  author    = {Carlo A. Furia and
               Paola Spoletini},
  title     = {Tomorrow and All our Yesterdays: {MTL} Satisfiability over the Integers},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
               Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
  pages     = {126--140},
  year      = {2008},
  crossref  = {DBLP:conf/ictac/2008},
  url       = {https://doi.org/10.1007/978-3-540-85762-4\_9},
  doi       = {10.1007/978-3-540-85762-4\_9},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/FuriaS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0804-4383,
  author    = {Carlo A. Furia and
               Matteo Pradella and
               Matteo Rossi},
  title     = {Practical Automated Partial Verification of Multi-Paradigm Real-Time
               Models},
  journal   = {CoRR},
  volume    = {abs/0804.4383},
  year      = {2008},
  url       = {http://arxiv.org/abs/0804.4383},
  archivePrefix = {arXiv},
  eprint    = {0804.4383},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0804-4383},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0807-4132,
  author    = {Carlo A. Furia and
               Dino Mandrioli and
               Angelo Morzenti and
               Matteo Rossi},
  title     = {Modeling Time in Computing: {A} Taxonomy and a Comparative Survey},
  journal   = {CoRR},
  volume    = {abs/0807.4132},
  year      = {2008},
  url       = {http://arxiv.org/abs/0807.4132},
  archivePrefix = {arXiv},
  eprint    = {0807.4132},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0807-4132},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/FuriaR07,
  author    = {Carlo A. Furia and
               Matteo Rossi},
  title     = {No Need to Be Strict: On the Expressiveness of Metric Temporal Logics
               with (Non-)strict Operators},
  journal   = {Bulletin of the {EATCS}},
  volume    = {92},
  pages     = {150--160},
  year      = {2007},
  timestamp = {Tue, 20 Mar 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/eatcs/FuriaR07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FuriaRMM07,
  author    = {Carlo A. Furia and
               Matteo Rossi and
               Dino Mandrioli and
               Angelo Morzenti},
  title     = {Automated compositional proofs for real-time systems},
  journal   = {Theor. Comput. Sci.},
  volume    = {376},
  number    = {3},
  pages     = {164--184},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.tcs.2007.02.003},
  doi       = {10.1016/j.tcs.2007.02.003},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/FuriaRMM07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/FuriaR07,
  author    = {Carlo A. Furia and
               Matteo Rossi},
  title     = {On the Expressiveness of {MTL} Variants over Dense Time},
  booktitle = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
               {FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
  pages     = {163--178},
  year      = {2007},
  crossref  = {DBLP:conf/formats/2007},
  url       = {https://doi.org/10.1007/978-3-540-75454-1\_13},
  doi       = {10.1007/978-3-540-75454-1\_13},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/FuriaR07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FuriaRM07,
  author    = {Carlo A. Furia and
               Matteo Rossi and
               Dino Mandrioli},
  title     = {Modeling the Environment in Software-Intensive Systems},
  booktitle = {International Workshop on Modeling in Software Engineering, MiSE 2007,
               Minneapolis, MN, USA, May 20-26, 2007},
  pages     = {11},
  year      = {2007},
  crossref  = {DBLP:conf/icse/2007mise},
  url       = {https://doi.org/10.1109/MISE.2007.11},
  doi       = {10.1109/MISE.2007.11},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/FuriaRM07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FuriaMPR06,
  author    = {Carlo A. Furia and
               Angelo Morzenti and
               Matteo Pradella and
               Matteo Rossi},
  title     = {Comments on "An Interval Logic for Real-Time System Specification'},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {32},
  number    = {6},
  pages     = {424--427},
  year      = {2006},
  url       = {https://doi.org/10.1109/TSE.2006.50},
  doi       = {10.1109/TSE.2006.50},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/FuriaMPR06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/FuriaR06,
  author    = {Carlo A. Furia and
               Matteo Rossi},
  title     = {Integrating Discrete- and Continuous-Time Metric Temporal Logics Through
               Sampling},
  booktitle = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
               {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  pages     = {215--229},
  year      = {2006},
  crossref  = {DBLP:conf/formats/2006},
  url       = {https://doi.org/10.1007/11867340\_16},
  doi       = {10.1007/11867340\_16},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/FuriaR06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/FuriaR05,
  author    = {Carlo A. Furia and
               Matteo Rossi},
  title     = {A Compositional Framework for Formally Verifying Modular Systems},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {116},
  pages     = {185--198},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.02.076},
  doi       = {10.1016/j.entcs.2004.02.076},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/FuriaR05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/FuriaRMM05,
  author    = {Carlo A. Furia and
               Matteo Rossi and
               Dino Mandrioli and
               Angelo Morzenti},
  title     = {Automated Compositional Proofs for Real-Time Systems},
  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},
  pages     = {326--340},
  year      = {2005},
  crossref  = {DBLP:conf/fase/2005},
  url       = {https://doi.org/10.1007/978-3-540-31984-9\_25},
  doi       = {10.1007/978-3-540-31984-9\_25},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/FuriaRMM05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscis/MattaFR04,
  author    = {Andrea Matta and
               Carlo A. Furia and
               Matteo Rossi},
  title     = {Semi-formal and Formal Models Applied to Flexible Manufacturing Systems},
  booktitle = {Computer and Information Sciences - {ISCIS} 2004, 19th International
               Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings},
  pages     = {718--728},
  year      = {2004},
  crossref  = {DBLP:conf/iscis/2004},
  url       = {https://doi.org/10.1007/978-3-540-30182-0\_72},
  doi       = {10.1007/978-3-540-30182-0\_72},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscis/MattaFR04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2018,
  editor    = {Shuvendu K. Lahiri and
               Chao Wang},
  title     = {Automated Technology for Verification and Analysis - 16th International
               Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11138},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-01090-4},
  doi       = {10.1007/978-3-030-01090-4},
  isbn      = {978-3-030-01089-8},
  timestamp = {Mon, 01 Oct 2018 17:02:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2017c,
  editor    = {Sebasti{\'{a}}n Uchitel and
               Alessandro Orso and
               Martin P. Robillard},
  title     = {Proceedings of the 39th International Conference on Software Engineering,
               {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
               Volume},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7961434},
  isbn      = {978-1-5386-1589-8},
  timestamp = {Fri, 07 Jul 2017 14:06:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2017c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2017,
  editor    = {Nadia Polikarpova and
               Steve Schneider},
  title     = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
               Turin, Italy, September 20-22, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10510},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66845-1},
  doi       = {10.1007/978-3-319-66845-1},
  isbn      = {978-3-319-66844-4},
  timestamp = {Mon, 11 Sep 2017 12:15:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2017,
  editor    = {Grigore Rosu and
               Massimiliano Di Penta and
               Tien N. Nguyen},
  title     = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
               03, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8106906},
  isbn      = {978-1-5386-2684-9},
  timestamp = {Thu, 30 Nov 2017 15:06:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2016,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Marieke Huisman},
  title     = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
               Reykjavik, Iceland, June 1-5, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9681},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-33693-0},
  doi       = {10.1007/978-3-319-33693-0},
  isbn      = {978-3-319-33692-3},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2015,
  editor    = {Nikolaj Bj{\o}rner and
               Frank S. de Boer},
  title     = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
               June 24-26, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9109},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19249-9},
  doi       = {10.1007/978-3-319-19249-9},
  isbn      = {978-3-319-19248-2},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2015-2,
  editor    = {Antonia Bertolino and
               Gerardo Canfora and
               Sebastian G. Elbaum},
  title     = {37th {IEEE/ACM} International Conference on Software Engineering,
               {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7174815},
  timestamp = {Tue, 03 May 2016 15:49:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2015-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2015-1,
  editor    = {Antonia Bertolino and
               Gerardo Canfora and
               Sebastian G. Elbaum},
  title     = {37th {IEEE/ACM} International Conference on Software Engineering,
               {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7174815},
  isbn      = {978-1-4799-1934-5},
  timestamp = {Tue, 03 May 2016 15:49:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2015-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2015,
  editor    = {Christel Baier and
               Cesare Tinelli},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 21st International Conference, {TACAS} 2015, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2015, London, UK, April 11-18, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9035},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46681-0},
  doi       = {10.1007/978-3-662-46681-0},
  isbn      = {978-3-662-46680-3},
  timestamp = {Thu, 15 Jun 2017 21:37:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/DuboisMM15,
  editor    = {Catherine Dubois and
               Paolo Masci and
               Dominique M{\'{e}}ry},
  title     = {Proceedings Second International Workshop on Formal Integrated Development
               Environment, {F-IDE} 2015, Oslo, Norway, June 22, 2015},
  series    = {{EPTCS}},
  volume    = {187},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.187},
  doi       = {10.4204/EPTCS.187},
  timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DuboisMM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2014,
  editor    = {Stefania Gnesi and
               Arend Rensink},
  title     = {Fundamental Approaches to Software Engineering - 17th International
               Conference, {FASE} 2014, Held as Part of the European Joint Conferences
               on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
               April 5-13, 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8411},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54804-8},
  doi       = {10.1007/978-3-642-54804-8},
  isbn      = {978-3-642-54803-1},
  timestamp = {Fri, 02 Jun 2017 20:48:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2014,
  editor    = {Cliff B. Jones and
               Pekka Pihlajasaari and
               Jun Sun},
  title     = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
               May 12-16, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8442},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-06410-9},
  doi       = {10.1007/978-3-319-06410-9},
  isbn      = {978-3-319-06409-3},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2014,
  editor    = {Eran Yahav},
  title     = {Hardware and Software: Verification and Testing - 10th International
               Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November
               18-20, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8855},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-13338-6},
  doi       = {10.1007/978-3-319-13338-6},
  isbn      = {978-3-319-13337-9},
  timestamp = {Fri, 19 May 2017 01:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icgse/2014,
  title     = {{IEEE} 9th International Conference on Global Software Engineering,
               {ICGSE} 2014, Shanghai, China, 18-21 August, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6909099},
  isbn      = {978-1-4799-4361-6},
  timestamp = {Tue, 04 Oct 2016 11:37:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icgse/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/time/2014,
  editor    = {Amedeo Cesta and
               Carlo Combi and
               Fran{\c{c}}ois Laroussinie},
  title     = {21st International Symposium on Temporal Representation and Reasoning,
               {TIME} 2014, Verona, Italy, September 8-10, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6933234},
  isbn      = {978-1-4799-4228-2},
  timestamp = {Wed, 07 Jan 2015 16:47:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/time/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aswec/2013,
  title     = {22nd Australian Conference on Software Engineering {(ASWEC} 2013),
               4-7 June 2013, Melbourne, Victoria, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6601074},
  isbn      = {978-0-7695-4995-8},
  timestamp = {Thu, 16 Oct 2014 11:29:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aswec/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2013,
  editor    = {Giuseppe Castagna},
  title     = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
               Montpellier, France, July 1-5, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7920},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39038-8},
  doi       = {10.1007/978-3-642-39038-8},
  isbn      = {978-3-642-39037-1},
  timestamp = {Sun, 21 May 2017 00:20:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esem/2013,
  title     = {2013 {ACM} / {IEEE} International Symposium on Empirical Software
               Engineering and Measurement, Baltimore, Maryland, USA, October 10-11,
               2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6681322},
  isbn      = {978-0-7695-5056-5},
  timestamp = {Mon, 04 Aug 2014 17:08:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esem/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2013,
  editor    = {Vittorio Cortellessa and
               D{\'{a}}niel Varr{\'{o}}},
  title     = {Fundamental Approaches to Software Engineering - 16th International
               Conference, {FASE} 2013, Held as Part of the European Joint Conferences
               on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
               16-24, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7793},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-37057-1},
  doi       = {10.1007/978-3-642-37057-1},
  isbn      = {978-3-642-37056-4},
  timestamp = {Thu, 25 May 2017 00:41:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icgse/2013,
  title     = {8th {IEEE} International Conference on Global Software Engineering,
               {ICGSE} 2013, Bari, Italy, August 26-29, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6612561},
  isbn      = {978-0-7695-5057-2},
  timestamp = {Tue, 04 Oct 2016 11:38:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icgse/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2013,
  editor    = {David Notkin and
               Betty H. C. Cheng and
               Klaus Pohl},
  title     = {35th International Conference on Software Engineering, {ICSE} '13,
               San Francisco, CA, USA, May 18-26, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6596173},
  isbn      = {978-1-4673-3076-3},
  timestamp = {Tue, 03 May 2016 16:08:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2013,
  editor    = {Axel Legay and
               Saddek Bensalem},
  title     = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
               France, September 24-27, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8174},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40787-1},
  doi       = {10.1007/978-3-642-40787-1},
  isbn      = {978-3-642-40786-4},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2013,
  editor    = {Sung Y. Shin and
               Jos{\'{e}} Carlos Maldonado},
  title     = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
               {SAC} '13, Coimbra, Portugal, March 18-22, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2480362},
  isbn      = {978-1-4503-1656-9},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2013,
  editor    = {Bertrand Meyer and
               Luciano Baresi and
               Mira Mezini},
  title     = {Joint Meeting of the European Software Engineering Conference and
               the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
               ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2491411},
  isbn      = {978-1-4503-2237-9},
  timestamp = {Mon, 30 Oct 2017 11:35:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2013,
  editor    = {Ernie Cohen and
               Andrey Rybalchenko},
  title     = {Verified Software: Theories, Tools, Experiments - 5th International
               Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8164},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54108-7},
  doi       = {10.1007/978-3-642-54108-7},
  isbn      = {978-3-642-54107-0},
  timestamp = {Tue, 23 May 2017 01:06:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2012,
  editor    = {Supratik Chakraborty and
               Madhavan Mukund},
  title     = {Automated Technology for Verification and Analysis - 10th International
               Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7561},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33386-6},
  doi       = {10.1007/978-3-642-33386-6},
  isbn      = {978-3-642-33385-9},
  timestamp = {Sun, 21 May 2017 00:22:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icgse/2012,
  title     = {2012 {IEEE} Seventh International Conference on Global Software Engineering,
               Porto Alegre, Rio Grande do Sul, Brazil, August 27-30, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6336441},
  isbn      = {978-1-4673-2357-4},
  timestamp = {Tue, 04 Oct 2016 11:38:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icgse/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/time/2012,
  editor    = {Ben C. Moszkowski and
               Mark Reynolds and
               Paolo Terenziani},
  title     = {19th International Symposium on Temporal Representation and Reasoning,
               {TIME} 2012, Leicester, United Kingdom, September 12-14, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6310179},
  isbn      = {978-1-4673-2659-9},
  timestamp = {Wed, 07 Jan 2015 16:47:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/time/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcre/2012,
  title     = {19th Working Conference on Reverse Engineering, {WCRE} 2012, Kingston,
               ON, Canada, October 15-18, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6383188},
  isbn      = {978-1-4673-4536-1},
  timestamp = {Tue, 14 Apr 2015 18:52:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2011,
  editor    = {Richard N. Taylor and
               Harald C. Gall and
               Nenad Medvidovic},
  title     = {Proceedings of the 33rd International Conference on Software Engineering,
               {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0445-0},
  timestamp = {Wed, 01 Apr 2015 20:06:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2011,
  editor    = {Perry Alexander and
               Corina S. Pasareanu and
               John G. Hosking},
  title     = {26th {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6093623},
  isbn      = {978-1-4577-1638-6},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/laser/2011,
  editor    = {Bertrand Meyer and
               Martin Nordio},
  title     = {Tools for Practical Software Verification, LASER, International Summer
               School 2011, Elba Island, Italy, Revised Tutorial Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {7682},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35746-6},
  doi       = {10.1007/978-3-642-35746-6},
  isbn      = {978-3-642-35745-9},
  timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/laser/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2011,
  editor    = {Gilles Barthe and
               Alberto Pardo and
               Gerardo Schneider},
  title     = {Software Engineering and Formal Methods - 9th International Conference,
               {SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7041},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24690-6},
  doi       = {10.1007/978-3-642-24690-6},
  isbn      = {978-3-642-24689-0},
  timestamp = {Sun, 21 May 2017 00:18:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/time/2011,
  editor    = {Carlo Combi and
               Martin Leucker and
               Frank Wolter},
  title     = {Eighteenth International Symposium on Temporal Representation and
               Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
               2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6063703},
  isbn      = {978-1-4577-1242-5},
  timestamp = {Wed, 07 Jan 2015 16:47:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/time/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/49-2011,
  editor    = {Judith Bishop and
               Antonio Vallecillo},
  title     = {Objects, Models, Components, Patterns - 49th International Conference,
               {TOOLS} 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6705},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21952-8},
  doi       = {10.1007/978-3-642-21952-8},
  isbn      = {978-3-642-21951-1},
  timestamp = {Tue, 23 May 2017 01:08:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tools/49-2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2010,
  editor    = {Ahmed Bouajjani and
               Wei{-}Ngan Chin},
  title     = {Automated Technology for Verification and Analysis - 8th International
               Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6252},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15643-4},
  doi       = {10.1007/978-3-642-15643-4},
  isbn      = {978-3-642-15642-7},
  timestamp = {Sun, 21 May 2017 00:22:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2010gurevich,
  editor    = {Andreas Blass and
               Nachum Dershowitz and
               Wolfgang Reisig},
  title     = {Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich
               on the Occasion of His 70th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {6300},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15025-8},
  doi       = {10.1007/978-3-642-15025-8},
  isbn      = {978-3-642-15024-1},
  timestamp = {Wed, 14 Nov 2018 10:58:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2010gurevich},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2010,
  editor    = {Radu Calinescu and
               Richard F. Paige and
               Marta Z. Kwiatkowska},
  title     = {15th {IEEE} International Conference on Engineering of Complex Computer
               Systems, {ICECCS} 2010, Oxford, United Kingdom, 22-26 March 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5626943},
  isbn      = {978-0-7695-4015-3},
  timestamp = {Thu, 23 Apr 2015 17:57:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2010,
  editor    = {Paolo Tonella and
               Alessandro Orso},
  title     = {Proceedings of the Nineteenth International Symposium on Software
               Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1831708},
  doi       = {10.1145/1831708},
  isbn      = {978-1-60558-823-0},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2010,
  editor    = {Gary T. Leavens and
               Peter W. O'Hearn and
               Sriram K. Rajamani},
  title     = {Verified Software: Theories, Tools, Experiments, Third International
               Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6217},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15057-9},
  doi       = {10.1007/978-3-642-15057-9},
  isbn      = {978-3-642-15056-2},
  timestamp = {Tue, 23 May 2017 01:06:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictcs/2009,
  editor    = {Alessandra Cherubini and
               Mario Coppo and
               Giuseppe Persiano},
  title     = {Theoretical Computer Science, 11th Italian Conference, {ICTCS} 2009,
               Cremona, Italy, September 28-30, 2009, Proceedings},
  year      = {2009},
  timestamp = {Tue, 28 May 2013 14:21:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictcs/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2009,
  editor    = {Dang Van Hung and
               Padmanabhan Krishnan},
  title     = {Seventh {IEEE} International Conference on Software Engineering and
               Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5368044},
  isbn      = {978-0-7695-3870-9},
  timestamp = {Thu, 28 May 2015 17:23:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2008,
  editor    = {Sung Deok Cha and
               Jin{-}Young Choi and
               Moonzoo Kim and
               Insup Lee and
               Mahesh Viswanathan},
  title     = {Automated Technology for Verification and Analysis, 6th International
               Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5311},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-88387-6},
  doi       = {10.1007/978-3-540-88387-6},
  isbn      = {978-3-540-88386-9},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cacsd/2008,
  title     = {{IEEE} International Conference on Computer-Aided Control Systems,
               {CACSD} 2008, San Antonio, TX, USA, September 3-5, 2008},
  publisher = {{IEEE}},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4624276},
  isbn      = {978-1-4244-2221-0},
  timestamp = {Tue, 14 Apr 2015 19:16:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cacsd/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2008,
  editor    = {Jorge Cu{\'{e}}llar and
               T. S. E. Maibaum and
               Kaisa Sere},
  title     = {{FM} 2008: Formal Methods, 15th International Symposium on Formal
               Methods, Turku, Finland, May 26-30, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5014},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68237-0},
  doi       = {10.1007/978-3-540-68237-0},
  isbn      = {978-3-540-68235-6},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2008,
  editor    = {Franck Cassez and
               Claude Jard},
  title     = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
               {FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5215},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85778-5},
  doi       = {10.1007/978-3-540-85778-5},
  isbn      = {978-3-540-85777-8},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2008,
  editor    = {Shaoying Liu and
               T. S. E. Maibaum and
               Keijiro Araki},
  title     = {Formal Methods and Software Engineering, 10th International Conference
               on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan,
               October 27-31, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5256},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-88194-0},
  doi       = {10.1007/978-3-540-88194-0},
  isbn      = {978-3-540-88193-3},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2008,
  editor    = {John S. Fitzgerald and
               Anne Elisabeth Haxthausen and
               H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
               Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5160},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85762-4},
  doi       = {10.1007/978-3-540-85762-4},
  isbn      = {978-3-540-85761-7},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2007,
  editor    = {Jean{-}Fran{\c{c}}ois Raskin and
               P. S. Thiagarajan},
  title     = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
               {FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4763},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75454-1},
  doi       = {10.1007/978-3-540-75454-1},
  isbn      = {978-3-540-75453-4},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2007mise,
  title     = {International Workshop on Modeling in Software Engineering, MiSE 2007,
               Minneapolis, MN, USA, May 20-26, 2007},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4273237},
  isbn      = {0-7695-2953-4},
  timestamp = {Fri, 07 Aug 2015 14:59:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2007mise},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2006,
  editor    = {Eugene Asarin and
               Patricia Bouyer},
  title     = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
               {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4202},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11867340},
  doi       = {10.1007/11867340},
  isbn      = {3-540-45026-2},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/2006},
  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}
}
@proceedings{DBLP:conf/iscis/2004,
  editor    = {Cevdet Aykanat and
               Tugrul Dayar and
               Ibrahim Korpeoglu},
  title     = {Computer and Information Sciences - {ISCIS} 2004, 19th International
               Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3280},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b101749},
  doi       = {10.1007/b101749},
  isbn      = {3-540-23526-4},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscis/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier