Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Suche: Checking Java programs

Treffer 101 - 120 von 3.938

101

Statically safe program generation with SafeGen
SHAN SHAN HUANG ; ZOOK, David ; SMARAGDAKIS, Yannis
Generative programming and component engineering (4th international conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings)Lecture notes in computer science. :309-326

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
102

Model checking Java programs using structural heuristics
Groce, Alex ; Visser, Willem
ACM SIGSOFT Software Engineering Notes ; volume 27, issue 4, page 12-21 ; ISSN 0163-5948

Fachzeitschrift
Zu den Favoriten
103

Providing fine-grained access control for Java programs
PANDEY, R ; HASHII, B
ECCOP'99 - object-oriented programming (Lisbon, 14-18 June 1999)Lecture notes in computer science. :449-473

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
104

Dieses Ergebnis kann Gästen nicht angezeigt werden.

106

Dieses Ergebnis kann Gästen nicht angezeigt werden.

107

A case study on the lightweight verification of a multi-threaded task server
Cataño, Néstor ; Ahmed, Ijaz ; Siminiceanu, Radu I. ; et al.
In Science of Computer Programming 1 February 2014 80 Part A:169-187

Fachzeitschrift
Zu den Favoriten
108

Secure self-certified code for Java
DEBBABI, M ; DESHARNAIS, J ; FOURATI, M ; et al.
FASec 2002 : formal aspects of security (London, 16-18 December 2002, revised papers)Lecture notes in computer science. :133-151

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
109

Effective enhancement of loop versioning in Java
MIKHEEV, Vitaly V ; FEDOSEEV, Stanislav A ; SUKHAREV, Vladimir V ; et al.
CC 2002 : compiler construction (Grenoble, 8-12 April 2002)Lecture notes in computer science. :293-306

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
110

Using the Bandera Tool Set to model-check properties of concurrent Java software
HATCLIFF, John ; DWYER, Matthew
CONCUR 2001 - concurrency theory (Aalborg, 20-25 August 2001)Lecture notes in computer science. :39-58

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
112

Dieses Ergebnis kann Gästen nicht angezeigt werden.

113

Combining symbolic execution and model checking to reduce dynamic program analysis overhead
Nestor Cataño
Revista Colombiana de Computación, Vol 6, Iss 1 (2005)

Computer engineering. Co... TK7885-7895 Electronic computers. Co... QA75.5-76.95
Fachzeitschrift
Zu den Favoriten
114

Dieses Ergebnis kann Gästen nicht angezeigt werden.

115

Dieses Ergebnis kann Gästen nicht angezeigt werden.

116

Lazy model checking for recursive state machines.
Dubslaff, Clemens ; Wienhöft, Patrick ; Fehnker, Ansgar
Software & Systems Modeling. Apr2024, Vol. 23 Issue 2, p369-401. 33p.

LAZINESS MACHINERY SATISFACTION SCALABILITY LOGIC
Fachzeitschrift
Zu den Favoriten
117

JVM Independent Replay in Java
Schuppan, Viktor ; Baur, Marcel ; Biere, Armin
In Electronic Notes in Theoretical Computer Science 3 January 2005 113:85-104

Fachzeitschrift
Zu den Favoriten
118

Model Checker for Java Programs
Visser, Willem
NASA Tech Briefs, September 2007.

Man/System Technology An...
Report
Zu den Favoriten
119

Dieses Ergebnis kann Gästen nicht angezeigt werden.

120

Dieses Ergebnis kann Gästen nicht angezeigt werden.

Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter