Остановите войну!
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 51 matches
- 2022
- Aleksandar S. Dimovski:
Model sketching by abstraction refinement for lifted model checking. SAC 2022: 1845-1848 - 2021
- Aleksandar S. Dimovski:
Model Sketching by Abstraction Refinement for Lifted Model Checking (Extended Version). CoRR abs/2112.11546 (2021) - 2020
- Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski:
Generalized abstraction-refinement for game-based CTL lifted model checking. Theor. Comput. Sci. 837: 181-206 (2020) - Yajun Wu, Hiromu Kamide, Satoshi Yamane:
Software Model Checking for Real-time Properties of Embedded Assembly Programs Based on Lazy Abstraction and Refinement. GCCE 2020: 62-65 - 2019
- Nils Timm, Stefan Gruner:
Three-valued bounded model checking with cause-guided abstraction refinement. Sci. Comput. Program. 175: 37-62 (2019) - Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski:
Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. FASE 2019: 192-209 - Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski:
Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version). CoRR abs/1902.05594 (2019) - 2018
- Nils Timm, Stefan Gruner:
Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking. FTSCS 2018: 139-157 - Dennis Dams, Orna Grumberg:
Abstraction and Abstraction Refinement. Handbook of Model Checking 2018: 385-419 - 2017
- Yen-Sheng Ho:
Efficient Abstraction and Refinement for Word-level Model Checking. University of California, Berkeley, USA, 2017 - Aleksandar S. Dimovski, Andrzej Wasowski:
Variability-Specific Abstraction Refinement for Family-Based Model Checking. FASE 2017: 406-423 - Tamás Tóth, Ákos Hajdu, András Vörös, Zoltán Micskei, István Majzik:
Theta: A framework for abstraction refinement-based model checking. FMCAD 2017: 176-179 - 2016
- Xin Li, Naoki Kobayashi:
Equivalence-Based Abstraction Refinement for \mu HORS Model Checking. ATVA 2016: 304-320 - Yen-Sheng Ho, Pankaj Chauhan, Pritam Roy, Alan Mishchenko, Robert K. Brayton:
Efficient uninterpreted function abstraction and refinement for word-level model checking. FMCAD 2016: 65-72 - 2015
- Naoki Kobayashi, Xin Li:
Automata-Based Abstraction Refinement for µHORS Model Checking. LICS 2015: 713-724 - 2014
- Sara Elisabeth Adams:
Abstraction discovery and refinement for model checking by symbolic trajectory evaluation. University of Oxford, UK, 2014 - Phan T. H. Nguyen, Thang H. Bui:
A Multiple Refinement Approach in Abstraction Model Checking. CISIM 2014: 433-444 - Sine Viesmose Birch, Thomas Stig Jacobsen, Jacob Jon Jensen, Christoffer Moesgaard, Niels Nørgaard Samuelsen, Jirí Srba:
Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets. FORMATS 2014: 237-251 - Steven J. Ramsay, Robin P. Neatherway, C.-H. Luke Ong:
A type-directed abstraction refinement approach to higher-order model checking. POPL 2014: 61-72 - 2012
- Cong Tian, Zhenhua Duan, Nan Zhang:
An efficient approach for abstraction-refinement in model checking. Theor. Comput. Sci. 461: 76-85 (2012) - Yohan Boichut, Benoît Boyer, Thomas Genet, Axel Legay:
Equational Abstraction Refinement for Certified Tree Regular Model Checking. ICFEM 2012: 299-315 - 2011
- Sumit Kumar Jha, Christopher James Langmead:
Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement. Theor. Comput. Sci. 412(21): 2162-2187 (2011) - Cong Tian, Zhenhua Duan:
Making Abstraction-Refinement Efficient in Model Checking. COCOON 2011: 402-413 - 2010
- Mohamed Nassim Seghir:
Abstraction refinement techniques for software model checking. University of Freiburg, 2010 - Avi Yadgar:
New approaches to model checking and to 3-valued abstraction and refinement. Technion - Israel Institute of Technology, Israel, 2010 - Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
Integrating Evolutionary Computation with Abstraction Refinement for Model Checking. IEEE Trans. Computers 59(1): 116-126 (2010) - Hao Zheng, Haiqiong Yao, Tomohiro Yoneda:
Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement. IEEE Trans. Computers 59(4): 561-573 (2010) - Orna Grumberg:
2-Valued and 3-Valued Abstraction-Refinement in Model Checking. Logics and Languages for Reliability and Security 2010: 105-128 - Cong Tian, Zhenhua Duan:
Making Abstraction Refinement Efficient in Model Checking. CoRR abs/1007.3569 (2010) - 2009
- Sharon Shoham:
Abstraction-refinement and modularity in μ-calculus model checking. Technion - Israel Institute of Technology, Israel, 2009
skipping 21 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-26 11:20 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