BibTeX records: Bernard Berthomieu

download as .bib file

@inproceedings{DBLP:conf/icse/FoughaliBDHIM18,
  author    = {Mohammed Foughali and
               Bernard Berthomieu and
               Silvano Dal{-}Zilio and
               Pierre{-}Emmanuel Hladik and
               F{\'{e}}lix Ingrand and
               Anthony Mallet},
  title     = {Formal verification of complex robotic systems on resource-constrained
               platforms},
  booktitle = {Proceedings of the 6th Conference on Formal Methods in Software Engineering,
               FormaliSE 2018, collocated with {ICSE} 2018, Gothenburg, Sweden, June
               2, 2018},
  pages     = {2--9},
  year      = {2018},
  crossref  = {DBLP:conf/icse/2018formalise},
  url       = {http://doi.acm.org/10.1145/3193992.3193996},
  doi       = {10.1145/3193992.3193996},
  timestamp = {Fri, 20 Jul 2018 09:47:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/FoughaliBDHIM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BerthomieuBD18,
  author    = {Bernard Berthomieu and
               Didier Le Botlan and
               Silvano Dal{-}Zilio},
  title     = {Petri Net Reductions for Counting Markings},
  booktitle = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
               Malaga, Spain, June 20-22, 2018, Proceedings},
  pages     = {65--84},
  year      = {2018},
  crossref  = {DBLP:conf/spin/2018},
  url       = {https://doi.org/10.1007/978-3-319-94111-0\_4},
  doi       = {10.1007/978-3-319-94111-0\_4},
  timestamp = {Mon, 18 Jun 2018 13:08:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/BerthomieuBD18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-02973,
  author    = {Bernard Berthomieu and
               Didier Le Botlan and
               Silvano Dal{-}Zilio},
  title     = {Petri Net Reductions for Counting Markings},
  journal   = {CoRR},
  volume    = {abs/1807.02973},
  year      = {2018},
  url       = {http://arxiv.org/abs/1807.02973},
  archivePrefix = {arXiv},
  eprint    = {1807.02973},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1807-02973},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BourdilBDV16,
  author    = {Pierre{-}Alain Bourdil and
               Bernard Berthomieu and
               Silvano Dal{-}Zilio and
               Fran{\c{c}}ois Vernadat},
  title     = {Symmetry reduction for time Petri net state classes},
  journal   = {Sci. Comput. Program.},
  volume    = {132},
  pages     = {209--225},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.scico.2016.08.008},
  doi       = {10.1016/j.scico.2016.08.008},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/BourdilBDV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FoughaliBDIM16,
  author    = {Mohammed Foughali and
               Bernard Berthomieu and
               Silvano Dal{-}Zilio and
               F{\'{e}}lix Ingrand and
               Anthony Mallet},
  title     = {Model Checking Real-Time Properties on the Functional Layer of Autonomous
               Robots},
  booktitle = {Formal Methods and Software Engineering - 18th International Conference
               on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
               14-18, 2016, Proceedings},
  pages     = {383--399},
  year      = {2016},
  crossref  = {DBLP:conf/icfem/2016},
  url       = {https://doi.org/10.1007/978-3-319-47846-3\_24},
  doi       = {10.1007/978-3-319-47846-3\_24},
  timestamp = {Sat, 03 Mar 2018 00:07:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/FoughaliBDIM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BourdilBDV15,
  author    = {Pierre{-}Alain Bourdil and
               Bernard Berthomieu and
               Silvano Dal{-}Zilio and
               Fran{\c{c}}ois Vernadat},
  title     = {Symmetry reduced state classes for time petri nets},
  booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
               Salamanca, Spain, April 13-17, 2015},
  pages     = {1751--1758},
  year      = {2015},
  crossref  = {DBLP:conf/sac/2015},
  url       = {https://doi.org/10.1145/2695664.2695803},
  doi       = {10.1145/2695664.2695803},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/BourdilBDV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ttcs/Dal-ZilioB15,
  author    = {Silvano Dal{-}Zilio and
               Bernard Berthomieu},
  title     = {Automating the Verification of Realtime Observers Using Probes and
               the Modal mu-calculus},
  booktitle = {Topics in Theoretical Computer Science - The First {IFIP} {WG} 1.8
               International Conference, {TTCS} 2015, Tehran, Iran, August 26-28,
               2015, Revised Selected Papers},
  pages     = {90--104},
  year      = {2015},
  crossref  = {DBLP:conf/ttcs/2015},
  url       = {https://doi.org/10.1007/978-3-319-28678-5\_7},
  doi       = {10.1007/978-3-319-28678-5\_7},
  timestamp = {Wed, 14 Nov 2018 11:00:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ttcs/Dal-ZilioB15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BerthomieuBDFBV15,
  author    = {Bernard Berthomieu and
               Jean{-}Paul Bodeveix and
               Silvano Dal{-}Zilio and
               Mamoun Filali and
               Didier Le Botlan and
               Guillaume Verdier and
               Fran{\c{c}}ois Vernadat},
  title     = {Real-Time Model Checking Support for {AADL}},
  journal   = {CoRR},
  volume    = {abs/1503.00493},
  year      = {2015},
  url       = {http://arxiv.org/abs/1503.00493},
  archivePrefix = {arXiv},
  eprint    = {1503.00493},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BerthomieuBDFBV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Dal-ZilioBB15,
  author    = {Silvano Dal{-}Zilio and
               Bernard Berthomieu and
               Didier Le Botlan},
  title     = {Latency Analysis of an Aerial Video Tracking System Using Fiacre and
               Tina},
  journal   = {CoRR},
  volume    = {abs/1509.06506},
  year      = {2015},
  url       = {http://arxiv.org/abs/1509.06506},
  archivePrefix = {arXiv},
  eprint    = {1509.06506},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Dal-ZilioBB15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Dal-ZilioB15,
  author    = {Silvano Dal{-}Zilio and
               Bernard Berthomieu},
  title     = {Automating the Verification of Realtime Observers using Probes and
               the Modal mu-calculus},
  journal   = {CoRR},
  volume    = {abs/1509.06507},
  year      = {2015},
  url       = {http://arxiv.org/abs/1509.06507},
  archivePrefix = {arXiv},
  eprint    = {1509.06507},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Dal-ZilioB15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BerthomieuDFV14,
  author    = {Bernard Berthomieu and
               Silvano Dal{-}Zilio and
               Lukasz Fronc and
               Fran{\c{c}}ois Vernadat},
  title     = {Time Petri Nets with Dynamic Firing Dates: Semantics and Applications},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 12th International
               Conference, {FORMATS} 2014, Florence, Italy, September 8-10, 2014.
               Proceedings},
  pages     = {85--99},
  year      = {2014},
  crossref  = {DBLP:conf/formats/2014},
  url       = {https://doi.org/10.1007/978-3-319-10512-3\_7},
  doi       = {10.1007/978-3-319-10512-3\_7},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/BerthomieuDFV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BourdilBJ14,
  author    = {Pierre{-}Alain Bourdil and
               Bernard Berthomieu and
               Eric Jenn},
  title     = {Model-Checking Real-Time Properties of an Auto Flight Control System
               Function},
  booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering
               Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014},
  pages     = {120--123},
  year      = {2014},
  crossref  = {DBLP:conf/issre/2014w},
  url       = {https://doi.org/10.1109/ISSREW.2014.40},
  doi       = {10.1109/ISSREW.2014.40},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issre/BourdilBJ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Dal-ZilioFBV14,
  author    = {Silvano Dal{-}Zilio and
               Lukasz Fronc and
               Bernard Berthomieu and
               Fran{\c{c}}ois Vernadat},
  title     = {Time Petri Nets with Dynamic Firing Dates: Semantics and Applications},
  journal   = {CoRR},
  volume    = {abs/1404.7067},
  year      = {2014},
  url       = {http://arxiv.org/abs/1404.7067},
  archivePrefix = {arXiv},
  eprint    = {1404.7067},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Dal-ZilioFBV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-7533,
  author    = {Rodrigo T. Saad and
               Silvano Dal{-}Zilio and
               Bernard Berthomieu},
  title     = {An Experiment on Parallel Model Checking of a {CTL} Fragment},
  journal   = {CoRR},
  volume    = {abs/1301.7533},
  year      = {2013},
  url       = {http://arxiv.org/abs/1301.7533},
  archivePrefix = {arXiv},
  eprint    = {1301.7533},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1301-7533},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/SaadDB12,
  author    = {Rodrigo T. Saad and
               Silvano Dal{-}Zilio and
               Bernard Berthomieu},
  title     = {An Experiment on Parallel Model Checking of a {CTL} Fragment},
  booktitle = {Automated Technology for Verification and Analysis - 10th International
               Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
               Proceedings},
  pages     = {284--299},
  year      = {2012},
  crossref  = {DBLP:conf/atva/2012},
  url       = {https://doi.org/10.1007/978-3-642-33386-6\_23},
  doi       = {10.1007/978-3-642-33386-6\_23},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/SaadDB12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/PeresBV11,
  author    = {Florent Peres and
               Bernard Berthomieu and
               Fran{\c{c}}ois Vernadat},
  title     = {On the composition of time Petri nets},
  journal   = {Discrete Event Dynamic Systems},
  volume    = {21},
  number    = {3},
  pages     = {395--424},
  year      = {2011},
  url       = {https://doi.org/10.1007/s10626-011-0102-2},
  doi       = {10.1007/s10626-011-0102-2},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/deds/PeresBV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispdc/SaadDB11,
  author    = {Rodrigo T. Saad and
               Silvano Dal{-}Zilio and
               Bernard Berthomieu},
  title     = {Mixed Shared-Distributed Hash Tables Approaches for Parallel State
               Space Construction},
  booktitle = {10th International Symposium on Parallel and Distributed Computing,
               {ISPDC} 2011, Cluj-Napoca, Romania, July 6-8, 2011},
  pages     = {9--16},
  year      = {2011},
  crossref  = {DBLP:conf/ispdc/2011},
  url       = {https://doi.org/10.1109/ISPDC.2011.12},
  doi       = {10.1109/ISPDC.2011.12},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ispdc/SaadDB11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BerthomieuBCDFV09,
  author    = {Bernard Berthomieu and
               Jean{-}Paul Bodeveix and
               Christelle Chaudet and
               Silvano Dal{-}Zilio and
               Mamoun Filali and
               Fran{\c{c}}ois Vernadat},
  title     = {Formal Verification of {AADL} Specifications in the Topcased Environment},
  booktitle = {Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe
               International Conference, Brest, France, June 8-12, 2009. Proceedings},
  pages     = {207--221},
  year      = {2009},
  crossref  = {DBLP:conf/adaEurope/2009},
  url       = {https://doi.org/10.1007/978-3-642-01924-1\_15},
  doi       = {10.1007/978-3-642-01924-1\_15},
  timestamp = {Mon, 29 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/adaEurope/BerthomieuBCDFV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/BenderCCFBV08,
  author    = {Darlam Fabio Bender and
               Beno{\^{\i}}t Combemale and
               Xavier Cr{\'{e}}gut and
               Jean{-}Marie Farines and
               Bernard Berthomieu and
               Fran{\c{c}}ois Vernadat},
  title     = {Ladder Metamodeling and {PLC} Program Validation through Time Petri
               Nets},
  booktitle = {Model Driven Architecture - Foundations and Applications, 4th European
               Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings},
  pages     = {121--136},
  year      = {2008},
  crossref  = {DBLP:conf/ecmdafa/2008},
  url       = {https://doi.org/10.1007/978-3-540-69100-6\_9},
  doi       = {10.1007/978-3-540-69100-6\_9},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecmdafa/BenderCCFBV08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BerthomieuPV08,
  author    = {Bernard Berthomieu and
               Florent Peres and
               Fran{\c{c}}ois Vernadat},
  title     = {Abstract State Spaces for Time Petri Nets Analysis},
  booktitle = {11th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
               Computing {(ISORC} 2008), 5-7 May 2008, Orlando, Florida, {USA}},
  pages     = {298--304},
  year      = {2008},
  crossref  = {DBLP:conf/isorc/2008},
  url       = {https://doi.org/10.1109/ISORC.2008.75},
  doi       = {10.1109/ISORC.2008.75},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isorc/BerthomieuPV08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BerthomieuGLV08,
  author    = {Bernard Berthomieu and
               Hubert Garavel and
               Fr{\'{e}}d{\'{e}}ric Lang and
               Fran{\c{c}}ois Vernadat},
  title     = {Verifying Dynamic Properties of Industrial Critical Systems Using
               {TOPCASED/FIACRE}},
  journal   = {{ERCIM} News},
  volume    = {2008},
  number    = {75},
  year      = {2008},
  url       = {http://ercim-news.ercim.eu/verifying-dynamic-properties-of-industrial-critical-systems-using-topcasedfiacre},
  timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ercim/BerthomieuGLV08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/BerthomieuLRV07,
  author    = {Bernard Berthomieu and
               Didier Lime and
               Olivier H. Roux and
               Fran{\c{c}}ois Vernadat},
  title     = {Reachability Problems and Abstract State Spaces for Time Petri Nets
               with Stopwatches},
  journal   = {Discrete Event Dynamic Systems},
  volume    = {17},
  number    = {2},
  pages     = {133--158},
  year      = {2007},
  url       = {https://doi.org/10.1007/s10626-006-0011-y},
  doi       = {10.1007/s10626-006-0011-y},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/deds/BerthomieuLRV07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BerthomieuPV07,
  author    = {Bernard Berthomieu and
               Florent Peres and
               Fran{\c{c}}ois Vernadat},
  title     = {Model Checking Bounded Prioritized Time Petri Nets},
  booktitle = {Automated Technology for Verification and Analysis, 5th International
               Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
  pages     = {523--532},
  year      = {2007},
  crossref  = {DBLP:conf/atva/2007},
  url       = {https://doi.org/10.1007/978-3-540-75596-8\_37},
  doi       = {10.1007/978-3-540-75596-8\_37},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/BerthomieuPV07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/VernadatB07,
  author    = {Fran{\c{c}}ois Vernadat and
               Bernard Berthomieu},
  title     = {State Space Abstractions for Time Petri Nets},
  booktitle = {Handbook of Real-Time and Embedded Systems.},
  year      = {2007},
  crossref  = {DBLP:reference/crc/2007rtes},
  url       = {https://doi.org/10.1201/9781420011746.pt6},
  doi       = {10.1201/9781420011746.pt6},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/reference/crc/VernadatB07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BerthomieuPV06,
  author    = {Bernard Berthomieu and
               Florent Peres and
               Fran{\c{c}}ois Vernadat},
  title     = {Bridging the Gap Between Timed Automata and Bounded Time Petri Nets},
  booktitle = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
               {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  pages     = {82--97},
  year      = {2006},
  crossref  = {DBLP:conf/formats/2006},
  url       = {https://doi.org/10.1007/11867340\_7},
  doi       = {10.1007/11867340\_7},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/BerthomieuPV06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BerthomieuV06,
  author    = {Bernard Berthomieu and
               Fran{\c{c}}ois Vernadat},
  title     = {Time Petri Nets Analysis with {TINA}},
  booktitle = {Third International Conference on the Quantitative Evaluation of Systems
               {(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}},
  pages     = {123--124},
  year      = {2006},
  crossref  = {DBLP:conf/qest/2006},
  url       = {https://doi.org/10.1109/QEST.2006.56},
  doi       = {10.1109/QEST.2006.56},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/BerthomieuV06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BerthomieuRVBFBFPMFGDL03,
  author    = {Bernard Berthomieu and
               Pierre{-}Olivier Ribet and
               Fran{\c{c}}ois Vernadat and
               J. L. Bernartt and
               Jean{-}Marie Farines and
               Jean{-}Paul Bodeveix and
               Mamoun Filali and
               G{\'{e}}rard Padiou and
               Pierre Michel and
               Patrick Farail and
               Pierre Gauffilet and
               Pierre Dissaux and
               Jean{-}Luc Lambert},
  title     = {Towards the verification of real-time systems in avionics: the Cotre
               approach},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {80},
  pages     = {203--218},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(04)80819-3},
  doi       = {10.1016/S1571-0661(04)80819-3},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BerthomieuRVBFBFPMFGDL03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BerthomieuV03,
  author    = {Bernard Berthomieu and
               Fran{\c{c}}ois Vernadat},
  title     = {State Class Constructions for Branching Analysis of Time Petri Nets},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               9th International Conference, {TACAS} 2003, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2003,
               Warsaw, Poland, April 7-11, 2003, Proceedings},
  pages     = {442--457},
  year      = {2003},
  crossref  = {DBLP:conf/tacas/2003},
  url       = {https://doi.org/10.1007/3-540-36577-X\_33},
  doi       = {10.1007/3-540-36577-X\_33},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/BerthomieuV03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/RibetVB02,
  author    = {Pierre{-}Olivier Ribet and
               Fran{\c{c}}ois Vernadat and
               Bernard Berthomieu},
  title     = {On Combining the Persistent Sets Method with the Covering Steps Graph
               Method},
  booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
               2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
               USA, November 11-14, 2002, Proceedings},
  pages     = {344--359},
  year      = {2002},
  crossref  = {DBLP:conf/forte/2002},
  url       = {https://doi.org/10.1007/3-540-36135-9\_22},
  doi       = {10.1007/3-540-36135-9\_22},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/RibetVB02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psls/Berthomieu95,
  author    = {Bernard Berthomieu},
  title     = {Process Calculi at Work - An Account of the {LCS} Project},
  booktitle = {Parallel Symbolic Languages and Systems, International Workshop PSLS'95,
               Beaune, France, October 2-4, 1995, Proceedings},
  pages     = {344--361},
  year      = {1995},
  crossref  = {DBLP:conf/psls/1995},
  url       = {https://doi.org/10.1007/BFb0023073},
  doi       = {10.1007/BFb0023073},
  timestamp = {Mon, 22 May 2017 16:14:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/psls/Berthomieu95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conpar/SergentB94,
  author    = {Thierry Le Sergent and
               Bernard Berthomieu},
  title     = {Balancing Load under Large and Fast Load Changes in Distributed Computing
               Systems - {A} Case Study},
  booktitle = {Parallel Processing: {CONPAR} 94 - {VAPP} VI, Third Joint International
               Conference on Vector and Parallel Processing, Linz, Austria, September
               6-8, 1994, Proceedings},
  pages     = {854--865},
  year      = {1994},
  crossref  = {DBLP:conf/conpar/1994},
  url       = {https://doi.org/10.1007/3-540-58430-7\_74},
  doi       = {10.1007/3-540-58430-7\_74},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/conpar/SergentB94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BerthomieuS94,
  author    = {Bernard Berthomieu and
               Thierry Le Sergent},
  title     = {Programming with Behaviors in an {ML} Framework - The Syntax and Semantics
               of {LCS}},
  booktitle = {Programming Languages and Systems - ESOP'94, 5th European Symposium
               on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
  pages     = {89--104},
  year      = {1994},
  crossref  = {DBLP:conf/esop/1994},
  url       = {https://doi.org/10.1007/3-540-57880-3\_6},
  doi       = {10.1007/3-540-57880-3\_6},
  timestamp = {Wed, 20 Jun 2018 17:30:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/BerthomieuS94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/SergentB92,
  author    = {Thierry Le Sergent and
               Bernard Berthomieu},
  title     = {Incremental Multi-threaded Garbage Collection on Virtual Shared Memory
               Architectures},
  booktitle = {Memory Management, International Workshop {IWMM} 92, St. Malo, France,
               September 17-19, 1992, Proceedings},
  pages     = {179--199},
  year      = {1992},
  crossref  = {DBLP:conf/iwmm/1992},
  url       = {https://doi.org/10.1007/BFb0017190},
  doi       = {10.1007/BFb0017190},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwmm/SergentB92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BerthomieuD91,
  author    = {Bernard Berthomieu and
               Michel Diaz},
  title     = {Modeling and Verification of Time Dependent Systems Using Time Petri
               Nets},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {17},
  number    = {3},
  pages     = {259--273},
  year      = {1991},
  url       = {https://doi.org/10.1109/32.75415},
  doi       = {10.1109/32.75415},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/BerthomieuD91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BerthomieuM83,
  author    = {Bernard Berthomieu and
               Miguel Menasche},
  title     = {An Enumerative Approach for Analyzing Time Petri Nets},
  booktitle = {{IFIP} Congress},
  pages     = {41--46},
  year      = {1983},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifip/BerthomieuM83},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MenascheB83,
  author    = {Miguel Menasche and
               Bernard Berthomieu},
  title     = {Time Petri Nets for Analyzing and Verifying Time Dependent Communication
               Protocols},
  booktitle = {Protocol Specification, Testing, and Verification},
  pages     = {161--172},
  year      = {1983},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifip/MenascheB83},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/AzemaBD80,
  author    = {Pierre Az{\'{e}}ma and
               Bernard Berthomieu and
               Paul Decitre},
  title     = {The Design and Validation by Petri Nets of a Mechanism for the Invocation
               of Remote Servers},
  booktitle = {{IFIP} Congress},
  pages     = {599--604},
  year      = {1980},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifip/AzemaBD80},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AzemaAB78,
  author    = {Pierre Az{\'{e}}ma and
               Jean{-}Michel Ayache and
               Bernard Berthomieu},
  title     = {Design and Verification of Communication Procedures: {A} Bottom-Up
               Approach},
  booktitle = {Proceedings of the 3rd International Conference on Software Engineering,
               Atlanta, Georgia, USA, May 10-12, 1978.},
  pages     = {168--174},
  year      = {1978},
  crossref  = {DBLP:conf/icse/1978},
  url       = {http://dl.acm.org/citation.cfm?id=803207},
  timestamp = {Mon, 14 May 2012 18:17:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/AzemaAB78},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2018formalise,
  editor    = {Stefania Gnesi and
               Nico Plat and
               Paola Spoletini and
               Patrizio Pelliccione},
  title     = {Proceedings of the 6th Conference on Formal Methods in Software Engineering,
               FormaliSE 2018, collocated with {ICSE} 2018, Gothenburg, Sweden, June
               2, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://doi.acm.org/10.1145/3193992},
  doi       = {10.1145/3193992},
  timestamp = {Fri, 20 Jul 2018 09:47:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2018formalise},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2018,
  editor    = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
               Pedro Merino},
  title     = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
               Malaga, Spain, June 20-22, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10869},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-94111-0},
  doi       = {10.1007/978-3-319-94111-0},
  isbn      = {978-3-319-94110-3},
  timestamp = {Mon, 18 Jun 2018 13:08:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2016,
  editor    = {Kazuhiro Ogata and
               Mark Lawford and
               Shaoying Liu},
  title     = {Formal Methods and Software Engineering - 18th International Conference
               on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
               14-18, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10009},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47846-3},
  doi       = {10.1007/978-3-319-47846-3},
  isbn      = {978-3-319-47845-6},
  timestamp = {Sat, 03 Mar 2018 00:07:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2015,
  editor    = {Roger L. Wainwright and
               Juan Manuel Corchado and
               Alessio Bechini and
               Jiman Hong},
  title     = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
               Salamanca, Spain, April 13-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2695664},
  isbn      = {978-1-4503-3196-8},
  timestamp = {Tue, 21 Jul 2015 14:16:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ttcs/2015,
  editor    = {Mohammad Taghi Hajiaghayi and
               Mohammad Reza Mousavi},
  title     = {Topics in Theoretical Computer Science - The First {IFIP} {WG} 1.8
               International Conference, {TTCS} 2015, Tehran, Iran, August 26-28,
               2015, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9541},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-28678-5},
  doi       = {10.1007/978-3-319-28678-5},
  isbn      = {978-3-319-28677-8},
  timestamp = {Wed, 14 Nov 2018 11:00:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ttcs/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2014,
  editor    = {Axel Legay and
               Marius Bozga},
  title     = {Formal Modeling and Analysis of Timed Systems - 12th International
               Conference, {FORMATS} 2014, Florence, Italy, September 8-10, 2014.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8711},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10512-3},
  doi       = {10.1007/978-3-319-10512-3},
  isbn      = {978-3-319-10511-6},
  timestamp = {Fri, 26 May 2017 00:50:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issre/2014w,
  title     = {25th {IEEE} International Symposium on Software Reliability Engineering
               Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6982004},
  isbn      = {978-1-4799-7377-4},
  timestamp = {Tue, 28 Apr 2015 17:32:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issre/2014w},
  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/ispdc/2011,
  title     = {10th International Symposium on Parallel and Distributed Computing,
               {ISPDC} 2011, Cluj-Napoca, Romania, July 6-8, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6108122},
  isbn      = {978-1-4577-1536-5},
  timestamp = {Fri, 10 Oct 2014 14:35:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ispdc/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adaEurope/2009,
  editor    = {Fabrice Kordon and
               Yvon Kermarrec},
  title     = {Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe
               International Conference, Brest, France, June 8-12, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5570},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-01924-1},
  doi       = {10.1007/978-3-642-01924-1},
  isbn      = {978-3-642-01923-4},
  timestamp = {Fri, 26 May 2017 00:48:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/adaEurope/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecmdafa/2008,
  editor    = {Ina Schieferdecker and
               Alan Hartman},
  title     = {Model Driven Architecture - Foundations and Applications, 4th European
               Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5095},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-69100-6},
  doi       = {10.1007/978-3-540-69100-6},
  isbn      = {978-3-540-69095-5},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecmdafa/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2008,
  title     = {11th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
               Computing {(ISORC} 2008), 5-7 May 2008, Orlando, Florida, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4519543},
  isbn      = {978-0-7695-3132-8},
  timestamp = {Mon, 06 Oct 2014 17:41:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isorc/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2007,
  editor    = {Kedar S. Namjoshi and
               Tomohiro Yoneda and
               Teruo Higashino and
               Yoshio Okamura},
  title     = {Automated Technology for Verification and Analysis, 5th International
               Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4762},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75596-8},
  doi       = {10.1007/978-3-540-75596-8},
  isbn      = {978-3-540-75595-1},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:reference/crc/2007rtes,
  editor    = {Sang Hyuk Son and
               Insup Lee and
               Joseph Y.{-}T. Leung},
  title     = {Handbook of Real-Time and Embedded Systems},
  publisher = {Chapman and Hall/CRC},
  year      = {2007},
  url       = {https://doi.org/10.1201/9781420011746},
  doi       = {10.1201/9781420011746},
  isbn      = {978-1-58488-678-5},
  timestamp = {Wed, 05 Jul 2017 08:19:33 +0200},
  biburl    = {https://dblp.org/rec/bib/reference/crc/2007rtes},
  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/qest/2006,
  title     = {Third International Conference on the Quantitative Evaluation of Systems
               {(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=11169},
  isbn      = {0-7695-2665-9},
  timestamp = {Fri, 08 Aug 2014 15:28:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2003,
  editor    = {Hubert Garavel and
               John Hatcliff},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               9th International Conference, {TACAS} 2003, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2003,
               Warsaw, Poland, April 7-11, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2619},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36577-X},
  doi       = {10.1007/3-540-36577-X},
  isbn      = {3-540-00898-5},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2002,
  editor    = {Doron A. Peled and
               Moshe Y. Vardi},
  title     = {Formal Techniques for Networked and Distributed Systems - {FORTE}
               2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
               USA, November 11-14, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2529},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36135-9},
  doi       = {10.1007/3-540-36135-9},
  isbn      = {3-540-00141-7},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/psls/1995,
  editor    = {Takayasu Ito and
               Robert H. Halstead Jr. and
               Christian Queinnec},
  title     = {Parallel Symbolic Languages and Systems, International Workshop PSLS'95,
               Beaune, France, October 2-4, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1068},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0023052},
  doi       = {10.1007/BFb0023052},
  isbn      = {3-540-61143-6},
  timestamp = {Mon, 22 May 2017 16:14:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/psls/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/conpar/1994,
  editor    = {Bruno Buchberger and
               Jens Volkert},
  title     = {Parallel Processing: {CONPAR} 94 - {VAPP} VI, Third Joint International
               Conference on Vector and Parallel Processing, Linz, Austria, September
               6-8, 1994, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {854},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-58430-7},
  doi       = {10.1007/3-540-58430-7},
  isbn      = {3-540-58430-7},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/conpar/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/1994,
  editor    = {Donald Sannella},
  title     = {Programming Languages and Systems - ESOP'94, 5th European Symposium
               on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {788},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-57880-3},
  doi       = {10.1007/3-540-57880-3},
  isbn      = {3-540-57880-3},
  timestamp = {Wed, 20 Jun 2018 17:30:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwmm/1992,
  editor    = {Yves Bekkers and
               Jacques Cohen},
  title     = {Memory Management, International Workshop {IWMM} 92, St. Malo, France,
               September 17-19, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {637},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/BFb0017181},
  doi       = {10.1007/BFb0017181},
  isbn      = {3-540-55940-X},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwmm/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/1978,
  editor    = {Maurice V. Wilkes and
               Laszlo A. Belady and
               Y. H. Su and
               Harry Hayman and
               Philip H. Enslow Jr.},
  title     = {Proceedings of the 3rd International Conference on Software Engineering,
               Atlanta, Georgia, USA, May 10-12, 1978},
  publisher = {{IEEE} Computer Society},
  year      = {1978},
  url       = {http://dl.acm.org/citation.cfm?id=800099},
  timestamp = {Mon, 14 May 2012 18:17:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/1978},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier