Остановите войну!
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 38 matches
- 2019
- Bai Xue, Martin Fränzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran:
Probably Approximate Safety Verification of Hybrid Dynamical Systems. ICFEM 2019: 236-252 - Yang Liu, Lei Ma, Jianjun Zhao:
Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems. ICFEM 2019: 3-15 - Dongdong An, Jing Liu, Xiaohong Chen, Tengfei Li, Ling Yin:
A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning. ICFEM 2019: 522-525 - Nikola Benes, Lubos Brim, Samuel Pastva, Jakub Polácek, David Safránek:
Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. ICFEM 2019: 353-369 - Marko Kleine Büning, Tomás Balyo, Carsten Sinz:
Using DimSpec for Bounded and Unbounded Software Model Checking. ICFEM 2019: 19-35 - Marko Kleine Büning, Carsten Sinz:
Automatic Modularization of Large Programs for Bounded Model Checking. ICFEM 2019: 186-202 - Chenghao Cai, Jing Sun, Gillian Dobbie:
Design Model Repair with Formal Verification. ICFEM 2019: 489-492 - Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, Zijiang Yang:
sCompile: Critical Path Identification and Analysis for Smart Contracts. ICFEM 2019: 286-304 - Lin Cheng:
SqlSol: An accurate SQL Query Synthesizer. ICFEM 2019: 104-120 - Sylvain Conchon, Mattias Roux:
Reasoning About Universal Cubes in MCMT. ICFEM 2019: 270-285 - Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams. ICFEM 2019: 253-269 - Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin:
A Security Calculus for Wireless Networks of Named Data Networking. ICFEM 2019: 170-185 - Ruitao Feng, Yang Liu, Shangwei Lin:
A Performance-Sensitive Malware Detection System on Mobile Platform. ICFEM 2019: 493-497 - Hui Feng, Farhad Arbab, Marcello M. Bonsangue:
A Reo Model of Software Defined Networks. ICFEM 2019: 69-85 - Steve Jeffrey Tueno Fotso, Régine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, Mama Nsangou Mouchili:
Assessment of a Formal Requirements Modeling Approach on a Transportation System. ICFEM 2019: 470-486 - Patrick Gardy, Yuxin Deng:
Simulations for Multi-Agent Systems with Imperfect Information. ICFEM 2019: 138-153 - Leandro Gomes, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa:
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. ICFEM 2019: 154-169 - Isamu Hasegawa, Tomoyuki Yokogawa:
Automatic Verification for Node-Based Visual Script Notation Using Model Checking. ICFEM 2019: 52-68 - Hamid Jahanian:
A Note on Failure Mode Reasoning. ICFEM 2019: 503-506 - Jiao Jiao:
Formal Specification and Verification of Smart Contracts. ICFEM 2019: 512-516 - Jay Hoon Jung, YoungMin Kwon:
Robustness of Piece-Wise Linear Neural Network with Feasible Region Approaches. ICFEM 2019: 507-511 - Tengfei Li:
Spatio-Temporal Specification Language for Cyber-Physical Systems. ICFEM 2019: 517-521 - Yi Li, Xuechao Sun, Yong Li, Andrea Turrini, Lijun Zhang:
Synthesizing Nested Ranking Functions for Loop Programs via SVM. ICFEM 2019: 438-454 - Ximeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han:
Towards Verifying Ethereum Smart Contracts at Intermediate Language Level. ICFEM 2019: 121-137 - Yongjian Li, Bow-Yaw Wang:
Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation. ICFEM 2019: 403-419 - Ai Liu, Meng Sun:
A Coalgebraic Semantics Framework for Quantum Systems. ICFEM 2019: 387-402 - Denis Poitrenaud, Etienne Renault:
Combining Parallel Emptiness Checks with Partial Order Reductions. ICFEM 2019: 370-386 - Boubacar Demba Sall, Frédéric Peschanski, Emmanuel Chailloux:
A Mechanized Theory of Program Refinement. ICFEM 2019: 305-321 - Klaus-Dieter Schewe:
Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines. ICFEM 2019: 219-235 - Salwa Souaf, Frédéric Loulergue:
A First Step in the Translation of Alloy to Coq. ICFEM 2019: 455-469
skipping 8 more matches
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-04-25 11:32 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