default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSEFM 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, Sarah Grebing, Florian Böhl:
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, Jim Hanan:
Using Z in the Development and Maintenance of Computational Models of Real-World Systems. 36-53 - Akram Idani, Nicolas Stouls:
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, Lacramioara Dranca, José Merseguer:
Modelling and Verification of Survivability Requirements for Critical Systems. 86-100 - Elena Gómez-Martínez, Ricardo J. Rodríguez, Leire Etxeberria Elorza, Miren Illarramendi Rezabal, Clara Benac Earle:
Model-Based Verification of Safety Contracts. 101-115 - Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño:
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, Alexandre Madeira:
Modelling and Verifying Smell-Free Architectures with the Archery Language. 147-163 - Patrick Mukala, Antonio Cerone, Franco Turini:
OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities. 164-181 - Patrick Mukala, Antonio Cerone, Franco Turini:
Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives. 182-198
MoKMaSD 2014
- Debora Nozza, Daniele Maccagnola, Vincent Guigue, Enza Messina, Patrick Gallinari:
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, Antonio Cerone, Franco Turini:
An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities. 227-242 - Sheema Sameen, Roberto Barbuti, Paolo Milazzo, Antonio Cerone:
A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer. 243-258 - Cesar Augusto Nieto Coria, Luca Tesei, Giuseppe Scarcella, Tommaso Russo, Emanuela Merelli:
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, Salvatore Rinzivillo, Dino Pedreschi, Fosca Giannotti:
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, Armand Stefan Rotaru:
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, Artur Niewiadomski, Marcin Piatkowski, Sebastian Smyczynski:
On Generation of Context-Abstract Plans. 376-388 - José Antonio Mateo, Valentín Valero Ruiz, Hermenegilda Macià, Gregorio Díaz:
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 2025-11-08 22:07 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:
