default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th ICFEM 2014: Luxembourg
- Stephan Merz, Jun Pang:
Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Lecture Notes in Computer Science 8829, Springer 2014, ISBN 978-3-319-11736-2 - Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer
, Sandro Stucki:
Approximations for Stochastic Graph Rewriting. 1-10 - Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe:
Computing Maximal Bisimulations. 11-26 - Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi:
Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. 27-42 - Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti, Augusto Sampaio:
A Formal Model for Natural-Language Timed Requirements of Reactive Systems. 43-58 - Xiaohong Chen, Jun Sun, Meng Sun:
A Hybrid Model of Connectors in Cyber-Physical Systems. 59-74 - Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu:
A Language-Independent Proof System for Mutual Program Equivalence. 75-90 - Gabriel Ciobanu, Armand Stefan Rotaru:
PHASE: A Stochastic Formalism for Phase-Type Distributions. 91-106 - Francesco De Angelis, Maria Rita Di Berardini, Henry Muccini, Andrea Polini:
CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems. 107-122 - Yuxin Deng, Hengyang Wu:
Modal Characterisations of Probabilistic and Fuzzy Bisimulations. 123-138 - Jean-François Dufourd:
Pointer Program Derivation Using Coq: Graphs and Schorr-Waite Algorithm. 139-154 - Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini:
An LTL Model Checking Approach for Biological Parameter Inference. 155-170 - Lin Gui, Jun Sun, Songzheng Song, Yang Liu, Jin Song Dong:
SCC-Based Improved Reachability Analysis for Markov Decision Processes. 171-186 - Klaus Havelund, Rajeev Joshi:
Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior. 187-202 - Tobias Isenberg, Heike Wehrheim:
Timed Automata Verification via IC3 with Zones. 203-218 - Fatma Jebali, Frédéric Lang, Radu Mateescu:
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems. 219-234 - Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux:
A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators. 235-250 - Si-Mohamed Lamraoui, Shin Nakajima:
A Formula-Based Approach for Automatic Fault Localization of Imperative Programs. 251-266 - Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin:
A Resource-Based Logic for Termination and Non-termination Proofs. 267-283 - Li Li, Hong Hu, Jun Sun, Yang Liu, Jin Song Dong:
Practical Analysis Framework for Software-Based Attestation Scheme. 284-299 - Li Li, Jun Sun, Yang Liu, Jin Song Dong:
TAuth: Verifying Timed Security Protocols. 300-315 - Liya Liu, Vincent Aravantinos, Osman Hasan, Sofiène Tahar:
On the Formal Analysis of HMM Using Theorem Proving. 316-331 - Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer:
Formal Modeling and Analysis of Cassandra in Maude. 332-347 - Su Liu, Reng Zeng, Zhuo Sun, Xudong He:
Bounded Model Checking High Level Petri Nets in PIPE+Verifier. 348-363 - Shohei Mochizuki, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki:
Fast Translation from LTL to Büchi Automata via Non-transition-based Automata. 364-379 - Cécile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska, Uwe Schulze, Linh Vu Hong:
Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. 380-395 - Jonatan Wiik, Pontus Boström:
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code. 396-412 - Zhimin Wu, Yang Liu, Yun Liang, Jun Sun:
GPU Accelerated Counterexample Generation in LTL Model Checking. 413-429 - Gaogao Yan, Xueyang Zhu, Rongjie Yan, Guangyuan Li:
Formal Throughput and Response Time Analysis of MARTE Models. 430-445 - Nan Zhang, Zhenhua Duan, Cong Tian:
Extending MSVL with Function Calls. 446-458
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 2026-04-23 22:39 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:
