default search action

combined dblp search
author search
venue search
publication search

ask others

17th ICFEM 2015: Paris, France

> Home > Conferences and Workshops > ICFEM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/2015
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
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ArthoHKY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ArthoHKY15
Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata:
Domain-Specific Languages with Scala. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/Boldo15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/Boldo15
Sylvie Boldo:
Formal Verification of Programs Computing the Floating-Point Average. 17-32
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/YoshidaOF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/YoshidaOF15
Hiroyuki Yoshida, Kazuhiro Ogata, Kokichi Futatsugi:
Formalization and Verification of Declarative Cloud Orchestration. 33-49
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/HoangIOMKS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/HoangIOMKS15
Thai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato:
Consistency Verification of Specification Rules. 50-66
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/SmeenkMVJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/SmeenkMVJ15
Wouter Smeenk, Joshua Moerman, Frits W. Vaandrager, David N. Jansen:
Applying Automata Learning to Embedded Control Software. 67-83
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/RibeiroA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/RibeiroA15
Jandson S. Ribeiro, Aline Andrade:
A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information. 84-99
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/LiuWM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/LiuWM15
Shaoying Liu, Xi Wang, Weikai Miao:
Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction. 100-115
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/AndreescuJL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/AndreescuJL15
Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer:
Dependency Analysis of Functional Specifications with Algebraic Data Structures. 116-133
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/GauthierBHP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/GauthierBHP15
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux:
A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing. 134-152
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/LadenbergerL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/LadenbergerL15
Lukas Ladenberger, Michael Leuschel:
Mastering the Visualization of Larger State Spaces with Projection Diagrams. 153-169
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/DivakaranDKSSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/DivakaranDKSSW15
Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock:
Refinement-Based Verification of the FreeRTOS Scheduler in VCC. 170-186
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/CuiDTZZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/CuiDTZZ15
Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou:
Model Checking \mu μ C/OS-III Multi-task System with TMSVL. 187-200
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/YeDN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/YeDN15
Lina Ye, Philippe Dague, Farid Nouioua:
A Predictability Algorithm for Distributed Discrete Event Systems. 201-216
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/DinTHJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/DinTHJ15
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
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BeckertUVW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BeckertUVW15
Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl:
Regression Verification for Programmable Logic Controller Software. 234-251
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BowlesBA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BowlesBA15
Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain:
A Logical Approach for Behavioural Composition of Scenario-Based Models. 252-269
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BeillahiST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BeillahiST15
Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar:
Formal Analysis of Power Electronic Systems. 270-286
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/KouchnarenkoW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/KouchnarenkoW15
Olga Kouchnarenko, Jean-François Weber:
Practical Analysis Framework for Component Systems with Dynamic Reconfigurations. 287-303
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/GuckSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/GuckSS15
Dennis Guck, Jip Spel, Mariëlle Stoelinga:
DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper). 304-311
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/IdaniL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/IdaniL15
Akram Idani, Yves Ledru:
B for Modeling Secure Information Systems - The B4MSecure Platform. 312-318
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/AndreCN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/AndreCN15
Étienne André, Camille Coti, Hoang Gia Nguyen:
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. 319-335
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/CastroKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/CastroKP15
Pablo F. Castro, Cecilia Kilmurray, Nir Piterman:
A Recursive Probabilistic Temporal Logic. 336-348
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/SharmaHC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/SharmaHC15
Asankhaya Sharma, Aquinas Hobor, Wei-Ngan Chin:
Specifying Compatible Sharing in Data Structures. 349-365
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/VarshosazBM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/VarshosazBM15
Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi:
Delta-Oriented FSM-Based Testing. 366-381
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/WangZZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/WangZZ15
Shuling Wang, Naijun Zhan, Liang Zou:
An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems. 382-399
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/CiobanuT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/CiobanuT15
Gabriel Ciobanu, Eneia Nicolae Todoran:
Continuation Semantics for Concurrency with Multiple Channels Communication. 400-416
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BouazizCHM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BouazizCHM15
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.