![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
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
, 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.