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 27 matches
- 2004
- Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou:
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. Int. J. Softw. Tools Technol. Transf. 5(4): 308-319 (2004) - Thomas Arts, Clara Benac Earle, John Derrick:
Development of a verified Erlang program for resource locking. Int. J. Softw. Tools Technol. Transf. 5(2-3): 205-220 (2004) - Sylvie Boldo, Marc Daumas:
Properties of two's complement floating point notations. Int. J. Softw. Tools Technol. Transf. 5(2-3): 237-246 (2004) - Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman:
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. Int. J. Softw. Tools Technol. Transf. 5(2-3): 221-236 (2004) - Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin:
Covering sharing trees: a compact data structure for parameterized verification. Int. J. Softw. Tools Technol. Transf. 5(2-3): 268-297 (2004) - Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente:
Directed explicit-state model checking in the validation of communication protocols. Int. J. Softw. Tools Technol. Transf. 5(2-3): 247-267 (2004) - María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
aSPIN: A tool for abstract model checking. Int. J. Softw. Tools Technol. Transf. 5(2-3): 165-184 (2004) - S. Purushothaman Iyer, David Hislop, Paul L. Jones, Jaime Lee, Frederick Pearce, Stephen Van Albert:
Introductory paper. Int. J. Softw. Tools Technol. Transf. 5(4): 299-300 (2004) - Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer:
A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm. Int. J. Softw. Tools Technol. Transf. 5(4): 320-330 (2004) - David Lugato, Céline Bigot, Yannick Valot, Jean-Pierre Gallois, Sébastien Gérard, François Terrier:
Validation and automatic test generation on UML models: the AGATHA approach. Int. J. Softw. Tools Technol. Transf. 5(2-3): 124-139 (2004) - Luqi, Zhiwei Guan, Valdis Berzins, Lynn Zhang, David L. Floodeen, Vedat Coskun, Joseph Puett, Michael Brown:
Requirements-document-based prototyping of CARA software. Int. J. Softw. Tools Technol. Transf. 5(4): 370-390 (2004) - Tiziana Margaria, Bernhard Steffen:
Lightweight coarse-grained coordination: a scalable system-level approach. Int. J. Softw. Tools Technol. Transf. 5(2-3): 107-123 (2004) - John C. Martin:
Formal methods software engineering for the CARA system. Int. J. Softw. Tools Technol. Transf. 5(4): 301-307 (2004) - Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond:
Counter-example generation in symbolic abstract model-checking. Int. J. Softw. Tools Technol. Transf. 5(2-3): 158-164 (2004) - Jaco van de Pol:
Introductory paper. Int. J. Softw. Tools Technol. Transf. 5(2-3): 105-106 (2004) - Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel:
Model-based testing for real. Int. J. Softw. Tools Technol. Transf. 5(2-3): 140-157 (2004) - Arnab Ray, Rance Cleaveland:
Unit verification: the CARA experience. Int. J. Softw. Tools Technol. Transf. 5(4): 351-369 (2004) - Viktor Schuppan, Armin Biere:
Efficient reduction of finite state model checking to reachability analysis. Int. J. Softw. Tools Technol. Transf. 5(2-3): 185-204 (2004) - Eugene W. Stark:
Formally specifying CARA in Java. Int. J. Softw. Tools Technol. Transf. 5(4): 331-350 (2004) - 2003
- Thomas Ball, Andreas Podelski, Sriram K. Rajamani:
Boolean and Cartesian abstraction for model checking C programs. Int. J. Softw. Tools Technol. Transf. 5(1): 49-58 (2003) - Philippe Chevalley, Pascale Thévenod-Fosse:
A mutation analysis tool for Java programs. Int. J. Softw. Tools Technol. Transf. 5(1): 90-103 (2003) - Elsa L. Gunter, Anca Muscholl, Doron A. Peled:
Compositional message sequence charts. Int. J. Softw. Tools Technol. Transf. 5(1): 78-89 (2003) - Tiziana Margaria, Wang Yi:
Introductory paper: scalability aspects of validation. Int. J. Softw. Tools Technol. Transf. 5(1): 1-3 (2003) - Brian Nielsen, Arne Skou:
Automated test generation from timed automata. Int. J. Softw. Tools Technol. Transf. 5(1): 59-77 (2003) - Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser:
Finding feasible abstract counter-examples. Int. J. Softw. Tools Technol. Transf. 5(1): 34-48 (2003) - Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard:
Satisfiability checking using Boolean Expression Diagrams. Int. J. Softw. Tools Technol. Transf. 5(1): 4-14 (2003) - Tuba Yavuz-Kahveci, Tevfik Bultan:
A symbolic manipulator for automated verification of reactive systems with heterogeneous data types. Int. J. Softw. Tools Technol. Transf. 5(1): 15-33 (2003)
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-09-17 10:12 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