default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sefm/sefm2014w.bht:"
download as .bib file
@proceedings{DBLP:conf/sefm/2014w,
editor = {Carlos Canal and
Akram Idani},
title = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15201-1},
doi = {10.1007/978-3-319-15201-1},
isbn = {978-3-319-15200-4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/2014w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BagheriSH14,
author = {Shahrzad Moeiniyan Bagheri and
Graeme Smith and
Jim Hanan},
editor = {Carlos Canal and
Akram Idani},
title = {Using {Z} in the Development and Maintenance of Computational Models
of Real-World Systems},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {36--53},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_3},
doi = {10.1007/978-3-319-15201-1\_3},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BagheriSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BeckertGB14,
author = {Bernhard Beckert and
Sarah Grebing and
Florian B{\"{o}}hl},
editor = {Carlos Canal and
Akram Idani},
title = {A Usability Evaluation of Interactive Theorem Provers Using Focus
Groups},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {3--19},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_1},
doi = {10.1007/978-3-319-15201-1\_1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BeckertGB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BernardiDM14,
author = {Simona Bernardi and
Lacramioara Dranca and
Jos{\'{e}} Merseguer},
editor = {Carlos Canal and
Akram Idani},
title = {Modelling and Verification of Survivability Requirements for Critical
Systems},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {86--100},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_6},
doi = {10.1007/978-3-319-15201-1\_6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BernardiDM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BiondiL14,
author = {Fabrizio Biondi and
Axel Legay},
editor = {Carlos Canal and
Akram Idani},
title = {Quantitative Anonymity Evaluation of Voting Protocols},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {335--349},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_22},
doi = {10.1007/978-3-319-15201-1\_22},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BiondiL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CeroneS14,
author = {Antonio Cerone and
Marco Scotti},
editor = {Carlos Canal and
Akram Idani},
title = {Research Challenges in Modelling Ecosystems},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {276--293},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_18},
doi = {10.1007/978-3-319-15201-1\_18},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CeroneS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CiobanuR14,
author = {Gabriel Ciobanu and
Armand Stefan Rotaru},
editor = {Carlos Canal and
Akram Idani},
title = {Phase-Type Approximations for Non-Markovian Systems: {A} Case Study},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {323--334},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_21},
doi = {10.1007/978-3-319-15201-1\_21},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/CiobanuR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CoriaTSRM14,
author = {Cesar Augusto Nieto Coria and
Luca Tesei and
Giuseppe Scarcella and
Tommaso Russo and
Emanuela Merelli},
editor = {Carlos Canal and
Akram Idani},
title = {Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {259--275},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_17},
doi = {10.1007/978-3-319-15201-1\_17},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CoriaTSRM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FredlundHM14,
author = {Lars{-}{\AA}ke Fredlund and
{\'{A}}ngel Herranz{-}Nieva and
Julio Mari{\~{n}}o},
editor = {Carlos Canal and
Akram Idani},
title = {A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent
Systems},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {116--130},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_8},
doi = {10.1007/978-3-319-15201-1\_8},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/FredlundHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GabrielliFGNR14,
author = {Lorenzo Gabrielli and
Barbara Furletti and
Fosca Giannotti and
Mirco Nanni and
Salvatore Rinzivillo},
editor = {Carlos Canal and
Akram Idani},
title = {Use of Mobile Phone Data to Estimate Visitors Mobility Flows},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {214--226},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_14},
doi = {10.1007/978-3-319-15201-1\_14},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/GabrielliFGNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Gomez-MartinezRERE14,
author = {Elena G{\'{o}}mez{-}Mart{\'{\i}}nez and
Ricardo J. Rodr{\'{\i}}guez and
Leire Etxeberria Elorza and
Miren Illarramendi Rezabal and
Clara Benac Earle},
editor = {Carlos Canal and
Akram Idani},
title = {Model-Based Verification of Safety Contracts},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {101--115},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_7},
doi = {10.1007/978-3-319-15201-1\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/Gomez-MartinezRERE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GuidottiMRPG14,
author = {Riccardo Guidotti and
Anna Monreale and
Salvatore Rinzivillo and
Dino Pedreschi and
Fosca Giannotti},
editor = {Carlos Canal and
Akram Idani},
title = {Retrieving Points of Interest from Human Systematic Movements},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {294--308},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_19},
doi = {10.1007/978-3-319-15201-1\_19},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/GuidottiMRPG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Ibing14,
author = {Andreas Ibing},
editor = {Carlos Canal and
Akram Idani},
title = {Path-Sensitive Race Detection with Partial Order Reduced Symbolic
Execution},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {311--322},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_20},
doi = {10.1007/978-3-319-15201-1\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/Ibing14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/IdaniS14,
author = {Akram Idani and
Nicolas Stouls},
editor = {Carlos Canal and
Akram Idani},
title = {When a Formal Model Rhymes with a Graphical Notation},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {54--68},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_4},
doi = {10.1007/978-3-319-15201-1\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/IdaniS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/JacobsS14,
author = {Jaco Jacobs and
Andrew C. Simpson},
editor = {Carlos Canal and
Akram Idani},
title = {On a Process Algebraic Representation of Sequence Diagrams},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {71--85},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_5},
doi = {10.1007/978-3-319-15201-1\_5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/JacobsS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LadenbergerDL14,
author = {Lukas Ladenberger and
Ivaylo Dobrikov and
Michael Leuschel},
editor = {Carlos Canal and
Akram Idani},
title = {An Approach for Creating Domain Specific Visualisations of {CSP} Models},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {20--35},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_2},
doi = {10.1007/978-3-319-15201-1\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/LadenbergerDL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LegayST14,
author = {Axel Legay and
Sean Sedwards and
Louis{-}Marie Traonouez},
editor = {Carlos Canal and
Akram Idani},
title = {Scalable Verification of Markov Decision Processes},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {350--362},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_23},
doi = {10.1007/978-3-319-15201-1\_23},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/LegayST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/MateoRMD14,
author = {Jos{\'{e}} Antonio Mateo and
Valent{\'{\i}}n Valero Ruiz and
Hermenegilda Maci{\`{a}} and
Gregorio D{\'{\i}}az},
editor = {Carlos Canal and
Akram Idani},
title = {A Coloured Petri Net Approach to Model and Analyse Stateful Workflows
Based on {WS-BPEL} and {WSRF}},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {389--404},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_26},
doi = {10.1007/978-3-319-15201-1\_26},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/MateoRMD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/MikulskiNPS14,
author = {Lukasz Mikulski and
Artur Niewiadomski and
Marcin Piatkowski and
Sebastian Smyczynski},
editor = {Carlos Canal and
Akram Idani},
title = {On Generation of Context-Abstract Plans},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {376--388},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_25},
doi = {10.1007/978-3-319-15201-1\_25},
timestamp = {Mon, 16 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/MikulskiNPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/MukalaCT14,
author = {Patrick Mukala and
Antonio Cerone and
Franco Turini},
editor = {Carlos Canal and
Akram Idani},
title = {OntoLiFLOSS: Ontology for Learning Processes in {FLOSS} Communities},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {164--181},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_11},
doi = {10.1007/978-3-319-15201-1\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/MukalaCT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/MukalaCT14a,
author = {Patrick Mukala and
Antonio Cerone and
Franco Turini},
editor = {Carlos Canal and
Akram Idani},
title = {Process Mining Event Logs from {FLOSS} Data: State of the Art and
Perspectives},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {182--198},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_12},
doi = {10.1007/978-3-319-15201-1\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/MukalaCT14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/MukalaCT14b,
author = {Patrick Mukala and
Antonio Cerone and
Franco Turini},
editor = {Carlos Canal and
Akram Idani},
title = {An Abstract State Machine {(ASM)} Representation of Learning Process
in {FLOSS} Communities},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {227--242},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_15},
doi = {10.1007/978-3-319-15201-1\_15},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/MukalaCT14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/NozzaMGMG14,
author = {Debora Nozza and
Daniele Maccagnola and
Vincent Guigue and
Enza Messina and
Patrick Gallinari},
editor = {Carlos Canal and
Akram Idani},
title = {A Latent Representation Model for Sentiment Analysis in Heterogeneous
Social Networks},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {201--213},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_13},
doi = {10.1007/978-3-319-15201-1\_13},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/NozzaMGMG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/PinchinatAV14,
author = {Sophie Pinchinat and
Mathieu Acher and
Didier Vojtisek},
editor = {Carlos Canal and
Akram Idani},
title = {Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk
Analysis},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {363--375},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_24},
doi = {10.1007/978-3-319-15201-1\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/PinchinatAV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Provan14,
author = {Gregory M. Provan},
editor = {Carlos Canal and
Akram Idani},
title = {A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {131--143},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_9},
doi = {10.1007/978-3-319-15201-1\_9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/Provan14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SameenBMC14,
author = {Sheema Sameen and
Roberto Barbuti and
Paolo Milazzo and
Antonio Cerone},
editor = {Carlos Canal and
Akram Idani},
title = {A Mathematical Model for Assessing {KRAS} Mutation Effect on Monoclonal
Antibody Treatment of Colorectal Cancer},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {243--258},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_16},
doi = {10.1007/978-3-319-15201-1\_16},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/SameenBMC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SanchezBM14,
author = {Alejandro Sanchez and
Lu{\'{\i}}s Soares Barbosa and
Alexandre Madeira},
editor = {Carlos Canal and
Akram Idani},
title = {Modelling and Verifying Smell-Free Architectures with the Archery
Language},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {147--163},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_10},
doi = {10.1007/978-3-319-15201-1\_10},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/SanchezBM14.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-24 03:21 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:
