default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sefm/sefm2017w.bht:"
download as .bib file
@proceedings{DBLP:conf/sefm/2017w,
editor = {Antonio Cerone and
Marco Roveri},
title = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-74781-1},
doi = {10.1007/978-3-319-74781-1},
isbn = {978-3-319-74780-4},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/2017w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AndreiC17,
author = {Oana Andrei and
Muffy Calder},
editor = {Antonio Cerone and
Marco Roveri},
title = {Temporal Analytics for Software Usage Models},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {9--24},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_1},
doi = {10.1007/978-3-319-74781-1\_1},
timestamp = {Mon, 15 Jun 2020 17:05:45 +0200},
biburl = {https://dblp.org/rec/conf/sefm/AndreiC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BackenkohlerW17,
author = {Michael Backenk{\"{o}}hler and
Verena Wolf},
editor = {Antonio Cerone and
Marco Roveri},
title = {Student Performance Prediction and Optimal Course Selection: An {MDP}
Approach},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {40--47},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_3},
doi = {10.1007/978-3-319-74781-1\_3},
timestamp = {Mon, 05 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BackenkohlerW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BasileGG17,
author = {Davide Basile and
Felicita Di Giandomenico and
Stefania Gnesi},
editor = {Antonio Cerone and
Marco Roveri},
title = {A Refinement Approach to Analyse Critical Cyber-Physical Systems},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {267--283},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_19},
doi = {10.1007/978-3-319-74781-1\_19},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BasileGG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BianchiPV17,
author = {Alessandro Bianchi and
Sebastiano Pizzutilo and
Gennaro Vessio},
editor = {Antonio Cerone and
Marco Roveri},
title = {Intercepting Blackhole Attacks in MANETs: An ASM-based Model},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {137--152},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_10},
doi = {10.1007/978-3-319-74781-1\_10},
timestamp = {Tue, 13 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BianchiPV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BrocciaMO17,
author = {Giovanna Broccia and
Paolo Milazzo and
Peter Csaba {\"{O}}lveczky},
editor = {Antonio Cerone and
Marco Roveri},
title = {An Algorithm for Simulating Human Selective Attention},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {48--55},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_4},
doi = {10.1007/978-3-319-74781-1\_4},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BrocciaMO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BrogiCNRS17,
author = {Antonio Brogi and
Andrea Canciani and
Davide Neri and
Luca Rinaldi and
Jacopo Soldani},
editor = {Antonio Cerone and
Marco Roveri},
title = {Towards a Reference Dataset of Microservice-Based Applications},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {219--229},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_16},
doi = {10.1007/978-3-319-74781-1\_16},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BrogiCNRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BrogiNRS17,
author = {Antonio Brogi and
Davide Neri and
Luca Rinaldi and
Jacopo Soldani},
editor = {Antonio Cerone and
Marco Roveri},
title = {From (Incomplete) {TOSCA} Specifications to Running Applications,
with Docker},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {491--506},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_33},
doi = {10.1007/978-3-319-74781-1\_33},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BrogiNRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BugaN17,
author = {Andreea Buga and
Sorana Tania Nemes},
editor = {Antonio Cerone and
Marco Roveri},
title = {Formalizing Monitoring Processes for Large-Scale Distributed Systems
Using Abstract State Machines},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {153--167},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_11},
doi = {10.1007/978-3-319-74781-1\_11},
timestamp = {Mon, 05 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BugaN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CamaraPGS17,
author = {Javier C{\'{a}}mara and
Wenxin Peng and
David Garlan and
Bradley R. Schmerl},
editor = {Antonio Cerone and
Marco Roveri},
title = {Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {523--540},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_35},
doi = {10.1007/978-3-319-74781-1\_35},
timestamp = {Mon, 05 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/CamaraPGS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CamilliBC17,
author = {Matteo Camilli and
Carlo Bellettini and
Lorenzo Capra},
editor = {Antonio Cerone and
Marco Roveri},
title = {Design-Time to Run-Time Verification of Microservices Based Applications
- (Short Paper)},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {168--173},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_12},
doi = {10.1007/978-3-319-74781-1\_12},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CamilliBC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CamilliBCM17,
author = {Matteo Camilli and
Carlo Bellettini and
Lorenzo Capra and
Mattia Monga},
editor = {Antonio Cerone and
Marco Roveri},
title = {A Formal Framework for Specifying and Verifying Microservices Based
Process Flows},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {187--202},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_14},
doi = {10.1007/978-3-319-74781-1\_14},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CamilliBCM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CarmichaelM17,
author = {Peter Carmichael and
Charles Morisset},
editor = {Antonio Cerone and
Marco Roveri},
title = {Learning Decision Trees from Synthetic Data Models for Human Security
Behaviour},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {56--71},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_5},
doi = {10.1007/978-3-319-74781-1\_5},
timestamp = {Mon, 05 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/CarmichaelM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CasadeiAV17,
author = {Roberto Casadei and
Alessandro Aldini and
Mirko Viroli},
editor = {Antonio Cerone and
Marco Roveri},
title = {Combining Trust and Aggregate Computing},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {507--522},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_34},
doi = {10.1007/978-3-319-74781-1\_34},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/CasadeiAV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CastagnariBFJS17,
author = {Carlo Castagnari and
Jacopo de Berardinis and
Giorgio Forcina and
Ali Jafari and
Marjan Sirjani},
editor = {Antonio Cerone and
Marco Roveri},
title = {Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility
Initiatives},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {541--557},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_36},
doi = {10.1007/978-3-319-74781-1\_36},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CastagnariBFJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CoutoBRMHL17,
author = {Lu{\'{\i}}s Diogo Couto and
Stylianos Basagiannis and
El Hassan Ridouane and
Alie El{-}Din Mady and
Miran Hasanagic and
Peter Gorm Larsen},
editor = {Antonio Cerone and
Marco Roveri},
title = {Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical
Systems},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {284--299},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_20},
doi = {10.1007/978-3-319-74781-1\_20},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CoutoBRMHL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DAndreagiovanni17,
author = {Michele D'Andreagiovanni and
Fabrizio Baiardi and
Jacopo Lipilini and
Salvatore Ruggieri and
Federico Tonelli},
editor = {Antonio Cerone and
Marco Roveri},
title = {Sequential Pattern Mining for {ICT} Risk Assessment and Prevention},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {25--39},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_2},
doi = {10.1007/978-3-319-74781-1\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/DAndreagiovanni17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DomeniciFP17,
author = {Andrea Domenici and
Adriano Fagiolini and
Maurizio Palmieri},
editor = {Antonio Cerone and
Marco Roveri},
title = {Integrated Simulation and Formal Verification of a Simple Autonomous
Vehicle},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {300--314},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_21},
doi = {10.1007/978-3-319-74781-1\_21},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/DomeniciFP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/EngelCS17,
author = {Georg P. Engel and
Ajay Sathya Chakkaravarthy and
Gerald Schweiger},
editor = {Antonio Cerone and
Marco Roveri},
title = {Co-simulation Between Trnsys and Simulink Based on Type155},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {315--329},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_22},
doi = {10.1007/978-3-319-74781-1\_22},
timestamp = {Tue, 18 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/EngelCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/EngelenburgJK17,
author = {S{\'{e}}linde van Engelenburg and
Marijn Janssen and
Bram Klievink},
editor = {Antonio Cerone and
Marco Roveri},
title = {What Belongs to Context? - {A} Definition, a Criterion and a Method
for Deciding on What Context-Aware Systems Should Sense and Adapt
to},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {101--116},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_8},
doi = {10.1007/978-3-319-74781-1\_8},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/EngelenburgJK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FoldagerLG17,
author = {Frederik F. Foldager and
Peter Gorm Larsen and
Ole Green},
editor = {Antonio Cerone and
Marco Roveri},
title = {Development of a Driverless Lawn Mower Using Co-simulation},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {330--344},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_23},
doi = {10.1007/978-3-319-74781-1\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/FoldagerLG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Garriga17,
author = {Martin Garriga},
editor = {Antonio Cerone and
Marco Roveri},
title = {Towards a Taxonomy of Microservices Architectures},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {203--218},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_15},
doi = {10.1007/978-3-319-74781-1\_15},
timestamp = {Mon, 05 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Garriga17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GomesKNV17,
author = {Cl{\'{a}}udio Gomes and
Paschalis Karalis and
Eva M. Navarro{-}L{\'{o}}pez and
Hans Vangheluwe},
editor = {Antonio Cerone and
Marco Roveri},
title = {Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {345--360},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_24},
doi = {10.1007/978-3-319-74781-1\_24},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/GomesKNV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GriffioenCH17,
author = {Paul Griffioen and
Rob Christiaanse and
Joris Hulstijn},
editor = {Antonio Cerone and
Marco Roveri},
title = {Controlling Production Variances in Complex Business Processes},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {72--85},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_6},
doi = {10.1007/978-3-319-74781-1\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/GriffioenCH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HongNZLS17,
author = {Weijiang Hong and
M. Saqib Nawaz and
Xiyue Zhang and
Yi Li and
Meng Sun},
editor = {Antonio Cerone and
Marco Roveri},
title = {Using Coq for Formal Modeling and Verification of Timed Connectors},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {558--573},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_37},
doi = {10.1007/978-3-319-74781-1\_37},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/HongNZLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/JacksonF17,
author = {Mark Jackson and
John S. Fitzgerald},
editor = {Antonio Cerone and
Marco Roveri},
title = {Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical
Systems},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {361--376},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_25},
doi = {10.1007/978-3-319-74781-1\_25},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/JacksonF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/KuhnR17,
author = {Eva K{\"{u}}hn and
Sophie Therese Radschek},
editor = {Antonio Cerone and
Marco Roveri},
title = {An Initial User Study Comparing the Readability of a Graphical Coordination
Model with Event-B Notation},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {574--590},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_38},
doi = {10.1007/978-3-319-74781-1\_38},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/KuhnR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LarsenFWGPP17,
author = {Peter Gorm Larsen and
John S. Fitzgerald and
Jim Woodcock and
Carl Gamble and
Richard John Payne and
Kenneth Pierce},
editor = {Antonio Cerone and
Marco Roveri},
title = {Features of Integrated Model-Based Co-modelling and Co-simulation
Technology},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {377--390},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_26},
doi = {10.1007/978-3-319-74781-1\_26},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/LarsenFWGPP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LuTCW17,
author = {Jinzhi Lu and
Martin T{\"{o}}rngren and
De{-}Jiu Chen and
Jian Wang},
editor = {Antonio Cerone and
Marco Roveri},
title = {A Tool Integration Language to Formalize Co-simulation Tool-Chains
for Cyber-Physical System {(CPS)}},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {391--405},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_27},
doi = {10.1007/978-3-319-74781-1\_27},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/LuTCW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/MasonNTB17,
author = {Ian A. Mason and
Vivek Nigam and
Carolyn L. Talcott and
Alisson Vasconcelos de Brito},
editor = {Antonio Cerone and
Marco Roveri},
title = {A Framework for Analyzing Adaptive Autonomous Aerial Vehicles},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {406--422},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_28},
doi = {10.1007/978-3-319-74781-1\_28},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/MasonNTB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/NailySMA17,
author = {Moh. Afifun Naily and
Maya Retno Ayu Setyautami and
Radu Muschevici and
Ade Azurat},
editor = {Antonio Cerone and
Marco Roveri},
title = {A Framework for Modelling Variable Microservices as Software Product
Lines},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {246--261},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_18},
doi = {10.1007/978-3-319-74781-1\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/NailySMA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Nakajima17,
author = {Shin Nakajima},
editor = {Antonio Cerone and
Marco Roveri},
title = {Generalized Oracle for Testing Machine Learning Computer Programs},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {174--179},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_13},
doi = {10.1007/978-3-319-74781-1\_13},
timestamp = {Fri, 23 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Nakajima17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/NastiM17,
author = {Lucia Nasti and
Paolo Milazzo},
editor = {Antonio Cerone and
Marco Roveri},
title = {A Computational Model of Internet Addiction Phenomena in Social Networks},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {86--100},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_7},
doi = {10.1007/978-3-319-74781-1\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/NastiM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/OliveiraDP17,
author = {Patr{\'{\i}}cia Ara{\'{u}}jo de Oliveira and
Francisco Dur{\'{a}}n and
Ernesto Pimentel},
editor = {Antonio Cerone and
Marco Roveri},
title = {Towards the Performance Analysis of Elastic Systems with e-Motions},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {475--490},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_32},
doi = {10.1007/978-3-319-74781-1\_32},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/OliveiraDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/PalmieriBM17,
author = {Maurizio Palmieri and
Cinzia Bernardeschi and
Paolo Masci},
editor = {Antonio Cerone and
Marco Roveri},
title = {Co-simulation of Semi-autonomous Systems: The Line Follower Robot
Case Study},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {423--437},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_29},
doi = {10.1007/978-3-319-74781-1\_29},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/PalmieriBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/PazzagliaNBS17,
author = {Paolo Pazzaglia and
Marco Di Natale and
Giorgio C. Buttazzo and
Matteo Secchiari},
editor = {Antonio Cerone and
Marco Roveri},
title = {A Framework for the Co-simulation of Engine Controls and Task Scheduling},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {438--452},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_30},
doi = {10.1007/978-3-319-74781-1\_30},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/PazzagliaNBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/RademacherSZ17,
author = {Florian Rademacher and
Sabine Sachweh and
Albert Z{\"{u}}ndorf},
editor = {Antonio Cerone and
Marco Roveri},
title = {Towards a {UML} Profile for Domain-Driven Design of Microservice Architectures},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {230--245},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_17},
doi = {10.1007/978-3-319-74781-1\_17},
timestamp = {Tue, 13 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/RademacherSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ZakirzyanovSU17,
author = {Ilya Zakirzyanov and
Anatoly Shalyto and
Vladimir Ulyantsev},
editor = {Antonio Cerone and
Marco Roveri},
title = {Finding All Minimum-Size {DFA} Consistent with Given Examples: SAT-Based
Approach},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {117--131},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_9},
doi = {10.1007/978-3-319-74781-1\_9},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/ZakirzyanovSU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ZeydaOFC17,
author = {Frank Zeyda and
Julien Ouy and
Simon Foster and
Ana Cavalcanti},
editor = {Antonio Cerone and
Marco Roveri},
title = {Formalising Cosimulation Models},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {453--468},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_31},
doi = {10.1007/978-3-319-74781-1\_31},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/ZeydaOFC17.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.
retrieved on 2024-09-23 09: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:
