default search action
SEFM Workshops 2014: Grenoble, France
- Carlos Canal
, Akram Idani
Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8938, Springer 2015, ISBN 978-3-319-15200-4
HOFM 2014
- Bernhard Beckert
A Usability Evaluation of Interactive Theorem Provers Using Focus Groups. 3-19 - Lukas Ladenberger, Ivaylo Dobrikov, Michael Leuschel:
An Approach for Creating Domain Specific Visualisations of CSP Models. 20-35 - Shahrzad Moeiniyan Bagheri, Graeme Smith
Using Z in the Development and Maintenance of Computational Models of Real-World Systems. 36-53 - Akram Idani
When a Formal Model Rhymes with a Graphical Notation. 54-68
SaFoMe 2014
- Jaco Jacobs, Andrew C. Simpson
On a Process Algebraic Representation of Sequence Diagrams. 71-85 - Simona Bernardi
Modelling and Verification of Survivability Requirements for Critical Systems. 86-100 - Elena Gómez-Martínez
Model-Based Verification of Safety Contracts. 101-115 - Lars-Åke Fredlund
A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems. 116-130 - Gregory M. Provan
A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics. 131-143
OpenCert 2014
- Alejandro Sanchez, Luís Soares Barbosa
Modelling and Verifying Smell-Free Architectures with the Archery Language. 147-163 - Patrick Mukala
OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities. 164-181 - Patrick Mukala
Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives. 182-198
MoKMaSD 2014
- Debora Nozza
A Latent Representation Model for Sentiment Analysis in Heterogeneous Social Networks. 201-213 - Lorenzo Gabrielli, Barbara Furletti, Fosca Giannotti, Mirco Nanni, Salvatore Rinzivillo
Use of Mobile Phone Data to Estimate Visitors Mobility Flows. 214-226 - Patrick Mukala
An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities. 227-242 - Sheema Sameen, Roberto Barbuti, Paolo Milazzo
A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer. 243-258 - Cesar Augusto Nieto Coria, Luca Tesei
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea. 259-275 - Antonio Cerone, Marco Scotti
Research Challenges in Modelling Ecosystems. 276-293 - Riccardo Guidotti, Anna Monreale
Retrieving Points of Interest from Human Systematic Movements. 294-308
WS-FMDS 2014
- Andreas Ibing:
Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution. 311-322 - Gabriel Ciobanu
Phase-Type Approximations for Non-Markovian Systems: A Case Study. 323-334 - Fabrizio Biondi, Axel Legay:
Quantitative Anonymity Evaluation of Voting Protocols. 335-349 - Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Scalable Verification of Markov Decision Processes. 350-362 - Sophie Pinchinat, Mathieu Acher, Didier Vojtisek:
Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis. 363-375 - Lukasz Mikulski
On Generation of Context-Abstract Plans. 376-388 - José Antonio Mateo, Valentín Valero Ruiz
A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. 389-404
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.
last updated on 2024-12-19 22:18 CET 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: