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

Treffer 81 - 100 von 3.938

81

Type inference for Parameterized Race-Free Java
AGARWAL, Rahul ; STOLLER, Scott D
VMCAI 2004 : verification, model checking, and abstract interpretation (Venice, 11-13 January 2004)Lecture notes in computer science. :149-160

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

Assertion Checking in J-Sim Simulation Models of Network Protocols
SOBEIH, Ahmed ; D'AMORIM, Marcelo ; VISWANATHAN, Mahesh ; et al.
Simulation (San Diego, Calif.). 86(11):651-673

Control theory, operatio... Automatique, recherche o... Electronics Electronique Computer science Informatique …
Fachzeitschrift
Zu den Favoriten
83

CSTNU Tool: A Java library for checking temporal networks
Roberto Posenato
SoftwareX, Vol 17, Iss , Pp 100905- (2022)

Temporal constraint netw... Consistency check Dynamic controllability... Constraint propagation a... Computer software QA76.75-76.765
Fachzeitschrift
Zu den Favoriten
84

A completion algorithm for lattice tree automata
Genet, Thomas ; Le Gall, Tristan ; Legay, Axel ; et al.
CIAA 2013 - 18th International Conference on Implementation and Application of Automata. :134-145

Halifax, NS, Canada Robots Abstract domains Completion algorithms Extended versions Infinite state systems …
Konferenz
Zu den Favoriten
85

From states to transitions: Improving translation of LTL formulae to Büchi automata
GIANNAKOPOULOU, Dimitra ; LERDA, Flavio
Formal techniques for networked and distributed systems - FORTE 2002 (Houston TX, 11-14 November 2002)Lecture notes in computer science. :308-326

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

Dieses Ergebnis kann Gästen nicht angezeigt werden.

87

Tracking down software bugs using automatic anomaly detection
HANGAL, Sudheendra ; LAM, Monica S
ICSE 2002 : 24th international conference on software engineering (Orlando FL, 19-25 May 2002)Proceedings - International Conference on Software Engineering. :291-301

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

Symbolic execution with abstraction
ANAND, Saswat ; PASAREANU, Corina S ; VISSER, Willem
Special Section on SpinInternational journal on software tools for technology transfer (Print). 11(1):53-67

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

Combining shape analyses by intersecting abstractions
ARNOLD, Gilad ; MANEVICH, Roman ; SAGIV, Mooly ; et al.
Verification, model checking, and abstract interpretation (7th international conference, VMCAI 2006, Charleston SC, USA, January 8-10, 2006)0VMCAI 2006. :33-48

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

A type and effect system for atomicity
FLANAGAN, Cormac ; QADEER, Shaz
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation ® (PLDI'03), San Diego, California, USA, June 9-11, 2003ACM SIGPLAN notices. 38(5):338-349

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

Finding concurrency-related bugs using random isolation
KIDD, Nicholas ; REPS, Thomas ; DOLBY, Julian ; et al.
Special Section on VMCAI 2009International journal on software tools for technology transfer (Print). 13(6):495-518

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

A decision procedure for detecting atomicity violations for communicating processes with locks
KIDD, Nicholas ; LAMMICH, Peter ; TOUILI, Tayssir ; et al.
Special Section on SPIN 2009International journal on software tools for technology transfer (Print). 13(1):37-60

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

Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study
Rioux, Frédéric ; Chalin, Patrice
In Electronic Notes in Theoretical Computer Science 22 May 2006 157(2):119-132

Fachzeitschrift
Zu den Favoriten
94

Expressing checkable properties of dynamic systems: the Bandera Specification Language
CORBETT, James C ; DWYER, Matthew B ; HATCLIFF, John ; et al.
International journal on software tools for technology transfer (Print). 4(1):34-56

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

Dieses Ergebnis kann Gästen nicht angezeigt werden.

96

Statically safe program generation with SafeGen
Huang, Shan Shan ; Zook, David ; Smaragdakis, Yannis
In Science of Computer Programming 2011 76(5):376-391

Fachzeitschrift
Zu den Favoriten
97

Automated program repair using genetic programming and model checking
Zojaji, Zahra ; Ladani, Behrouz Tork ; Khalilian, Alireza
Applied Intelligence: The International Journal of Artificial Intelligence, Neural Networks, and Complex Problem-Solving Technologies. December 2016 45(4):1066-1088

Fachzeitschrift
Zu den Favoriten
98

No Java without Caffeine ― A tool for dynamic analysis of Java programs
Guéhéneuc, Yann-Gaël ; Douence, Rémi ; Jussien, Narendra ; et al.
ASE'02: 17th IEEE conference on Automated Software Engineering. :117-126

Edinburgh, UK, Romania [SCCO.COMP]Cognitive sci... Computer science
Konferenz
Zu den Favoriten
99

Using Runtime Analysis to Guide Model Checking of Java Programs.
Penix, John ; Visser, Willem ; Havelund, Klaus
SPIN Model Checking & Software Verification. 2000, p245-264. 20p.

Buch
Zu den Favoriten
100

Aspect validation using model checking
KATZ, Shmuel ; SIHMAN, Marcelo
Verification : theory and practice (essays dedicated to Zohar Manna on the occasion of this 64th birthday)Lecture notes in computer science. :373-394

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Buch
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter