![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/icse/formsera2012.bht:"
@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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.