Остановите войну!
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 49 matches
- 2007
- Marc Aiguier, Delphine Longuet:
Test Selection Criteria for Modal Specifications of Reactive Systems. TASE 2007: 159-170 - Cyrille Artho, Christian Sommer, Shinichi Honiden:
Model Checking Networked Programs in the Presence of Transmission Failures. TASE 2007: 219-228 - Howard Barringer, David E. Rydeheard, Dov M. Gabbay:
A Logical Framework for Monitoring and Evolving Software Components. TASE 2007: 273-282 - Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari:
Constraint-Based Policy Negotiation and Enforcement for Telco Services. TASE 2007: 463-472 - Franck Cassez, Stavros Tripakis, Karine Altisen:
Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. TASE 2007: 316-325 - Zhiming Chang, XinJun Mao, Zhichang Qi:
An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style. TASE 2007: 57-66 - Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu:
Design of a Certifying Compiler Supporting Proof of Program Safety. TASE 2007: 127-138 - Donghuo Chen, Guangquan Zhang, Jinzhao Wu:
QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems. TASE 2007: 241-250 - Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival:
Varieties of Static Analyzers: A Comparison with ASTREE. TASE 2007: 3-20 - Jing Dong, Tu Peng, Zongyan Qiu:
Commutability of Design Pattern Instantiation and Integration. TASE 2007: 283-292 - Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch:
Model Checking Software at Compile Time. TASE 2007: 45-56 - Ingo Feinerer, Gernot Salzer:
Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints. TASE 2007: 411-420 - Alexander Förster, Gregor Engels, Tim Schattkowsky, Ragnhild Van Der Straeten:
Verification of Business Process Quality Constraints Based on Visual Process Patterns. TASE 2007: 197-208 - Maria João Frade, Ando Saabas, Tarmo Uustalu:
Foundational certification of data-flow analyses. TASE 2007: 107-116 - Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin:
A Certified Thread Library for Multithreaded User Programs. TASE 2007: 117-126 - Viliam Holub, Petr Tuma:
Streaming State Space: A Method of Distributed Model Verification. TASE 2007: 356-368 - Xiaowei Huang, Li Jiao, Weiming Lu:
A Semantic Preorder on Refinement and Fairness. TASE 2007: 139-148 - Jianmin Jiang, Jinzhao Wu, Hongping Shu:
Symmetry in Process Algebra. TASE 2007: 450-462 - Naiyong Jin, Chengjie Shen:
Dynamic Verifying The Properties of The Simple Subset of PSL. TASE 2007: 229-240 - Mathai Joseph:
Abstractions for Real Real-time Systems. TASE 2007: 22 - Hung Ledang, Dang Van Hung:
Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. TASE 2007: 293-304 - Wenjun Li, Xiao-jun Liang, Hua-mei Song, Xiaocong Zhou:
QoS-Driven Service Composition Modeling with Extended Hierarchical CPN. TASE 2007: 483-492 - Jing Li, Huibiao Zhu, Geguang Pu:
Conformance Validation between Choreography and Orchestration. TASE 2007: 473-482 - Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo:
Foundational Typed Assembly Language with Certified Garbage Collection. TASE 2007: 326-338 - Tun Lu, Ning Gu:
Survivability-Aware Configuration Management of Service-Oriented System Based on Service Dependency. TASE 2007: 421-432 - Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang:
An Interpreter for Framed Tempura and Its Application. TASE 2007: 251-260 - Sun Meng:
QCCS: A Formal Model to Enforce QoS Requirements in Service Composition. TASE 2007: 389-400 - Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Generation of optimal finite test suites for timed systems. TASE 2007: 149-158 - Jiancheng Ni, Zhishu Li, Jirong Sun, Jianchuan Xing:
Self-adaptive Intrusion Detection System for Computational Grid. TASE 2007: 97-106 - Markus Pizka, Elmar Jürgens:
Automating Language Evolution. TASE 2007: 305-315
skipping 19 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 16:21 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