Остановите войну!
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 24 matches
- 2004
- Fabrice Bouquet, Bruno Legeard, Fabien Peureux:
CLPS-B - A constraint solver to animate a B specification. Int. J. Softw. Tools Technol. Transf. 6(2): 143-157 (2004) - Sven Burmester, Holger Giese, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Robert Wagner, Lothar Wendehals, Albert Zündorf:
Tool integration at the meta-model level: the Fujaba approach. Int. J. Softw. Tools Technol. Transf. 6(3): 203-218 (2004) - Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Fady Copty:
Test sequence generation and model checking using dynamic transition relations. Int. J. Softw. Tools Technol. Transf. 6(2): 174-182 (2004) - Jean-Louis Colaço, Marc Pouzet:
Type-based initialization analysis of a synchronous dataflow language. Int. J. Softw. Tools Technol. Transf. 6(3): 245-255 (2004) - Flavio Corradini, Leonardo Mariani, Emanuela Merelli:
An agent-based approach to tool integration. Int. J. Softw. Tools Technol. Transf. 6(3): 231-244 (2004) - Heiko Dörr, Andy Schürr:
Introduction. Int. J. Softw. Tools Technol. Transf. 6(3): 183-185 (2004) - Matthew B. Dwyer, Stefan Leue:
Introductory paper. Int. J. Softw. Tools Technol. Transf. 6(4): 257-259 (2004) - Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente:
Partial-order reduction and trail improvement in directed model checking. Int. J. Softw. Tools Technol. Transf. 6(4): 277-301 (2004) - Patrice Godefroid, Sarfraz Khurshid:
Exploring very large state spaces using genetic algorithms. Int. J. Softw. Tools Technol. Transf. 6(2): 117-127 (2004) - Alex Groce, Willem Visser:
Heuristics for model checking Java programs. Int. J. Softw. Tools Technol. Transf. 6(4): 260-276 (2004) - Klaus Marius Hansen:
Thoth - A publish/subscribe architecture for peer-to-peer tool integration. Int. J. Softw. Tools Technol. Transf. 6(3): 219-230 (2004) - Klaus Havelund, Grigore Rosu:
Efficient monitoring of safety properties. Int. J. Softw. Tools Technol. Transf. 6(2): 158-173 (2004) - Hardi Hungar, Bernhard Steffen:
Behavior-based model construction. Int. J. Softw. Tools Technol. Transf. 6(1): 4-14 (2004) - Radu Iosif:
Symmetry reductions for model checking of concurrent dynamic software. Int. J. Softw. Tools Technol. Transf. 6(4): 302-319 (2004) - HoonSang Jin, Kavita Ravi, Fabio Somenzi:
Fate and free will in error traces. Int. J. Softw. Tools Technol. Transf. 6(2): 102-116 (2004) - Joost-Pieter Katoen, Perdita Stevens:
Guest editors' introduction: Advancements and extensions of verification techniques. Int. J. Softw. Tools Technol. Transf. 6(2): 99-101 (2004) - Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic symbolic model checking with PRISM: a hybrid approach. Int. J. Softw. Tools Technol. Transf. 6(2): 128-142 (2004) - Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli:
Exploiting transition locality in automatic verification of finite-state concurrent systems. Int. J. Softw. Tools Technol. Transf. 6(4): 320-341 (2004) - Xavier Rival:
Certification of compiled assembly code by invariant translation. Int. J. Softw. Tools Technol. Transf. 6(1): 15-37 (2004) - G. Schopfer, Aidong Yang, Lars von Wedel, Wolfgang Marquardt:
CHEOPS: A tool-integration platform for chemical process modelling and simulation. Int. J. Softw. Tools Technol. Transf. 6(3): 186-202 (2004) - Farn Wang:
Efficient verification of timed automata with BDD-like data structures. Int. J. Softw. Tools Technol. Transf. 6(1): 77-97 (2004) - Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch:
Using simulated execution in verifying distributed algorithms. Int. J. Softw. Tools Technol. Transf. 6(1): 67-76 (2004) - Ping Yang, C. R. Ramakrishnan, Scott A. Smolka:
A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. Int. J. Softw. Tools Technol. Transf. 6(1): 38-66 (2004) - Lenore D. Zuck, Paul C. Attie, Agostino Cortesi:
Preface by the section editors. Int. J. Softw. Tools Technol. Transf. 6(1): 1-3 (2004)
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-30 14:57 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