BibTeX records: Mark Lawford

download as .bib file

@inproceedings{DBLP:conf/icse/MooreL17,
  author    = {Nicholas Moore and
               Mark Lawford},
  title     = {Correct Safety Critical Hardware Descriptions via Static Analysis
               and Theorem Proving},
  booktitle = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
               Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
               2017},
  pages     = {58--64},
  year      = {2017},
  crossref  = {DBLP:conf/icse/2017formalise},
  url       = {https://doi.org/10.1109/FormaliSE.2017.11},
  doi       = {10.1109/FormaliSE.2017.11},
  timestamp = {Mon, 17 Jul 2017 17:32:04 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/MooreL17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issre/ChowdhuryLKLSW17,
  author    = {Thomas Chowdhury and
               Chung{-}Wei Lin and
               BaekGyu Kim and
               Mark Lawford and
               Shinichi Shiraishi and
               Alan Wassyng},
  title     = {Principles for Systematic Development of an Assurance Case Template
               from {ISO} 26262},
  booktitle = {2017 {IEEE} International Symposium on Software Reliability Engineering
               Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages     = {69--72},
  year      = {2017},
  crossref  = {DBLP:conf/issre/2017w},
  url       = {https://doi.org/10.1109/ISSREW.2017.14},
  doi       = {10.1109/ISSREW.2017.14},
  timestamp = {Fri, 01 Dec 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issre/ChowdhuryLKLSW17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/medi/SinghLMW17,
  author    = {Neeraj Kumar Singh and
               Mark Lawford and
               T. S. E. Maibaum and
               Alan Wassyng},
  title     = {Use of Tabular Expressions for Refinement Automation},
  booktitle = {Model and Data Engineering - 7th International Conference, {MEDI}
               2017, Barcelona, Spain, October 4-6, 2017, Proceedings},
  pages     = {167--182},
  year      = {2017},
  crossref  = {DBLP:conf/medi/2017},
  url       = {https://doi.org/10.1007/978-3-319-66854-3_13},
  doi       = {10.1007/978-3-319-66854-3_13},
  timestamp = {Mon, 18 Sep 2017 13:58:51 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/medi/SinghLMW17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KokalySCLM17,
  author    = {Sahar Kokaly and
               Rick Salay and
               Marsha Chechik and
               Mark Lawford and
               Tom Maibaum},
  title     = {Safety Case Impact Assessment in Automotive Software Systems: An Improved
               Model-Based Approach},
  booktitle = {Computer Safety, Reliability, and Security - 36th International Conference,
               {SAFECOMP} 2017, Trento, Italy, September 13-15, 2017, Proceedings},
  pages     = {69--85},
  year      = {2017},
  crossref  = {DBLP:conf/safecomp/2017},
  url       = {https://doi.org/10.1007/978-3-319-66266-4_5},
  doi       = {10.1007/978-3-319-66266-4_5},
  timestamp = {Tue, 29 Aug 2017 15:14:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/safecomp/KokalySCLM17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/nfm/NewellPTWL16,
  author    = {Josh Newell and
               Linna Pang and
               David Tremaine and
               Alan Wassyng and
               Mark Lawford},
  title     = {Formal Translation of {IEC} 61131-3 Function Block Diagrams to {PVS}
               with Nuclear Application},
  booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
               MN, USA, June 7-9, 2016, Proceedings},
  pages     = {206--220},
  year      = {2016},
  crossref  = {DBLP:conf/nfm/2016},
  url       = {https://doi.org/10.1007/978-3-319-40648-0_16},
  doi       = {10.1007/978-3-319-40648-0_16},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/nfm/NewellPTWL16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MallyaPALW16,
  author    = {Archana Mallya and
               Vera Pantelic and
               Morayo Adedjouma and
               Mark Lawford and
               Alan Wassyng},
  title     = {Using {STPA} in an {ISO} 26262 Compliant Process},
  booktitle = {Computer Safety, Reliability, and Security - 35th International Conference,
               {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  pages     = {117--129},
  year      = {2016},
  crossref  = {DBLP:conf/safecomp/2016},
  url       = {https://doi.org/10.1007/978-3-319-45477-1_10},
  doi       = {10.1007/978-3-319-45477-1_10},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/safecomp/MallyaPALW16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Lawford16,
  author    = {Mark Lawford},
  title     = {Stupid Tool Tricks for Smart Model Based Design},
  booktitle = {Verified Software. Theories, Tools, and Experiments - 8th International
               Conference, {VSTTE} 2016, Toronto, ON, Canada, July 17-18, 2016, Revised
               Selected Papers},
  pages     = {1--7},
  year      = {2016},
  crossref  = {DBLP:conf/vstte/2016},
  url       = {https://doi.org/10.1007/978-3-319-48869-1_1},
  doi       = {10.1007/978-3-319-48869-1_1},
  timestamp = {Tue, 23 May 2017 01:06:28 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vstte/Lawford16},
  bibsource = {dblp computer science bibliography, http://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 = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfem/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dt/WassyngSGPWLM15,
  author    = {Alan Wassyng and
               Neeraj Kumar Singh and
               Mischa Geven and
               Nicholas Proscia and
               Hao Wang and
               Mark Lawford and
               Tom Maibaum},
  title     = {Can Product-Specific Assurance Case Templates Be Used as Medical Device
               Standards?},
  journal   = {{IEEE} Design {\&} Test},
  volume    = {32},
  number    = {5},
  pages     = {45--55},
  year      = {2015},
  url       = {https://doi.org/10.1109/MDAT.2015.2462720},
  doi       = {10.1109/MDAT.2015.2462720},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/dt/WassyngSGPWLM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/PatcasLM15,
  author    = {Lucian M. Patcas and
               Mark Lawford and
               Tom Maibaum},
  title     = {Implementability of requirements in the four-variable model},
  journal   = {Sci. Comput. Program.},
  volume    = {111},
  pages     = {339--362},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2015.05.007},
  doi       = {10.1016/j.scico.2015.05.007},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/scp/PatcasLM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/BenderLLPKOMBP15,
  author    = {Marc Bender and
               Karen Laurin and
               Mark Lawford and
               Vera Pantelic and
               Alexandre Korobkine and
               Jeff Ong and
               Bennett Mackenzie and
               Monika Bialy and
               Steven M. Postma},
  title     = {Signature required: Making Simulink data flow and interfaces explicit},
  journal   = {Sci. Comput. Program.},
  volume    = {113},
  pages     = {29--50},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2015.07.005},
  doi       = {10.1016/j.scico.2015.07.005},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/scp/BenderLLPKOMBP15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/PangWLW15,
  author    = {Linna Pang and
               Chen{-}Wei Wang and
               Mark Lawford and
               Alan Wassyng},
  title     = {Formal verification of function blocks applied to {IEC} 61131-3},
  journal   = {Sci. Comput. Program.},
  volume    = {113},
  pages     = {149--190},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2015.10.005},
  doi       = {10.1016/j.scico.2015.10.005},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/scp/PangWLW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/hci/SinghLMW15,
  author    = {Neeraj Kumar Singh and
               Mark Lawford and
               T. S. E. Maibaum and
               Alan Wassyng},
  title     = {Formalizing the Cardiac Pacemaker Resynchronization Therapy},
  booktitle = {Digital Human Modeling - Applications in Health, Safety, Ergonomics
               and Risk Management: Ergonomics and Health - 6th International Conference,
               {DHM} 2015, Held as Part of {HCI} International 2015, Los Angeles,
               CA, USA, August 2-7, 2015, Proceedings, Part {II}},
  pages     = {374--386},
  year      = {2015},
  crossref  = {DBLP:conf/hci/2015-17},
  url       = {https://doi.org/10.1007/978-3-319-21070-4_38},
  doi       = {10.1007/978-3-319-21070-4_38},
  timestamp = {Wed, 24 May 2017 08:28:51 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/hci/SinghLMW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/hci/SinghWLMW15,
  author    = {Neeraj Kumar Singh and
               Hao Wang and
               Mark Lawford and
               Thomas Stephen Edward Maibaum and
               Alan Wassyng},
  title     = {Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements},
  booktitle = {Digital Human Modeling - Applications in Health, Safety, Ergonomics
               and Risk Management: Ergonomics and Health - 6th International Conference,
               {DHM} 2015, Held as Part of {HCI} International 2015, Los Angeles,
               CA, USA, August 2-7, 2015, Proceedings, Part {II}},
  pages     = {387--398},
  year      = {2015},
  crossref  = {DBLP:conf/hci/2015-17},
  url       = {https://doi.org/10.1007/978-3-319-21070-4_39},
  doi       = {10.1007/978-3-319-21070-4_39},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/hci/SinghWLMW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/BialyLPW15,
  author    = {Monika Bialy and
               Mark Lawford and
               Vera Pantelic and
               Alan Wassyng},
  title     = {A Methodology for the Simplification of Tabular Designs in Model-Based
               Development},
  booktitle = {3rd {IEEE/ACM} {FME} Workshop on Formal Methods in Software Engineering,
               FormaliSE 2015, Florence, Italy, May 18, 2015},
  pages     = {47--53},
  year      = {2015},
  crossref  = {DBLP:conf/icse/2015formalise},
  url       = {https://doi.org/10.1109/FormaliSE.2015.15},
  doi       = {10.1109/FormaliSE.2015.15},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/BialyLPW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/PantelicPLKMOB15,
  author    = {Vera Pantelic and
               Steven M. Postma and
               Mark Lawford and
               Alexandre Korobkine and
               Bennett Mackenzie and
               Jeff Ong and
               Marc Bender},
  title     = {A Toolset for Simulink - Improving Software Engineering Practices
               in Development with Simulink},
  booktitle = {{MODELSWARD} 2015 - Proceedings of the 3rd International Conference
               on Model-Driven Engineering and Software Development, ESEO, Angers,
               Loire Valley, France, 9-11 February, 2015.},
  pages     = {50--61},
  year      = {2015},
  crossref  = {DBLP:conf/modelsward/2015},
  url       = {https://doi.org/10.5220/0005236100500061},
  doi       = {10.5220/0005236100500061},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/modelsward/PantelicPLKMOB15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CassanoGSALMW15,
  author    = {Valentin Cassano and
               Silviya Grigorova and
               Neeraj Kumar Singh and
               Morayo Adedjouma and
               Mark Lawford and
               T. S. E. Maibaum and
               Alan Wassyng},
  title     = {Is Current Incremental Safety Assurance Sound?},
  booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
               ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
               September 22, 2015, Proceedings},
  pages     = {397--408},
  year      = {2015},
  crossref  = {DBLP:conf/safecomp/2015w},
  url       = {https://doi.org/10.1007/978-3-319-24249-1_34},
  doi       = {10.1007/978-3-319-24249-1_34},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/safecomp/CassanoGSALMW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/soict/SinghLMW15,
  author    = {Neeraj Kumar Singh and
               Mark Lawford and
               Thomas Stephen Edward Maibaum and
               Alan Wassyng},
  title     = {Stateflow to Tabular Expressions},
  booktitle = {Proceedings of the Sixth International Symposium on Information and
               Communication Technology, Hue City, Vietnam, December 3-4, 2015},
  pages     = {312--319},
  year      = {2015},
  crossref  = {DBLP:conf/soict/2015},
  url       = {http://doi.acm.org/10.1145/2833258.2833285},
  doi       = {10.1145/2833258.2833285},
  timestamp = {Sat, 04 Feb 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soict/SinghLMW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/PangWLWNCT15,
  author    = {Linna Pang and
               Chen{-}Wei Wang and
               Mark Lawford and
               Alan Wassyng and
               Josh Newell and
               Vera Chow and
               David Tremaine},
  title     = {Formal Verification of Real-Time Function Blocks Using {PVS}},
  booktitle = {Proceedings 4th International Workshop on Engineering Safety and Security
               Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015.},
  pages     = {65--79},
  year      = {2015},
  crossref  = {DBLP:journals/corr/PangLM15},
  url       = {https://doi.org/10.4204/EPTCS.184.5},
  doi       = {10.4204/EPTCS.184.5},
  timestamp = {Wed, 03 May 2017 14:47:58 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/PangWLWNCT15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/hci/SinghWLMW14,
  author    = {Neeraj Kumar Singh and
               Hao Wang and
               Mark Lawford and
               T. S. E. Maibaum and
               Alan Wassyng},
  title     = {Formalizing the Glucose Homeostasis Mechanism},
  booktitle = {Digital Human Modeling. Applications in Health, Safety, Ergonomics
               and Risk Management - 5th International Conference, {DHM} 2014, Held
               as Part of {HCI} International 2014, Heraklion, Crete, Greece, June
               22-27, 2014. Proceedings},
  pages     = {460--471},
  year      = {2014},
  crossref  = {DBLP:conf/hci/2014-20},
  url       = {https://doi.org/10.1007/978-3-319-07725-3_46},
  doi       = {10.1007/978-3-319-07725-3_46},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/hci/SinghWLMW14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PatcasLM14,
  author    = {Lucian M. Patcas and
               Mark Lawford and
               Tom Maibaum},
  title     = {A Separation Principle for Embedded System Interfacing},
  booktitle = {Integrated Formal Methods - 11th International Conference, {IFM} 2014,
               Bertinoro, Italy, September 9-11, 2014, Proceedings},
  pages     = {373--388},
  year      = {2014},
  crossref  = {DBLP:conf/ifm/2014},
  url       = {https://doi.org/10.1007/978-3-319-10181-1_23},
  doi       = {10.1007/978-3-319-10181-1_23},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ifm/PatcasLM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/BenderLLOPP14,
  author    = {Marc Bender and
               Karen Laurin and
               Mark Lawford and
               Jeff Ong and
               Steven M. Postma and
               Vera Pantelic},
  title     = {Signature Required - Making Simulink Data Flow and Interfaces Explicit},
  booktitle = {{MODELSWARD} 2014 - Proceedings of the 2nd International Conference
               on Model-Driven Engineering and Software Development, Lisbon, Portugal,
               7 - 9 January, 2014},
  pages     = {119--131},
  year      = {2014},
  crossref  = {DBLP:conf/modelsward/2014},
  url       = {https://doi.org/10.5220/0004716001190131},
  doi       = {10.5220/0004716001190131},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/modelsward/BenderLLOPP14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wodes/PantelicLP14,
  author    = {Vera Pantelic and
               Mark Lawford and
               Steven M. Postma},
  title     = {A Framework for Supervisory Control of Probabilistic Discrete Event
               Systems},
  booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
               Cachan, France, May 14-16, 2014.},
  pages     = {477--484},
  year      = {2014},
  crossref  = {DBLP:conf/wodes/2014},
  url       = {https://doi.org/10.3182/20140514-3-FR-4046.00073},
  doi       = {10.3182/20140514-3-FR-4046.00073},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wodes/PantelicLP14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/eceasst/PatcasLM13,
  author    = {Lucian M. Patcas and
               Mark Lawford and
               Tom Maibaum},
  title     = {From System Requirements to Software Requirements in the Four-Variable
               Model},
  journal   = {{ECEASST}},
  volume    = {66},
  year      = {2013},
  url       = {http://journal.ub.tu-berlin.de/eceasst/article/view/887},
  timestamp = {Tue, 25 Mar 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/eceasst/PatcasLM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fhies/ChenLWW13,
  author    = {Yihai Chen and
               Mark Lawford and
               Hao Wang and
               Alan Wassyng},
  title     = {Insulin Pump Software Certification},
  booktitle = {Foundations of Health Information Engineering and Systems - Third
               International Symposium, {FHIES} 2013, Macau, China, August 21-23,
               2013. Revised Selected Papers},
  pages     = {87--106},
  year      = {2013},
  crossref  = {DBLP:conf/fhies/2013},
  url       = {https://doi.org/10.1007/978-3-642-53956-5_7},
  doi       = {10.1007/978-3-642-53956-5_7},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fhies/ChenLWW13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/PangWLW13,
  author    = {Linna Pang and
               Chen{-}Wei Wang and
               Mark Lawford and
               Alan Wassyng},
  title     = {Formalizing and Verifying Function Blocks Using Tabular Expressions
               and {PVS}},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  pages     = {125--141},
  year      = {2013},
  crossref  = {DBLP:conf/ftscs/2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2_9},
  doi       = {10.1007/978-3-319-05416-2_9},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ftscs/PangWLW13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/CoferHHL13,
  author    = {Darren D. Cofer and
               John Hatcliff and
               Michaela Huhn and
               Mark Lawford},
  title     = {Software Certification: Methods and Tools (Dagstuhl Seminar 13051)},
  journal   = {Dagstuhl Reports},
  volume    = {3},
  number    = {1},
  pages     = {111--148},
  year      = {2013},
  url       = {https://doi.org/10.4230/DagRep.3.1.111},
  doi       = {10.4230/DagRep.3.1.111},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/dagstuhl-reports/CoferHHL13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/deds/PantelicL12,
  author    = {Vera Pantelic and
               Mark Lawford},
  title     = {A pseudometric in supervisory control of probabilistic discrete event
               systems},
  journal   = {Discrete Event Dynamic Systems},
  volume    = {22},
  number    = {4},
  pages     = {479--510},
  year      = {2012},
  url       = {https://doi.org/10.1007/s10626-011-0126-7},
  doi       = {10.1007/s10626-011-0126-7},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/deds/PantelicL12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tac/PantelicL12,
  author    = {Vera Pantelic and
               Mark Lawford},
  title     = {Optimal Supervisory Control of Probabilistic Discrete Event Systems},
  journal   = {{IEEE} Trans. Automat. Contr.},
  volume    = {57},
  number    = {5},
  pages     = {1110--1124},
  year      = {2012},
  url       = {https://doi.org/10.1109/TAC.2011.2173420},
  doi       = {10.1109/TAC.2011.2173420},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tac/PantelicL12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iceis/ChenIAPGLMW12a,
  author    = {Wen Chen and
               Asif Iqbal and
               Akbar Abdrakhmanov and
               Jay Parlar and
               Chris George and
               Mark Lawford and
               Tom Maibaum and
               Alan Wassyng},
  title     = {Large-Scale Enterprise Systems: Changes and Impacts},
  booktitle = {Enterprise Information Systems - 14th International Conference, {ICEIS}
               2012, Wroclaw, Poland, June 28 - July 1, 2012, Revised Selected Papers},
  pages     = {274--290},
  year      = {2012},
  crossref  = {DBLP:conf/iceis/2012},
  url       = {https://doi.org/10.1007/978-3-642-40654-6_17},
  doi       = {10.1007/978-3-642-40654-6_17},
  timestamp = {Wed, 17 May 2017 10:54:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iceis/ChenIAPGLMW12a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iceis/ChenIAPGLMW12,
  author    = {Wen Chen and
               Asif Iqbal and
               Akbar Abdrakhmanov and
               Jay Parlar and
               Chris George and
               Mark Lawford and
               T. S. E. Maibaum and
               Alan Wassyng},
  title     = {Change Impact Analysis for Large-scale Enterprise Systems},
  booktitle = {{ICEIS} 2012 - Proceedings of the 14th International Conference on
               Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June
               - 1 July, 2012},
  pages     = {359--368},
  year      = {2012},
  crossref  = {DBLP:conf/iceis/2012-2},
  timestamp = {Tue, 24 Jun 2014 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iceis/ChenIAPGLMW12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:books/daglib/p/WassyngLM12,
  author    = {Alan Wassyng and
               Mark Lawford and
               Tom Maibaum},
  title     = {Separating Safety and Control Systems to Reduce Complexity},
  booktitle = {Conquering Complexity},
  pages     = {85--102},
  year      = {2012},
  crossref  = {DBLP:books/daglib/0028680},
  url       = {https://doi.org/10.1007/978-1-4471-2297-5_4},
  doi       = {10.1007/978-1-4471-2297-5_4},
  timestamp = {Tue, 16 May 2017 14:01:34 +0200},
  biburl    = {http://dblp.org/rec/bib/books/daglib/p/WassyngLM12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ccece/BenderL11,
  author    = {Marc Bender and
               Mark Lawford},
  title     = {A low-power, low-cost automotive touchscreen with real controls},
  booktitle = {Proceedings of the 24th Canadian Conference on Electrical and Computer
               Engineering, {CCECE} 2011, Niagara Falls, Ontario, Canada, 8-11 May,
               2011},
  pages     = {1416--1419},
  year      = {2011},
  crossref  = {DBLP:conf/ccece/2011},
  url       = {https://doi.org/10.1109/CCECE.2011.6030696},
  doi       = {10.1109/CCECE.2011.6030696},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ccece/BenderL11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/WassyngLM11,
  author    = {Alan Wassyng and
               Mark Lawford and
               T. S. E. Maibaum},
  title     = {Software certification experience in the canadian nuclear industry:
               lessons for the future},
  booktitle = {Proceedings of the 11th International Conference on Embedded Software,
               {EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
               Taipei, Taiwan, October 9-14, 2011},
  pages     = {219--226},
  year      = {2011},
  crossref  = {DBLP:conf/emsoft/2011},
  url       = {http://doi.acm.org/10.1145/2038642.2038676},
  doi       = {10.1145/2038642.2038676},
  timestamp = {Thu, 20 Oct 2011 21:16:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/emsoft/WassyngLM11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ElesL11,
  author    = {Colin Eles and
               Mark Lawford},
  title     = {A Tabular Expression Toolbox for Matlab/Simulink},
  booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
               Pasadena, CA, USA, April 18-20, 2011. Proceedings},
  pages     = {494--499},
  year      = {2011},
  crossref  = {DBLP:conf/nfm/2011},
  url       = {https://doi.org/10.1007/978-3-642-20398-5_38},
  doi       = {10.1007/978-3-642-20398-5_38},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/nfm/ElesL11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cascon/WassyngLMWH10,
  author    = {Alan Wassyng and
               Mark Lawford and
               T. S. E. Maibaum and
               Jens H. Weber and
               John Hatcliff},
  title     = {Software certification consortium: certification methods for safety-critical
               software},
  booktitle = {Proceedings of the 2010 conference of the Centre for Advanced Studies
               on Collaborative Research, November 1-4, 2010, Toronto, Ontario, Canada},
  pages     = {434--436},
  year      = {2010},
  crossref  = {DBLP:conf/cascon/2010},
  url       = {http://doi.acm.org/10.1145/1923947.1924033},
  doi       = {10.1145/1923947.1924033},
  timestamp = {Mon, 12 Mar 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/cascon/WassyngLMWH10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isola/LawfordMW10,
  author    = {Mark Lawford and
               T. S. E. Maibaum and
               Alan Wassyng},
  title     = {Certification of Software-Driven Medical Devices},
  booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
               - 4th International Symposium on Leveraging Applications, ISoLA 2010,
               Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
  pages     = {293--295},
  year      = {2010},
  crossref  = {DBLP:conf/isola/2010-2},
  url       = {https://doi.org/10.1007/978-3-642-16561-0_29},
  doi       = {10.1007/978-3-642-16561-0_29},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/isola/LawfordMW10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/monterey/WassyngMLB10,
  author    = {Alan Wassyng and
               T. S. E. Maibaum and
               Mark Lawford and
               Hans Bherer},
  title     = {Software Certification: Is There a Case against Safety Cases?},
  booktitle = {Foundations of Computer Software. Modeling, Development, and Verification
               of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA,
               March 31- April 2, 2010, Revised Selected Papers},
  pages     = {206--227},
  year      = {2010},
  crossref  = {DBLP:conf/monterey/2010},
  url       = {https://doi.org/10.1007/978-3-642-21292-5_12},
  doi       = {10.1007/978-3-642-21292-5_12},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/monterey/WassyngMLB10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wodes/PantelicL10,
  author    = {Vera Pantelic and
               Mark Lawford},
  title     = {Use of a metric in supervisory control of probabilistic discrete event
               systems},
  booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
               Berlin, Germany, August 30 - September 01, 2010.},
  pages     = {217--222},
  year      = {2010},
  crossref  = {DBLP:conf/wodes/2010},
  url       = {https://doi.org/10.3182/20100830-3-DE-4013.00037},
  doi       = {10.3182/20100830-3-DE-4013.00037},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wodes/PantelicL10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/HatcliffHLMWW09,
  author    = {John Hatcliff and
               Mats Per Erik Heimdahl and
               Mark Lawford and
               T. S. E. Maibaum and
               Alan Wassyng and
               Fred L. Wurden},
  title     = {A Software Certification Consortium and its Top 9 Hurdles},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {238},
  number    = {4},
  pages     = {11--17},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.09.002},
  doi       = {10.1016/j.entcs.2009.09.002},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/HatcliffHLMWW09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tac/PantelicPL09,
  author    = {Vera Pantelic and
               Steven M. Postma and
               Mark Lawford},
  title     = {Probabilistic Supervisory Control of Probabilistic Discrete Event
               Systems},
  journal   = {{IEEE} Trans. Automat. Contr.},
  volume    = {54},
  number    = {8},
  pages     = {2013--2018},
  year      = {2009},
  url       = {https://doi.org/10.1109/TAC.2009.2024376},
  doi       = {10.1109/TAC.2009.2024376},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tac/PantelicPL09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmics/HuLW08,
  author    = {Xiayong Hu and
               Mark Lawford and
               Alan Wassyng},
  title     = {Formal Verification of the Implementability of Timing Requirements},
  booktitle = {Formal Methods for Industrial Critical Systems, 13th International
               Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
               Selected Papers},
  pages     = {119--134},
  year      = {2008},
  crossref  = {DBLP:conf/fmics/2008},
  url       = {https://doi.org/10.1007/978-3-642-03240-0_12},
  doi       = {10.1007/978-3-642-03240-0_12},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fmics/HuLW08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/monterey/WassyngML08,
  author    = {Alan Wassyng and
               T. S. E. Maibaum and
               Mark Lawford},
  title     = {On Software Certification: We Need Product-Focused Approaches},
  booktitle = {Foundations of Computer Software. Future Trends and Techniques for
               Development, 15th Monterey Workshop 2008, Budapest, Hungary, September
               24-26, 2008, Revised Selected Papers},
  pages     = {250--274},
  year      = {2008},
  crossref  = {DBLP:conf/monterey/2008},
  url       = {https://doi.org/10.1007/978-3-642-12566-9_13},
  doi       = {10.1007/978-3-642-12566-9_13},
  timestamp = {Sun, 04 Jun 2017 10:04:01 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/monterey/WassyngML08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cascon/PetersLT07,
  author    = {Dennis K. Peters and
               Mark Lawford and
               Baltasar Tranc{\'{o}}n y Widemann},
  title     = {An {IDE} for software development using tabular expressions},
  booktitle = {Proceedings of the 2007 conference of the Centre for Advanced Studies
               on Collaborative Research, October 22-25, 2007, Richmond Hill, Ontario,
               Canada},
  pages     = {248--251},
  year      = {2007},
  crossref  = {DBLP:conf/cascon/2007},
  url       = {http://doi.acm.org/10.1145/1321211.1321238},
  doi       = {10.1145/1321211.1321238},
  timestamp = {Wed, 07 Jan 2015 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/cascon/PetersLT07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/seke/ArbuckleBPL07,
  author    = {Tom Arbuckle and
               Adam Balaban and
               Dennis K. Peters and
               Mark Lawford},
  title     = {Software Documents: Comparison and Measurement},
  booktitle = {Proceedings of the Nineteenth International Conference on Software
               Engineering {\&} Knowledge Engineering (SEKE'2007), Boston, Massachusetts,
               USA, July 9-11, 2007},
  pages     = {740},
  year      = {2007},
  crossref  = {DBLP:conf/seke/2007},
  timestamp = {Wed, 19 Sep 2007 09:23:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/seke/ArbuckleBPL07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fuin/LawfordPZ06,
  author    = {Mark Lawford and
               Vera Pantelic and
               Hong Zhang},
  title     = {Towards Integrated Verification of Timed Transition Models},
  journal   = {Fundam. Inform.},
  volume    = {70},
  number    = {1-2},
  pages     = {75--110},
  year      = {2006},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-1-2-05},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/fuin/LawfordPZ06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sttt/WassyngL06,
  author    = {Alan Wassyng and
               Mark Lawford},
  title     = {Software tools for safety-critical software development},
  journal   = {{STTT}},
  volume    = {8},
  number    = {4-5},
  pages     = {337--354},
  year      = {2006},
  url       = {https://doi.org/10.1007/s10009-005-0209-6},
  doi       = {10.1007/s10009-005-0209-6},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sttt/WassyngL06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcst/LeducLD06,
  author    = {Ryan J. Leduc and
               Mark Lawford and
               Pengcheng Dai},
  title     = {Hierarchical interface-based supervisory control of a flexible manufacturing
               system},
  journal   = {{IEEE} Trans. Contr. Sys. Techn.},
  volume    = {14},
  number    = {4},
  pages     = {654--668},
  year      = {2006},
  url       = {https://doi.org/10.1109/TCST.2006.876635},
  doi       = {10.1109/TCST.2006.876635},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcst/LeducLD06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/serp/PantelicJLP06,
  author    = {Vera Pantelic and
               Xiao{-}Hui Jin and
               Mark Lawford and
               David Lorge Parnas},
  title     = {Inspection of Concurrent Systems: Combining Tables, Theorem Proving
               and Model Checking},
  booktitle = {Proceedings of the International Conference on Software Engineering
               Research and Practice {\&} Conference on Programming Languages
               and Compilers, {SERP} 2006, Las Vegas, Nevada, USA, June 26-29, 2006,
               Volume 2},
  pages     = {629--635},
  year      = {2006},
  crossref  = {DBLP:conf/serp/2006-2},
  timestamp = {Wed, 17 Jan 2007 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/serp/PantelicJLP06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tac/LeducBLW05,
  author    = {Ryan J. Leduc and
               Bertil A. Brandin and
               Mark Lawford and
               Walter Murray Wonham},
  title     = {Hierarchical interface-based supervisory Control-part {I:} serial
               case},
  journal   = {{IEEE} Trans. Automat. Contr.},
  volume    = {50},
  number    = {9},
  pages     = {1322--1335},
  year      = {2005},
  url       = {https://doi.org/10.1109/TAC.2005.854586},
  doi       = {10.1109/TAC.2005.854586},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tac/LeducBLW05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tac/LeducLW05,
  author    = {Ryan J. Leduc and
               Mark Lawford and
               Walter Murray Wonham},
  title     = {Hierarchical interface-based supervisory control-part {II:} parallel
               case},
  journal   = {{IEEE} Trans. Automat. Contr.},
  volume    = {50},
  number    = {9},
  pages     = {1336--1348},
  year      = {2005},
  url       = {https://doi.org/10.1109/TAC.2005.854612},
  doi       = {10.1109/TAC.2005.854612},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tac/LeducLW05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tac/LeducBLW05a,
  author    = {Ryan J. Leduc and
               Bertil A. Brandin and
               Mark Lawford and
               Walter Murray Wonham},
  title     = {Erratum to "Hierarchical Interface-Based Supervisory Control
               - Part {I:} Serial Case"},
  journal   = {{IEEE} Trans. Automat. Contr.},
  volume    = {50},
  number    = {11},
  pages     = {1916},
  year      = {2005},
  url       = {https://doi.org/10.1109/TAC.2005.860413},
  doi       = {10.1109/TAC.2005.860413},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tac/LeducBLW05a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tac/BourdonLW05,
  author    = {Sean E. Bourdon and
               Mark Lawford and
               Walter Murray Wonham},
  title     = {Robust nonblocking supervisory control of discrete-event systems},
  journal   = {{IEEE} Trans. Automat. Contr.},
  volume    = {50},
  number    = {12},
  pages     = {2015--2021},
  year      = {2005},
  url       = {https://doi.org/10.1109/TAC.2005.860237},
  doi       = {10.1109/TAC.2005.860237},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tac/BourdonLW05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fm/WassyngLH05,
  author    = {Alan Wassyng and
               Mark Lawford and
               Xiayong Hu},
  title     = {Timing Tolerances in Safety-Critical Software},
  booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
               Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
  pages     = {157--172},
  year      = {2005},
  crossref  = {DBLP:conf/fm/2005},
  url       = {https://doi.org/10.1007/11526841_12},
  doi       = {10.1007/11526841_12},
  timestamp = {Fri, 02 Jun 2017 20:50:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fm/WassyngLH05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LawfordZ04,
  author    = {Mark Lawford and
               Hong Zhang},
  title     = {Equivalence Verification of Timed Transition Models},
  booktitle = {4th International Conference on Application of Concurrency to System
               Design {(ACSD} 2004), 16-18 June 2004, Hamilton, Canada},
  pages     = {155--164},
  year      = {2004},
  crossref  = {DBLP:conf/acsd/2004},
  url       = {https://doi.org/10.1109/CSD.2004.1309128},
  doi       = {10.1109/CSD.2004.1309128},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/acsd/LawfordZ04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/software/ParnasL03,
  author    = {David Lorge Parnas and
               Mark Lawford},
  title     = {Guest Editors' Introduction: Inspection's Role in Software Quality
               Assurance},
  journal   = {{IEEE} Software},
  volume    = {20},
  number    = {4},
  pages     = {16--20},
  year      = {2003},
  url       = {https://doi.org/10.1109/MS.2003.1207449},
  doi       = {10.1109/MS.2003.1207449},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/software/ParnasL03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tse/ParnasL03,
  author    = {David Lorge Parnas and
               Mark Lawford},
  title     = {The Role of Inspection in Software Quality Assurance},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {29},
  number    = {8},
  pages     = {674--676},
  year      = {2003},
  url       = {https://doi.org/10.1109/TSE.2003.1223642},
  doi       = {10.1109/TSE.2003.1223642},
  timestamp = {Tue, 05 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tse/ParnasL03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fm/WassyngL03,
  author    = {Alan Wassyng and
               Mark Lawford},
  title     = {Lessons Learned from a Successful Implementation of Formal Methods
               in an Industrial Project},
  booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
               Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
  pages     = {133--153},
  year      = {2003},
  crossref  = {DBLP:conf/fm/2003},
  url       = {https://doi.org/10.1007/978-3-540-45236-2_9},
  doi       = {10.1007/978-3-540-45236-2_9},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fm/WassyngL03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/amast/LawfordMFM00,
  author    = {Mark Lawford and
               Jeff McDougall and
               Peter Froebel and
               Greg Moum},
  title     = {Practical Application of Functional and Relational Methods for the
               Specification and Verification of Safety Critical Software},
  booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
               {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
  pages     = {73--88},
  year      = {2000},
  crossref  = {DBLP:conf/amast/2000},
  url       = {https://doi.org/10.1007/3-540-45499-3_8},
  doi       = {10.1007/3-540-45499-3_8},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/amast/LawfordMFM00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/forte/LawfordOW96,
  author    = {Mark Lawford and
               Jonathan S. Ostroff and
               Walter Murray Wonham},
  title     = {Model Reduction of Modules for State-Even Temporal Logics},
  booktitle = {Formal Description Techniques {IX:} Theory, application and tools,
               {IFIP} {TC6} {WG6.1} International Conference on Formal Description
               Techniques {IX} / Protocol Specification, Testing and Verification
               XVI, Kaiserslautern, Germany, 8-11 October 1996},
  pages     = {263--278},
  year      = {1996},
  crossref  = {DBLP:conf/forte/1996},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/forte/LawfordOW96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2017formalise,
  title     = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
               Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
               2017},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7965807},
  isbn      = {978-1-5386-0422-9},
  timestamp = {Mon, 17 Jul 2017 17:32:04 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2017formalise},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issre/2017w,
  title     = {2017 {IEEE} International Symposium on Software Reliability Engineering
               Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8108700},
  isbn      = {978-1-5386-2387-9},
  timestamp = {Thu, 30 Nov 2017 13:10:41 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issre/2017w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/medi/2017,
  editor    = {Yassine Ouhammou and
               Mirjana Ivanovic and
               Alberto Abell{\'{o}} and
               Ladjel Bellatreche},
  title     = {Model and Data Engineering - 7th International Conference, {MEDI}
               2017, Barcelona, Spain, October 4-6, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10563},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66854-3},
  doi       = {10.1007/978-3-319-66854-3},
  isbn      = {978-3-319-66853-6},
  timestamp = {Mon, 18 Sep 2017 13:58:51 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/medi/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2017,
  editor    = {Stefano Tonetta and
               Erwin Schoitsch and
               Friedemann Bitsch},
  title     = {Computer Safety, Reliability, and Security - 36th International Conference,
               {SAFECOMP} 2017, Trento, Italy, September 13-15, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10488},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66266-4},
  doi       = {10.1007/978-3-319-66266-4},
  isbn      = {978-3-319-66265-7},
  timestamp = {Tue, 29 Aug 2017 15:14:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/safecomp/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/nfm/2016,
  editor    = {Sanjai Rayadurgam and
               Oksana Tkachuk},
  title     = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
               MN, USA, June 7-9, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9690},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-40648-0},
  doi       = {10.1007/978-3-319-40648-0},
  isbn      = {978-3-319-40647-3},
  timestamp = {Thu, 25 May 2017 00:40:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/nfm/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2016,
  editor    = {Amund Skavhaug and
               J{\'{e}}r{\'{e}}mie Guiochet and
               Friedemann Bitsch},
  title     = {Computer Safety, Reliability, and Security - 35th International Conference,
               {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9922},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-45477-1},
  doi       = {10.1007/978-3-319-45477-1},
  isbn      = {978-3-319-45476-4},
  timestamp = {Fri, 26 May 2017 00:49:42 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/safecomp/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vstte/2016,
  editor    = {Sandrine Blazy and
               Marsha Chechik},
  title     = {Verified Software. Theories, Tools, and Experiments - 8th International
               Conference, {VSTTE} 2016, Toronto, ON, Canada, July 17-18, 2016, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9971},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-48869-1},
  doi       = {10.1007/978-3-319-48869-1},
  isbn      = {978-3-319-48868-4},
  timestamp = {Tue, 23 May 2017 01:06:28 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vstte/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/hci/2015-17,
  editor    = {Vincent G. Duffy},
  title     = {Digital Human Modeling - Applications in Health, Safety, Ergonomics
               and Risk Management: Ergonomics and Health - 6th International Conference,
               {DHM} 2015, Held as Part of {HCI} International 2015, Los Angeles,
               CA, USA, August 2-7, 2015, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9185},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21070-4},
  doi       = {10.1007/978-3-319-21070-4},
  isbn      = {978-3-319-21069-8},
  timestamp = {Wed, 24 May 2017 08:28:51 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/hci/2015-17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2015formalise,
  editor    = {Stefania Gnesi and
               Nico Plat},
  title     = {3rd {IEEE/ACM} {FME} Workshop on Formal Methods in Software Engineering,
               FormaliSE 2015, Florence, Italy, May 18, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7166199},
  isbn      = {978-1-4673-7043-1},
  timestamp = {Tue, 03 May 2016 16:31:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2015formalise},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/modelsward/2015,
  editor    = {Slimane Hammoudi and
               Lu{\'{\i}}s Ferreira Pires and
               Philippe Desfray and
               Joaquim Filipe},
  title     = {{MODELSWARD} 2015 - Proceedings of the 3rd International Conference
               on Model-Driven Engineering and Software Development, ESEO, Angers,
               Loire Valley, France, 9-11 February, 2015},
  publisher = {SciTePress},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7307714},
  isbn      = {978-989-758-083-3},
  timestamp = {Tue, 17 Nov 2015 15:54:11 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/modelsward/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2015w,
  editor    = {Floor Koornneef and
               Coen van Gulijk},
  title     = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
               ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
               September 22, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9338},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24249-1},
  doi       = {10.1007/978-3-319-24249-1},
  isbn      = {978-3-319-24248-4},
  timestamp = {Fri, 26 May 2017 00:49:42 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/safecomp/2015w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/soict/2015,
  editor    = {Huynh Quyet Thang and
               Le Anh Phuong and
               Luc De Raedt and
               Yves Deville and
               Marc Bui and
               Truong Thi Dieu Linh and
               Nguyen Thi Oanh and
               Dinh Viet Sang and
               Nguyen Ba Ngoc},
  title     = {Proceedings of the Sixth International Symposium on Information and
               Communication Technology, Hue City, Vietnam, December 3-4, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2833258},
  isbn      = {978-1-4503-3843-1},
  timestamp = {Sun, 22 Nov 2015 19:07:07 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soict/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/PangLM15,
  editor    = {Jun Pang and
               Yang Liu and
               Sjouke Mauw},
  title     = {Proceedings 4th International Workshop on Engineering Safety and Security
               Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015},
  series    = {{EPTCS}},
  volume    = {184},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.184},
  doi       = {10.4204/EPTCS.184},
  timestamp = {Wed, 03 May 2017 14:47:58 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/PangLM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/hci/2014-20,
  editor    = {Vincent G. Duffy},
  title     = {Digital Human Modeling. Applications in Health, Safety, Ergonomics
               and Risk Management - 5th International Conference, {DHM} 2014, Held
               as Part of {HCI} International 2014, Heraklion, Crete, Greece, June
               22-27, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8529},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-07725-3},
  doi       = {10.1007/978-3-319-07725-3},
  isbn      = {978-3-319-07724-6},
  timestamp = {Wed, 24 May 2017 08:28:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/hci/2014-20},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifm/2014,
  editor    = {Elvira Albert and
               Emil Sekerinski},
  title     = {Integrated Formal Methods - 11th International Conference, {IFM} 2014,
               Bertinoro, Italy, September 9-11, 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8739},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10181-1},
  doi       = {10.1007/978-3-319-10181-1},
  isbn      = {978-3-319-10180-4},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ifm/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/modelsward/2014,
  editor    = {Lu{\'{\i}}s Ferreira Pires and
               Slimane Hammoudi and
               Joaquim Filipe and
               Rui C{\'{e}}sar das Neves},
  title     = {{MODELSWARD} 2014 - Proceedings of the 2nd International Conference
               on Model-Driven Engineering and Software Development, Lisbon, Portugal,
               7 - 9 January, 2014},
  publisher = {SciTePress},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7008823},
  isbn      = {978-989-758-007-9},
  timestamp = {Tue, 17 Nov 2015 15:54:11 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/modelsward/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wodes/2014,
  editor    = {Jean{-}Jacques Lesage and
               Jean{-}Marc Faure and
               Jos{\'{e}} E. R. Cury and
               Bengt Lennartson},
  title     = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
               Cachan, France, May 14-16, 2014},
  publisher = {International Federation of Automatic Control},
  year      = {2014},
  url       = {http://www.ifac-papersonline.net/Discrete_Event_Systems/12th_International_Workshop_on_Discrete_Event_Systems__2014_/index.html},
  isbn      = {978-3-902823-61-8},
  timestamp = {Wed, 26 Nov 2014 19:30:06 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/wodes/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fhies/2013,
  editor    = {Jeremy Gibbons and
               Wendy MacCaull},
  title     = {Foundations of Health Information Engineering and Systems - Third
               International Symposium, {FHIES} 2013, Macau, China, August 21-23,
               2013. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8315},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-53956-5},
  doi       = {10.1007/978-3-642-53956-5},
  isbn      = {978-3-642-53955-8},
  timestamp = {Sun, 21 May 2017 00:17:27 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fhies/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ftscs/2013,
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-05416-2},
  doi       = {10.1007/978-3-319-05416-2},
  isbn      = {978-3-319-05415-5},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ftscs/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iceis/2012,
  editor    = {Jos{\'{e}} Cordeiro and
               Leszek A. Maciaszek and
               Joaquim Filipe},
  title     = {Enterprise Information Systems - 14th International Conference, {ICEIS}
               2012, Wroclaw, Poland, June 28 - July 1, 2012, Revised Selected Papers},
  series    = {Lecture Notes in Business Information Processing},
  volume    = {141},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40654-6},
  doi       = {10.1007/978-3-642-40654-6},
  isbn      = {978-3-642-40653-9},
  timestamp = {Wed, 17 May 2017 10:54:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iceis/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iceis/2012-2,
  editor    = {Leszek A. Maciaszek and
               Alfredo Cuzzocrea and
               Jos{\'{e}} Cordeiro},
  title     = {{ICEIS} 2012 - Proceedings of the 14th International Conference on
               Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June
               - 1 July, 2012},
  publisher = {SciTePress},
  year      = {2012},
  isbn      = {978-989-8565-11-2},
  timestamp = {Tue, 21 Aug 2012 14:19:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iceis/2012-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:books/daglib/0028680,
  editor    = {Mike Hinchey and
               Lorcan Coyle},
  title     = {Conquering Complexity},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-1-4471-2297-5},
  doi       = {10.1007/978-1-4471-2297-5},
  isbn      = {978-1-4471-2296-8},
  timestamp = {Tue, 16 May 2017 14:01:34 +0200},
  biburl    = {http://dblp.org/rec/bib/books/daglib/0028680},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ccece/2011,
  title     = {Proceedings of the 24th Canadian Conference on Electrical and Computer
               Engineering, {CCECE} 2011, Niagara Falls, Ontario, Canada, 8-11 May,
               2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6019108},
  isbn      = {978-1-4244-9788-1},
  timestamp = {Thu, 23 Jun 2016 15:53:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ccece/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2011,
  editor    = {Samarjit Chakraborty and
               Ahmed Jerraya and
               Sanjoy K. Baruah and
               Sebastian Fischmeister},
  title     = {Proceedings of the 11th International Conference on Embedded Software,
               {EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
               Taipei, Taiwan, October 9-14, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0714-7},
  timestamp = {Thu, 20 Oct 2011 21:16:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/emsoft/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/nfm/2011,
  editor    = {Mihaela Gheorghiu Bobaru and
               Klaus Havelund and
               Gerard J. Holzmann and
               Rajeev Joshi},
  title     = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
               Pasadena, CA, USA, April 18-20, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6617},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20398-5},
  doi       = {10.1007/978-3-642-20398-5},
  isbn      = {978-3-642-20397-8},
  timestamp = {Thu, 25 May 2017 00:40:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/nfm/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cascon/2010,
  editor    = {Joanna W. Ng and
               Christian Couturier and
               Hausi A. M{\"{u}}ller and
               Arthur G. Ryman},
  title     = {Proceedings of the 2010 conference of the Centre for Advanced Studies
               on Collaborative Research, November 1-4, 2010, Toronto, Ontario, Canada},
  publisher = {{ACM}},
  year      = {2010},
  timestamp = {Mon, 21 Feb 2011 10:33:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/cascon/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isola/2010-2,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification, and Validation
               - 4th International Symposium on Leveraging Applications, ISoLA 2010,
               Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6416},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16561-0},
  doi       = {10.1007/978-3-642-16561-0},
  isbn      = {978-3-642-16560-3},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/isola/2010-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/monterey/2010,
  editor    = {Radu Calinescu and
               Ethan K. Jackson},
  title     = {Foundations of Computer Software. Modeling, Development, and Verification
               of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA,
               March 31- April 2, 2010, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6662},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21292-5},
  doi       = {10.1007/978-3-642-21292-5},
  isbn      = {978-3-642-21291-8},
  timestamp = {Thu, 25 May 2017 00:40:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/monterey/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wodes/2010,
  editor    = {J{\"{o}}rg Raisch and
               Alessandro Giua and
               St{\'{e}}phane Lafortune and
               Thomas Moor},
  title     = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
               Berlin, Germany, August 30 - September 01, 2010},
  publisher = {International Federation of Automatic Control},
  year      = {2010},
  url       = {http://www.ifac-papersonline.net/Discrete_Event_Systems/10th_International_Workshop_on_Discrete_Event_Systems__2010_/index.html},
  isbn      = {978-3-902661-79-1},
  timestamp = {Thu, 27 Nov 2014 17:25:22 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/wodes/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fmics/2008,
  editor    = {Darren D. Cofer and
               Alessandro Fantechi},
  title     = {Formal Methods for Industrial Critical Systems, 13th International
               Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5596},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03240-0},
  doi       = {10.1007/978-3-642-03240-0},
  isbn      = {978-3-642-03239-4},
  timestamp = {Sun, 21 May 2017 00:22:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fmics/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/monterey/2008,
  editor    = {Christine Choppy and
               Oleg Sokolsky},
  title     = {Foundations of Computer Software. Future Trends and Techniques for
               Development, 15th Monterey Workshop 2008, Budapest, Hungary, September
               24-26, 2008, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6028},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-12566-9},
  doi       = {10.1007/978-3-642-12566-9},
  isbn      = {978-3-642-12565-2},
  timestamp = {Sun, 04 Jun 2017 10:04:01 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/monterey/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cascon/2007,
  editor    = {Kelly A. Lyons and
               Christian Couturier},
  title     = {Proceedings of the 2007 conference of the Centre for Advanced Studies
               on Collaborative Research, October 22-25, 2007, Richmond Hill, Ontario,
               Canada},
  publisher = {{IBM}},
  year      = {2007},
  timestamp = {Tue, 04 Dec 2007 10:30:32 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/cascon/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/seke/2007,
  title     = {Proceedings of the Nineteenth International Conference on Software
               Engineering {\&} Knowledge Engineering (SEKE'2007), Boston, Massachusetts,
               USA, July 9-11, 2007},
  publisher = {Knowledge Systems Institute Graduate School},
  year      = {2007},
  isbn      = {1-891706-20-9},
  timestamp = {Wed, 19 Sep 2007 09:23:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/seke/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/serp/2006-2,
  editor    = {Hamid R. Arabnia and
               Hassan Reza},
  title     = {Proceedings of the International Conference on Software Engineering
               Research and Practice {\&} Conference on Programming Languages
               and Compilers, {SERP} 2006, Las Vegas, Nevada, USA, June 26-29, 2006,
               Volume 2},
  publisher = {{CSREA} Press},
  year      = {2006},
  isbn      = {1-932415-91-2},
  timestamp = {Wed, 29 Nov 2006 15:18:21 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/serp/2006-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fm/2005,
  editor    = {John S. Fitzgerald and
               Ian J. Hayes and
               Andrzej Tarlecki},
  title     = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
               Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3582},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b27882},
  doi       = {10.1007/b27882},
  isbn      = {3-540-27882-6},
  timestamp = {Fri, 02 Jun 2017 20:50:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fm/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/acsd/2004,
  title     = {4th International Conference on Application of Concurrency to System
               Design {(ACSD} 2004), 16-18 June 2004, Hamilton, Canada},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9149},
  isbn      = {0-7695-2077-4},
  timestamp = {Fri, 08 May 2015 15:30:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/acsd/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fm/2003,
  editor    = {Keijiro Araki and
               Stefania Gnesi and
               Dino Mandrioli},
  title     = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
               Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2805},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b13229},
  doi       = {10.1007/b13229},
  isbn      = {3-540-40828-2},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fm/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/amast/2000,
  editor    = {Teodor Rus},
  title     = {Algebraic Methodology and Software Technology. 8th International Conference,
               {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1816},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-45499-3},
  doi       = {10.1007/3-540-45499-3},
  isbn      = {3-540-67530-2},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/amast/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/forte/1996,
  editor    = {Reinhard Gotzhein and
               Jan Bredereke},
  title     = {Formal Description Techniques {IX:} Theory, application and tools,
               {IFIP} {TC6} {WG6.1} International Conference on Formal Description
               Techniques {IX} / Protocol Specification, Testing and Verification
               XVI, Kaiserslautern, Germany, 8-11 October 1996},
  series    = {{IFIP} Conference Proceedings},
  volume    = {69},
  publisher = {Chapman {\&} Hall},
  year      = {1996},
  isbn      = {0-412-79490-X},
  timestamp = {Fri, 29 Oct 2004 12:58:31 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/forte/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier