Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 30 matches
- 2014
- Tobias Isenberg, Heike Wehrheim:
Timed Automata Verification via IC3 with Zones. ICFEM 2014: 203-218 - Francesco De Angelis, Maria Rita Di Berardini, Henry Muccini, Andrea Polini:
CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems. ICFEM 2014: 107-122 - Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe:
Computing Maximal Bisimulations. ICFEM 2014: 11-26 - 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. ICFEM 2014: 380-395 - Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi:
Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. ICFEM 2014: 27-42 - Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti, Augusto Sampaio:
A Formal Model for Natural-Language Timed Requirements of Reactive Systems. ICFEM 2014: 43-58 - Xiaohong Chen, Jun Sun, Meng Sun:
A Hybrid Model of Connectors in Cyber-Physical Systems. ICFEM 2014: 59-74 - Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu:
A Language-Independent Proof System for Mutual Program Equivalence. ICFEM 2014: 75-90 - Gabriel Ciobanu, Armand Stefan Rotaru:
PHASE: A Stochastic Formalism for Phase-Type Distributions. ICFEM 2014: 91-106 - Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki:
Approximations for Stochastic Graph Rewriting. ICFEM 2014: 1-10 - Yuxin Deng, Hengyang Wu:
Modal Characterisations of Probabilistic and Fuzzy Bisimulations. ICFEM 2014: 123-138 - Jean-François Dufourd:
Pointer Program Derivation Using Coq: Graphs and Schorr-Waite Algorithm. ICFEM 2014: 139-154 - Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini:
An LTL Model Checking Approach for Biological Parameter Inference. ICFEM 2014: 155-170 - Lin Gui, Jun Sun, Songzheng Song, Yang Liu, Jin Song Dong:
SCC-Based Improved Reachability Analysis for Markov Decision Processes. ICFEM 2014: 171-186 - Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux:
A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators. ICFEM 2014: 235-250 - Klaus Havelund, Rajeev Joshi:
Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior. ICFEM 2014: 187-202 - Fatma Jebali, Frédéric Lang, Radu Mateescu:
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems. ICFEM 2014: 219-234 - Si-Mohamed Lamraoui, Shin Nakajima:
A Formula-Based Approach for Automatic Fault Localization of Imperative Programs. ICFEM 2014: 251-266 - Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin:
A Resource-Based Logic for Termination and Non-termination Proofs. ICFEM 2014: 267-283 - Li Li, Hong Hu, Jun Sun, Yang Liu, Jin Song Dong:
Practical Analysis Framework for Software-Based Attestation Scheme. ICFEM 2014: 284-299 - Li Li, Jun Sun, Yang Liu, Jin Song Dong:
TAuth: Verifying Timed Security Protocols. ICFEM 2014: 300-315 - Liya Liu, Vincent Aravantinos, Osman Hasan, Sofiène Tahar:
On the Formal Analysis of HMM Using Theorem Proving. ICFEM 2014: 316-331 - Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer:
Formal Modeling and Analysis of Cassandra in Maude. ICFEM 2014: 332-347 - Su Liu, Reng Zeng, Zhuo Sun, Xudong He:
Bounded Model Checking High Level Petri Nets in PIPE+Verifier. ICFEM 2014: 348-363 - Shohei Mochizuki, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki:
Fast Translation from LTL to Büchi Automata via Non-transition-based Automata. ICFEM 2014: 364-379 - Jonatan Wiik, Pontus Boström:
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code. ICFEM 2014: 396-412 - Zhimin Wu, Yang Liu, Yun Liang, Jun Sun:
GPU Accelerated Counterexample Generation in LTL Model Checking. ICFEM 2014: 413-429 - Gaogao Yan, Xueyang Zhu, Rongjie Yan, Guangyuan Li:
Formal Throughput and Response Time Analysis of MARTE Models. ICFEM 2014: 430-445 - Nan Zhang, Zhenhua Duan, Cong Tian:
Extending MSVL with Function Calls. ICFEM 2014: 446-458 - 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 [contents]
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-07-02 13:56 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint