Search 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}
}
@inproceedings{DBLP:conf/sefm/BagheriSH14,
  author    = {Shahrzad Moeiniyan Bagheri and
               Graeme Smith and
               Jim Hanan},
  title     = {Using {Z} in the Development and Maintenance of Computational Models
               of Real-World Systems},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {36--53},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/BeckertGB14,
  author    = {Bernhard Beckert and
               Sarah Grebing and
               Florian B{\"{o}}hl},
  title     = {A Usability Evaluation of Interactive Theorem Provers Using Focus
               Groups},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {3--19},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/BernardiDM14,
  author    = {Simona Bernardi and
               Lacramioara Dranca and
               Jos{\'{e}} Merseguer},
  title     = {Modelling and Verification of Survivability Requirements for Critical
               Systems},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {86--100},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/BiondiL14,
  author    = {Fabrizio Biondi and
               Axel Legay},
  title     = {Quantitative Anonymity Evaluation of Voting Protocols},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {335--349},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/CeroneS14,
  author    = {Antonio Cerone and
               Marco Scotti},
  title     = {Research Challenges in Modelling Ecosystems},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {276--293},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/CiobanuR14,
  author    = {Gabriel Ciobanu and
               Armand Stefan Rotaru},
  title     = {Phase-Type Approximations for Non-Markovian Systems: {A} Case Study},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {323--334},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/CoriaTSRM14,
  author    = {Cesar Augusto Nieto Coria and
               Luca Tesei and
               Giuseppe Scarcella and
               Tommaso Russo and
               Emanuela Merelli},
  title     = {Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {259--275},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/FredlundHM14,
  author    = {Lars{-}{\AA}ke Fredlund and
               {\'{A}}ngel Herranz{-}Nieva and
               Julio Mari{\~{n}}o},
  title     = {A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent
               Systems},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {116--130},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/GabrielliFGNR14,
  author    = {Lorenzo Gabrielli and
               Barbara Furletti and
               Fosca Giannotti and
               Mirco Nanni and
               Salvatore Rinzivillo},
  title     = {Use of Mobile Phone Data to Estimate Visitors Mobility Flows},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {214--226},
  publisher = {Springer},
  year      = {2014}
}
@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},
  title     = {Model-Based Verification of Safety Contracts},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {101--115},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/GuidottiMRPG14,
  author    = {Riccardo Guidotti and
               Anna Monreale and
               Salvatore Rinzivillo and
               Dino Pedreschi and
               Fosca Giannotti},
  title     = {Retrieving Points of Interest from Human Systematic Movements},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {294--308},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/Ibing14,
  author    = {Andreas Ibing},
  title     = {Path-Sensitive Race Detection with Partial Order Reduced Symbolic
               Execution},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {311--322},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/IdaniS14,
  author    = {Akram Idani and
               Nicolas Stouls},
  title     = {When a Formal Model Rhymes with a Graphical Notation},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {54--68},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/JacobsS14,
  author    = {Jaco Jacobs and
               Andrew C. Simpson},
  title     = {On a Process Algebraic Representation of Sequence Diagrams},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {71--85},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/LadenbergerDL14,
  author    = {Lukas Ladenberger and
               Ivaylo Dobrikov and
               Michael Leuschel},
  title     = {An Approach for Creating Domain Specific Visualisations of {CSP} Models},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {20--35},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/LegayST14,
  author    = {Axel Legay and
               Sean Sedwards and
               Louis{-}Marie Traonouez},
  title     = {Scalable Verification of Markov Decision Processes},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {350--362},
  publisher = {Springer},
  year      = {2014}
}
@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},
  title     = {A Coloured Petri Net Approach to Model and Analyse Stateful Workflows
               Based on {WS-BPEL} and {WSRF}},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {389--404},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/MikulskiNPS14,
  author    = {Lukasz Mikulski and
               Artur Niewiadomski and
               Marcin Piatkowski and
               Sebastian Smyczynski},
  title     = {On Generation of Context-Abstract Plans},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {376--388},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/MukalaCT14,
  author    = {Patrick Mukala and
               Antonio Cerone and
               Franco Turini},
  title     = {OntoLiFLOSS: Ontology for Learning Processes in {FLOSS} Communities},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {164--181},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/MukalaCT14a,
  author    = {Patrick Mukala and
               Antonio Cerone and
               Franco Turini},
  title     = {Process Mining Event Logs from {FLOSS} Data: State of the Art and
               Perspectives},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {182--198},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/MukalaCT14b,
  author    = {Patrick Mukala and
               Antonio Cerone and
               Franco Turini},
  title     = {An Abstract State Machine {(ASM)} Representation of Learning Process
               in {FLOSS} Communities},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {227--242},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/NozzaMGMG14,
  author    = {Debora Nozza and
               Daniele Maccagnola and
               Vincent Guigue and
               Enza Messina and
               Patrick Gallinari},
  title     = {A Latent Representation Model for Sentiment Analysis in Heterogeneous
               Social Networks},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {201--213},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/PinchinatAV14,
  author    = {Sophie Pinchinat and
               Mathieu Acher and
               Didier Vojtisek},
  title     = {Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk
               Analysis},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {363--375},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/Provan14,
  author    = {Gregory M. Provan},
  title     = {A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {131--143},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/SameenBMC14,
  author    = {Sheema Sameen and
               Roberto Barbuti and
               Paolo Milazzo and
               Antonio Cerone},
  title     = {A Mathematical Model for Assessing {KRAS} Mutation Effect on Monoclonal
               Antibody Treatment of Colorectal Cancer},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {243--258},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sefm/SanchezBM14,
  author    = {Alejandro Sanchez and
               Lu{\'{\i}}s Soares Barbosa and
               Alexandre Madeira},
  title     = {Modelling and Verifying Smell-Free Architectures with the Archery
               Language},
  booktitle = {{SEFM} Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  pages     = {147--163},
  publisher = {Springer},
  year      = {2014}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics