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/fsen/fsen2017.bht:"
download as .bib file
@inproceedings{DBLP:conf/fsen/AccattoliG17,
author = {Beniamino Accattoli and
Giulio Guerrieri},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Implementing Open Call-by-Value},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {1--19},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_1},
doi = {10.1007/978-3-319-68972-2\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/AccattoliG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BarbonLS17,
author = {Gianluca Barbon and
Vincent Leroy and
Gwen Sala{\"{u}}n},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Debugging of Concurrent Systems Using Counterexample Analysis},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {20--34},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_2},
doi = {10.1007/978-3-319-68972-2\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/BarbonLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BidgoliHNS17,
author = {Atieh Monemi Bidgoli and
Hassan Haghighi and
Tahereh Zohdi Nasab and
Hamideh Sabouri},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Using Swarm Intelligence to Generate Test Data for Covering Prime
Paths},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {132--147},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_9},
doi = {10.1007/978-3-319-68972-2\_9},
timestamp = {Thu, 12 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/BidgoliHNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BonchiLR17,
author = {Filippo Bonchi and
Matias David Lee and
Jurriaan Rot},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Bisimilarity of Open Terms in Stream {GSOS}},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {35--50},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_3},
doi = {10.1007/978-3-319-68972-2\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/BonchiLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/CledouPB17,
author = {Guillermina Cledou and
Jos{\'{e}} Proen{\c{c}}a and
Lu{\'{\i}}s Soares Barbosa},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Composing Families of Timed Automata},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {51--66},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_4},
doi = {10.1007/978-3-319-68972-2\_4},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/CledouPB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/DamianiLP17,
author = {Ferruccio Damiani and
Michael Lienhardt and
Luca Paolini},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {A Formal Model for Multi SPLs},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {67--83},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_5},
doi = {10.1007/978-3-319-68972-2\_5},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/DamianiLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/GkolfiDJSY17,
author = {Anastasia Gkolfi and
Crystal Chang Din and
Einar Broch Johnsen and
Martin Steffen and
Ingrid Chieh Yu},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Translating Active Objects into Colored Petri Nets for Communication
Analysis},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {84--99},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_6},
doi = {10.1007/978-3-319-68972-2\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/GkolfiDJSY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/HoushmandP17,
author = {Mahdi Houshmand and
Samad Paydar},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {{TCE+:} An Extension of the {TCE} Method for Detecting Equivalent
Mutants in Java Programs},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {164--179},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_11},
doi = {10.1007/978-3-319-68972-2\_11},
timestamp = {Thu, 12 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/HoushmandP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/KlinkhamerE17,
author = {Alex P. Klinkhamer and
Ali Ebnenasir},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Synthesizing Parameterized Self-stabilizing Rings with Constant-Space
Processes},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {100--115},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_7},
doi = {10.1007/978-3-319-68972-2\_7},
timestamp = {Thu, 25 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/KlinkhamerE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/Kuhn17,
author = {Eva K{\"{u}}hn},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Flexible Transactional Coordination in the Peer Model},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {116--131},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_8},
doi = {10.1007/978-3-319-68972-2\_8},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/Kuhn17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/ParsaiMD17,
author = {Ali Parsai and
Alessandro Murgia and
Serge Demeyer},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {LittleDarwin: {A} Feature-Rich and Extensible Mutation Testing Framework
for Large and Complex Java Systems},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {148--163},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_10},
doi = {10.1007/978-3-319-68972-2\_10},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/ParsaiMD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/ProencaB17,
author = {Jos{\'{e}} Proen{\c{c}}a and
Carlos Baquero},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Quality-Aware Reactive Programming for the Internet of Things},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {180--195},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_12},
doi = {10.1007/978-3-319-68972-2\_12},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/ProencaB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/RiahiKG17,
author = {Shahrzad Riahi and
Ramtin Khosravi and
Fatemeh Ghassemi},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Purpose-Based Policy Enforcement in Actor-Based Systems},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {196--211},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_13},
doi = {10.1007/978-3-319-68972-2\_13},
timestamp = {Thu, 12 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/RiahiKG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/Sabahi-KavianiG17,
author = {Zeynab Sabahi{-}Kaviani and
Fatemeh Ghassemi and
Fateme Bajelan},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Automatic Transition System Model Identification for Network Applications
from Packet Traces},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {212--227},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_14},
doi = {10.1007/978-3-319-68972-2\_14},
timestamp = {Thu, 12 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/Sabahi-KavianiG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/TaromiradM17,
author = {Masoumeh Taromirad and
Mohammad Reza Mousavi},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Gray-Box Conformance Testing for Symbolic Reactive State Machines},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {228--243},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_15},
doi = {10.1007/978-3-319-68972-2\_15},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/TaromiradM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/TimmGS17,
author = {Nils Timm and
Stefan Gruner and
Prince Sibanda},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Model Checking of Concurrent Software Systems via Heuristic-Guided
{SAT} Solving},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {244--259},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_16},
doi = {10.1007/978-3-319-68972-2\_16},
timestamp = {Thu, 12 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/TimmGS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2017,
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2},
doi = {10.1007/978-3-319-68972-2},
isbn = {978-3-319-68971-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/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-29 06:01 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:
