Search dblp for Publications

export results for "toc:db/conf/sefm/sefm2013.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sefm/AmanC13,
  author       = {Bogdan Aman and
                  Gabriel Ciobanu},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {Real-Time Migration Properties of rTiMo Verified in Uppaal},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {31--45},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_3},
  doi          = {10.1007/978-3-642-40561-7\_3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/AmanC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/BennaceurCIJ13,
  author       = {Amel Bennaceur and
                  Chris Chilton and
                  Malte Isberner and
                  Bengt Jonsson},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {Automated Mediator Synthesis: Combining Behavioural and Ontological
                  Reasoning},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {274--288},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_19},
  doi          = {10.1007/978-3-642-40561-7\_19},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/BennaceurCIJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/BoerGW13,
  author       = {Frank S. de Boer and
                  Stijn de Gouw and
                  Peter Y. H. Wong},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {Run-Time Verification of Coboxes},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {259--273},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_18},
  doi          = {10.1007/978-3-642-40561-7\_18},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/BoerGW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/BorekMSR13,
  author       = {Marian Borek and
                  Nina Moebius and
                  Kurt Stenzel and
                  Wolfgang Reif},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {Model Checking of Security-Critical Applications in a Model-Driven
                  Approach},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {76--90},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_6},
  doi          = {10.1007/978-3-642-40561-7\_6},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/BorekMSR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Choi13,
  author       = {Yunja Choi},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {Constraint Specification and Test Generation for OSEK/VDX-Based Operating
                  Systems},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {305--319},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_21},
  doi          = {10.1007/978-3-642-40561-7\_21},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/Choi13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/CristiaRF13,
  author       = {Maximiliano Cristi{\'{a}} and
                  Gianfranco Rossi and
                  Claudia S. Frydman},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {\{log\} as a Test Case Generator for the Test Template Framework},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {229--243},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_16},
  doi          = {10.1007/978-3-642-40561-7\_16},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/CristiaRF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/DardhaGL13,
  author       = {Ornela Dardha and
                  Elena Giachino and
                  Michael Lienhardt},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {A Type System for Components},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {167--181},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_12},
  doi          = {10.1007/978-3-642-40561-7\_12},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/DardhaGL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/GesellMS13,
  author       = {Manuel Gesell and
                  Andreas Morgenstern and
                  Klaus Schneider},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {Lifting Verification Results for Preemption Statements},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {91--105},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_7},
  doi          = {10.1007/978-3-642-40561-7\_7},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/GesellMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/JiHB13,
  author       = {Ran Ji and
                  Reiner H{\"{a}}hnle and
                  Richard Bubel},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {Program Transformation Based on Symbolic Execution and Deduction},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {289--304},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_20},
  doi          = {10.1007/978-3-642-40561-7\_20},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/JiHB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/KeshishzadehMM13,
  author       = {Sarmen Keshishzadeh and
                  Arjan J. Mooij and
                  Mohammad Reza Mousavi},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {Early Fault Detection in DSLs Using {SMT} Solving and Automated Debugging},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {182--196},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_13},
  doi          = {10.1007/978-3-642-40561-7\_13},
  timestamp    = {Sat, 11 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/KeshishzadehMM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Klimek13,
  author       = {Radoslaw Klimek},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {From Extraction of Logical Specifications to Deduction-Based Formal
                  Verification of Requirements Models},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {61--75},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_5},
  doi          = {10.1007/978-3-642-40561-7\_5},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/Klimek13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/KringsL13,
  author       = {Sebastian Krings and
                  Michael Leuschel},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {Inferring Physical Units in {B} Models},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {137--151},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_10},
  doi          = {10.1007/978-3-642-40561-7\_10},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/KringsL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/MenadD13,
  author       = {Nadia Menad and
                  Philippe Dhaussy},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {A Transformation Approach for Multiform Time Requirements},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {16--30},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_2},
  doi          = {10.1007/978-3-642-40561-7\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/MenadD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/OliveiraJW13,
  author       = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
                  Ivan Soares de Medeiros J{\'{u}}nior and
                  Jim Woodcock},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {A Verified Protocol to Implement Multi-way Synchronisation and Interleaving
                  in {CSP}},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {46--60},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_4},
  doi          = {10.1007/978-3-642-40561-7\_4},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/OliveiraJW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/PerceboisST13,
  author       = {Christian Percebois and
                  Martin Strecker and
                  Hanh Nhi Tran},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {Rule-Level Verification of Graph Transformations for Invariants Based
                  on Edges' Transitive Closure},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {106--121},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_8},
  doi          = {10.1007/978-3-642-40561-7\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/PerceboisST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/SalehKBW13,
  author       = {Iman Saleh and
                  Gregory Kulczycki and
                  M. Brian Blake and
                  Yi Wei},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {Static Detection of Implementation Errors Using Formal Code Specification},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {197--211},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_14},
  doi          = {10.1007/978-3-642-40561-7\_14},
  timestamp    = {Mon, 18 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/SalehKBW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/SargolzaeiSAA13,
  author       = {Mahdi Sargolzaei and
                  Francesco Santini and
                  Farhad Arbab and
                  Hamideh Afsarmanesh},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {A Tool for Behaviour-Based Discovery of Approximately Matching Web
                  Services},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {152--166},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_11},
  doi          = {10.1007/978-3-642-40561-7\_11},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/SargolzaeiSAA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/SuryadevaraSMP13,
  author       = {Jagadish Suryadevara and
                  Cristina Cerschi Seceleanu and
                  Fr{\'{e}}d{\'{e}}ric Mallet and
                  Paul Pettersson},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {Verifying {MARTE/CCSL} Mode Behaviors Using {UPPAAL}},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_1},
  doi          = {10.1007/978-3-642-40561-7\_1},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/SuryadevaraSMP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/TranST13,
  author       = {Thi Mai Thuong Tran and
                  Martin Steffen and
                  Hoang Truong},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {Compositional Static Analysis for Implicit Join Synchronization in
                  a Transactional Setting},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {212--228},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_15},
  doi          = {10.1007/978-3-642-40561-7\_15},
  timestamp    = {Mon, 16 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/TranST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/VanspauwenJ13,
  author       = {Gijs Vanspauwen and
                  Bart Jacobs},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {Sound Symbolic Linking in the Presence of Preprocessing},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {122--136},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_9},
  doi          = {10.1007/978-3-642-40561-7\_9},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/VanspauwenJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/WonischSW13,
  author       = {Daniel Wonisch and
                  Alexander Schremmer and
                  Heike Wehrheim},
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {Zero Overhead Runtime Monitoring},
  booktitle    = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  pages        = {244--258},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7\_17},
  doi          = {10.1007/978-3-642-40561-7\_17},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/WonischSW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sefm/2013,
  editor       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Mario Bravetti},
  title        = {Software Engineering and Formal Methods - 11th International Conference,
                  {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8137},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40561-7},
  doi          = {10.1007/978-3-642-40561-7},
  isbn         = {978-3-642-40560-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.