Search dblp for Publications

export results for "toc:db/conf/icse/formsera2012.bht:"

 download as .bib file

@inproceedings{DBLP:conf/icse/BailesB12,
  author       = {Paul A. Bailes and
                  Leighton Brough},
  editor       = {Stefania Gnesi and
                  Stefan Gruner and
                  Nico Plat and
                  Bernhard Rumpe},
  title        = {Making sense of recursion patterns},
  booktitle    = {Proceedings of the First International Workshop on Formal Methods
                  in Software Engineering - Rigorous and Agile Approaches, FormSERA
                  2012, Zurich, Switzerland, June 2, 2012},
  pages        = {16--22},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/FormSERA.2012.6229782},
  doi          = {10.1109/FORMSERA.2012.6229782},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/BailesB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/FilieriG12,
  author       = {Antonio Filieri and
                  Carlo Ghezzi},
  editor       = {Stefania Gnesi and
                  Stefan Gruner and
                  Nico Plat and
                  Bernhard Rumpe},
  title        = {Further steps towards efficient runtime verification: handling probabilistic
                  cost models},
  booktitle    = {Proceedings of the First International Workshop on Formal Methods
                  in Software Engineering - Rigorous and Agile Approaches, FormSERA
                  2012, Zurich, Switzerland, June 2, 2012},
  pages        = {2--8},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/FormSERA.2012.6229785},
  doi          = {10.1109/FORMSERA.2012.6229785},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/FilieriG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/GonzalezBCC12,
  author       = {Carlos A. Gonz{\'{a}}lez and
                  Fabian B{\"{u}}ttner and
                  Robert Claris{\'{o}} and
                  Jordi Cabot},
  editor       = {Stefania Gnesi and
                  Stefan Gruner and
                  Nico Plat and
                  Bernhard Rumpe},
  title        = {EMFtoCSP: a tool for the lightweight verification of {EMF} models},
  booktitle    = {Proceedings of the First International Workshop on Formal Methods
                  in Software Engineering - Rigorous and Agile Approaches, FormSERA
                  2012, Zurich, Switzerland, June 2, 2012},
  pages        = {44--50},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/FormSERA.2012.6229788},
  doi          = {10.1109/FORMSERA.2012.6229788},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/GonzalezBCC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/IliasovRLTL12,
  author       = {Alexei Iliasov and
                  Alexander B. Romanovsky and
                  Linas Laibinis and
                  Elena Troubitsyna and
                  Timo Latvala},
  editor       = {Stefania Gnesi and
                  Stefan Gruner and
                  Nico Plat and
                  Bernhard Rumpe},
  title        = {Augmenting Event-B modelling with real-time verification},
  booktitle    = {Proceedings of the First International Workshop on Formal Methods
                  in Software Engineering - Rigorous and Agile Approaches, FormSERA
                  2012, Zurich, Switzerland, June 2, 2012},
  pages        = {51--57},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/FormSERA.2012.6229789},
  doi          = {10.1109/FORMSERA.2012.6229789},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/IliasovRLTL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/Jackson12,
  author       = {Michael Jackson},
  editor       = {Stefania Gnesi and
                  Stefan Gruner and
                  Nico Plat and
                  Bernhard Rumpe},
  title        = {Formalisms and structures},
  booktitle    = {Proceedings of the First International Workshop on Formal Methods
                  in Software Engineering - Rigorous and Agile Approaches, FormSERA
                  2012, Zurich, Switzerland, June 2, 2012},
  pages        = {1},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/FormSERA.2012.6229783},
  doi          = {10.1109/FORMSERA.2012.6229783},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/Jackson12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/KrkaM12,
  author       = {Ivo Krka and
                  Nenad Medvidovic},
  editor       = {Stefania Gnesi and
                  Stefan Gruner and
                  Nico Plat and
                  Bernhard Rumpe},
  title        = {Revisiting modal interface automata},
  booktitle    = {Proceedings of the First International Workshop on Formal Methods
                  in Software Engineering - Rigorous and Agile Approaches, FormSERA
                  2012, Zurich, Switzerland, June 2, 2012},
  pages        = {30--36},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/FormSERA.2012.6229786},
  doi          = {10.1109/FORMSERA.2012.6229786},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/KrkaM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/NeubauerSBWMMH12,
  author       = {Johannes Neubauer and
                  Bernhard Steffen and
                  Oliver Bauer and
                  Stephan Windm{\"{u}}ller and
                  Maik Merten and
                  Tiziana Margaria and
                  Falk Howar},
  editor       = {Stefania Gnesi and
                  Stefan Gruner and
                  Nico Plat and
                  Bernhard Rumpe},
  title        = {Automated continuous quality assurance},
  booktitle    = {Proceedings of the First International Workshop on Formal Methods
                  in Software Engineering - Rigorous and Agile Approaches, FormSERA
                  2012, Zurich, Switzerland, June 2, 2012},
  pages        = {37--43},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/FormSERA.2012.6229787},
  doi          = {10.1109/FORMSERA.2012.6229787},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/NeubauerSBWMMH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/RatiuSVK12,
  author       = {Daniel Ratiu and
                  Bernhard Sch{\"{a}}tz and
                  Markus V{\"{o}}lter and
                  Bernd Kolb},
  editor       = {Stefania Gnesi and
                  Stefan Gruner and
                  Nico Plat and
                  Bernhard Rumpe},
  title        = {Language engineering as an enabler for incrementally defined formal
                  analyses},
  booktitle    = {Proceedings of the First International Workshop on Formal Methods
                  in Software Engineering - Rigorous and Agile Approaches, FormSERA
                  2012, Zurich, Switzerland, June 2, 2012},
  pages        = {9--15},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/FormSERA.2012.6229790},
  doi          = {10.1109/FORMSERA.2012.6229790},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/RatiuSVK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/Wolff12a,
  author       = {Sune Wolff},
  editor       = {Stefania Gnesi and
                  Stefan Gruner and
                  Nico Plat and
                  Bernhard Rumpe},
  title        = {Scrum goes formal: agile methods for safety-critical systems},
  booktitle    = {Proceedings of the First International Workshop on Formal Methods
                  in Software Engineering - Rigorous and Agile Approaches, FormSERA
                  2012, Zurich, Switzerland, June 2, 2012},
  pages        = {23--29},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/FormSERA.2012.6229784},
  doi          = {10.1109/FORMSERA.2012.6229784},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/Wolff12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icse/2012formsera,
  editor       = {Stefania Gnesi and
                  Stefan Gruner and
                  Nico Plat and
                  Bernhard Rumpe},
  title        = {Proceedings of the First International Workshop on Formal Methods
                  in Software Engineering - Rigorous and Agile Approaches, FormSERA
                  2012, Zurich, Switzerland, June 2, 2012},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6220306/proceeding},
  isbn         = {978-1-4673-1906-5},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/2012formsera.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.