| 2014 | A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer. | Sheema Sameen, Roberto Barbuti, Paolo Milazzo, Antonio Cerone |
| 2014 | Execution and Verification of UML State Machines with Erlang. | Ricardo J. Rodrguez, Lars-ke Fredlund, ngel Herranz-Nieva, Julio Mario |
| 2014 | Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie. | Robert Reicherdt, Sabine Glesner |
| 2014 | Effect-Polymorphic Behaviour Inference for Deadlock Checking. | Ka I Pun, Martin Steffen, Volker Stolz |
| 2014 | A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics. | Gregory M. Provan |
| 2014 | Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis. | Sophie Pinchinat, Mathieu Acher, Didier Vojtisek |
| 2014 | A Formal Privacy Policy Framework for Social Networks. | Ral Pardo, Gerardo Schneider |
| 2014 | A Latent Representation Model for Sentiment Analysis in Heterogeneous Social Networks. | Debora Nozza, Daniele Maccagnola, Vincent Guigue, Enza Messina, Patrick Gallinari |
| 2014 | An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities. | Patrick Mukala, Antonio Cerone, Franco Turini |
| 2014 | Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives. | Patrick Mukala, Antonio Cerone, Franco Turini |
| 2014 | OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities. | Patrick Mukala, Antonio Cerone, Franco Turini |
| 2014 | Rapid Prototyping of a Semantically Well Founded Circus Model Checker. | Alexandre Mota, Adalberto Farias, Andr Didier, Jim Woodcock |
| 2014 | On Generation of Context-Abstract Plans. | Lukasz Mikulski, Artur Niewiadomski, Marcin Piatkowski, Sebastian Smyczynski |
| 2014 | A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. | Jos Antonio Mateo, Valentn Valero Ruiz, Hermenegilda Maci, Gregorio Daz |
| 2014 | A Thread-Safe Library for Binary Decision Diagrams. | Alberto Lovato, Damiano Macedonio, Fausto Spoto |
| 2014 | Formal Proofs of Code Generation and Verification Tools. | Xavier Leroy |
| 2014 | Scalable Verification of Markov Decision Processes. | Axel Legay, Sean Sedwards, Louis-Marie Traonouez |
| 2014 | Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. | Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frdric Migeon, Ahmed Hadj Kacem |
| 2014 | An Approach for Creating Domain Specific Visualisations of CSP Models. | Lukas Ladenberger, Ivaylo Dobrikov, Michael Leuschel |
| 2014 | A Toolset for Support of Teaching Formal Software Development. | Stefan Korecko, Jn Sord, Zuzana Dudlkov, Branislav Sobota |
| 2014 | Formalizing DSL Semantics for Reasoning and Conformance Testing. | Sarmen Keshishzadeh, Arjan J. Mooij |
| 2014 | On a Process Algebraic Representation of Sequence Diagrams. | Jaco Jacobs, Andrew C. Simpson |
| 2014 | When a Formal Model Rhymes with a Graphical Notation. | Akram Idani, Nicolas Stouls |
| 2014 | Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution. | Andreas Ibing |
| 2014 | More Flexible Object Invariants with Less Specification Overhead. | Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jrgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel |