Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fase/fase2017.bht:"
download as .bib file
@inproceedings{DBLP:conf/fase/0002MRSP17,
author = {Andreas M{\"{u}}ller and
Stefan Mitsch and
Werner Retschitzegger and
Wieland Schwinger and
Andr{\'{e}} Platzer},
editor = {Marieke Huisman and
Julia Rubin},
title = {Change and Delay Contracts for Hybrid System Component Verification},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {134--151},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_8},
doi = {10.1007/978-3-662-54494-5\_8},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/0002MRSP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AlvinPM17,
author = {Chris Alvin and
Brian Peterson and
Supratik Mukhopadhyay},
editor = {Marieke Huisman and
Julia Rubin},
title = {StaticGen: Static Generation of {UML} Sequence Diagrams},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {173--190},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_10},
doi = {10.1007/978-3-662-54494-5\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/AlvinPM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AraujoNN17,
author = {Cristiano Werner Ara{\'{u}}jo and
Ingrid Nunes and
Daltro Jos{\'{e}} Nunes},
editor = {Marieke Huisman and
Julia Rubin},
title = {On the Effectiveness of Bug Predictors with Procedural Systems: {A}
Quantitative Study},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {78--95},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_5},
doi = {10.1007/978-3-662-54494-5\_5},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/AraujoNN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AsenovG0O17,
author = {Dimitar Asenov and
Balz Guenat and
Peter M{\"{u}}ller and
Martin Otth},
editor = {Marieke Huisman and
Julia Rubin},
title = {Precise Version Control of Trees with Line-Based Version Control Systems},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {152--169},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_9},
doi = {10.1007/978-3-662-54494-5\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/AsenovG0O17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AydinPTFP17,
author = {Abdulbaki Aydin and
David Piorkowski and
Omer Tripp and
Pietro Ferrara and
Marco Pistoia},
editor = {Marieke Huisman and
Julia Rubin},
title = {Visual Configuration of Mobile Privacy Policies},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {338--355},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_19},
doi = {10.1007/978-3-662-54494-5\_19},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/AydinPTFP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BeekVW17,
author = {Maurice H. ter Beek and
Erik P. de Vink and
Tim A. C. Willemse},
editor = {Marieke Huisman and
Julia Rubin},
title = {Family-Based Model Checking with mCRL2},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {387--405},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_23},
doi = {10.1007/978-3-662-54494-5\_23},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BeekVW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ChengT17,
author = {Zheng Cheng and
Massimo Tisi},
editor = {Marieke Huisman and
Julia Rubin},
title = {A Deductive Approach for Fault Localization in {ATL} Model Transformations},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {300--317},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_17},
doi = {10.1007/978-3-662-54494-5\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/ChengT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DamianiHKL17,
author = {Ferruccio Damiani and
Reiner H{\"{a}}hnle and
Eduard Kamburjan and
Michael Lienhardt},
editor = {Marieke Huisman and
Julia Rubin},
title = {A Unified and Formal Programming Model for Deltas and Traits},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {424--441},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_25},
doi = {10.1007/978-3-662-54494-5\_25},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/DamianiHKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DimovskiW17,
author = {Aleksandar S. Dimovski and
Andrzej Wasowski},
editor = {Marieke Huisman and
Julia Rubin},
title = {Variability-Specific Abstraction Refinement for Family-Based Model
Checking},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {406--423},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_24},
doi = {10.1007/978-3-662-54494-5\_24},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/DimovskiW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DiskinGC17,
author = {Zinovy Diskin and
Abel G{\'{o}}mez and
Jordi Cabot},
editor = {Marieke Huisman and
Julia Rubin},
title = {Traceability Mappings as a Fundamental Instrument in Model Transformations},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {247--263},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_14},
doi = {10.1007/978-3-662-54494-5\_14},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/DiskinGC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DomenechGJS17,
author = {Jes{\'{u}}s Dom{\'{e}}nech and
Samir Genaim and
Einar Broch Johnsen and
Rudolf Schlatte},
editor = {Marieke Huisman and
Julia Rubin},
title = {EasyInterface: {A} Toolkit for Rapid Development of GUIs for Research
Prototype Tools},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {379--383},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_22},
doi = {10.1007/978-3-662-54494-5\_22},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/DomenechGJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/Henda0LNSS17,
author = {Noomene Ben Henda and
Bj{\"{o}}rn Johansson and
Patrik Lantz and
Karl Norrman and
Pasi Saarinen and
Oskar Segersv{\"{a}}rd},
editor = {Marieke Huisman and
Julia Rubin},
title = {OpenSAW: Open Security Analysis Workbench},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {321--337},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_18},
doi = {10.1007/978-3-662-54494-5\_18},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/Henda0LNSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/HuY17,
author = {Raymond Hu and
Nobuko Yoshida},
editor = {Marieke Huisman and
Julia Rubin},
title = {Explicit Connection Actions in Multiparty Session Types},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {116--133},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_7},
doi = {10.1007/978-3-662-54494-5\_7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/HuY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/KristensenM17,
author = {Erik Krogh Kristensen and
Anders M{\o}ller},
editor = {Marieke Huisman and
Julia Rubin},
title = {Inference and Evolution of TypeScript Declaration Files},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {99--115},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_6},
doi = {10.1007/978-3-662-54494-5\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/KristensenM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LaraRRGIPC17,
author = {Juan de Lara and
Juri Di Rocco and
Davide Di Ruscio and
Esther Guerra and
Ludovico Iovino and
Alfonso Pierantonio and
Jes{\'{u}}s S{\'{a}}nchez Cuadrado},
editor = {Marieke Huisman and
Julia Rubin},
title = {Reusing Model Transformations Through Typing Requirements Models},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {264--282},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_15},
doi = {10.1007/978-3-662-54494-5\_15},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/LaraRRGIPC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LeblebiciAS17,
author = {Erhan Leblebici and
Anthony Anjorin and
Andy Sch{\"{u}}rr},
editor = {Marieke Huisman and
Julia Rubin},
title = {Inter-model Consistency Checking Using Triple Graph Grammars and Linear
Optimization Techniques},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {191--207},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_11},
doi = {10.1007/978-3-662-54494-5\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/LeblebiciAS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/MontaghamiR17,
author = {Vajih Montaghami and
Derek Rayside},
editor = {Marieke Huisman and
Julia Rubin},
title = {Bordeaux: {A} Tool for Thinking Outside the Box},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {22--39},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_2},
doi = {10.1007/978-3-662-54494-5\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/MontaghamiR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/PhamKRR17,
author = {Van{-}Thuan Pham and
Sakaar Khurana and
Subhajit Roy and
Abhik Roychoudhury},
editor = {Marieke Huisman and
Julia Rubin},
title = {Bucketing Failing Tests via Symbolic Analysis},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {43--59},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_3},
doi = {10.1007/978-3-662-54494-5\_3},
timestamp = {Tue, 03 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/PhamKRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/RiescoAA17,
author = {Adri{\'{a}}n Riesco and
Irina Mariuca Asavoae and
Mihail Asavoae},
editor = {Marieke Huisman and
Julia Rubin},
title = {Slicing from Formal Semantics: Chisel},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {374--378},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_21},
doi = {10.1007/978-3-662-54494-5\_21},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/RiescoAA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SahaG17,
author = {Ripon Saha and
Milos Gligoric},
editor = {Marieke Huisman and
Julia Rubin},
title = {Selective Bisection Debugging},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {60--77},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_4},
doi = {10.1007/978-3-662-54494-5\_4},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/SahaG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SchneiderLO17,
author = {Sven Schneider and
Leen Lambers and
Fernando Orejas},
editor = {Marieke Huisman and
Julia Rubin},
title = {Symbolic Model Generation for Graph Properties},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {226--243},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_13},
doi = {10.1007/978-3-662-54494-5\_13},
timestamp = {Wed, 05 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/SchneiderLO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/TaentzerOLR17,
author = {Gabriele Taentzer and
Manuel Ohrndorf and
Yngve Lamo and
Adrian Rutle},
editor = {Marieke Huisman and
Julia Rubin},
title = {Change-Preserving Model Repair},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {283--299},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_16},
doi = {10.1007/978-3-662-54494-5\_16},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/TaentzerOLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/UvaPRAF17,
author = {Marcelo Uva and
Pablo Ponzio and
Germ{\'{a}}n Regis and
Nazareno Aguirre and
Marcelo F. Frias},
editor = {Marieke Huisman and
Julia Rubin},
title = {Automated Workarounds from Java Program Specifications Based on {SAT}
Solving},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {356--373},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_20},
doi = {10.1007/978-3-662-54494-5\_20},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/UvaPRAF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/Wang0YP17,
author = {Jingyi Wang and
Jun Sun and
Qixia Yuan and
Jun Pang},
editor = {Marieke Huisman and
Julia Rubin},
title = {Should We Learn Probabilistic Models for Model Checking? {A} New Approach
and An Empirical Study},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {3--21},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_1},
doi = {10.1007/978-3-662-54494-5\_1},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/Wang0YP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ZschalerD17,
author = {Steffen Zschaler and
Francisco Dur{\'{a}}n},
editor = {Marieke Huisman and
Julia Rubin},
title = {{GTS} Families for the Flexible Composition of Graph Transformation
Systems},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {208--225},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_12},
doi = {10.1007/978-3-662-54494-5\_12},
timestamp = {Mon, 28 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/ZschalerD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2017,
editor = {Marieke Huisman and
Julia Rubin},
title = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5},
doi = {10.1007/978-3-662-54494-5},
isbn = {978-3-662-54493-8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-30 19:45 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
