default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th ICFEM 2015: Paris, France
- Michael J. Butler
, Sylvain Conchon, Fatiha Zaïdi:
Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Lecture Notes in Computer Science 9407, Springer 2015, ISBN 978-3-319-25422-7 - Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata:
Domain-Specific Languages with Scala. 1-16 - Sylvie Boldo:
Formal Verification of Programs Computing the Floating-Point Average. 17-32 - Hiroyuki Yoshida, Kazuhiro Ogata, Kokichi Futatsugi:
Formalization and Verification of Declarative Cloud Orchestration. 33-49 - Thai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato:
Consistency Verification of Specification Rules. 50-66 - Wouter Smeenk, Joshua Moerman, Frits W. Vaandrager, David N. Jansen:
Applying Automata Learning to Embedded Control Software. 67-83 - Jandson S. Ribeiro, Aline Andrade:
A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information. 84-99 - Shaoying Liu, Xi Wang, Weikai Miao:
Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction. 100-115 - Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer:
Dependency Analysis of Functional Specifications with Algebraic Data Structures. 116-133 - Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux:
A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing. 134-152 - Lukas Ladenberger, Michael Leuschel:
Mastering the Visualization of Larger State Spaces with Projection Diagrams. 153-169 - Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock:
Refinement-Based Verification of the FreeRTOS Scheduler in VCC. 170-186 - Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou:
Model Checking \mu μ C/OS-III Multi-task System with TMSVL. 187-200 - Lina Ye, Philippe Dague, Farid Nouioua:
A Predictability Algorithm for Distributed Discrete Event Systems. 201-216 - Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen:
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. 217-233 - Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl:
Regression Verification for Programmable Logic Controller Software. 234-251 - Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain:
A Logical Approach for Behavioural Composition of Scenario-Based Models. 252-269 - Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar:
Formal Analysis of Power Electronic Systems. 270-286 - Olga Kouchnarenko, Jean-François Weber:
Practical Analysis Framework for Component Systems with Dynamic Reconfigurations. 287-303 - Dennis Guck, Jip Spel, Mariëlle Stoelinga:
DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper). 304-311 - Akram Idani, Yves Ledru:
B for Modeling Secure Information Systems - The B4MSecure Platform. 312-318 - Étienne André, Camille Coti, Hoang Gia Nguyen:
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. 319-335 - Pablo F. Castro, Cecilia Kilmurray, Nir Piterman:
A Recursive Probabilistic Temporal Logic. 336-348 - Asankhaya Sharma, Aquinas Hobor, Wei-Ngan Chin:
Specifying Compatible Sharing in Data Structures. 349-365 - Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi:
Delta-Oriented FSM-Based Testing. 366-381 - Shuling Wang, Naijun Zhan, Liang Zou:
An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems. 382-399 - Gabriel Ciobanu, Eneia Nicolae Todoran:
Continuation Semantics for Concurrency with Multiple Channels Communication. 400-416 - Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir:
SysML Blocks Adaptation. 417-433
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-09-18 23:44 CEST 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:
