Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar17. 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 - 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 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 - Asankhaya Sharma, Aquinas Hobor, Wei-Ngan Chin:
Specifying Compatible Sharing in Data Structures. 349-365 - 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
maintained by 
, founded at 
, founded at 
last updated on 2019-02-20 22:15 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
