Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Sen, Koushik"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Combining test case generation and runtime verification
Cyrille Artho
,
Howard Barringer
,
Allen Goldberg
,
Klaus Havelund
,
Sarfraz Khurshid
,
Mike Lowry
,
Corina Pasareanu
,
Grigore Roşu
,
Koushik Sen
,
Willem Visser
,
Rich Washington
Theoretical Computer Science
336
(2-3), 2005, pp. 209-234
Actively learning to verify safety for FIFO automata
Abhay Vardhan
,
Koushik Sen
,
Mahesh Viswanathan
,
Gul Agha
Lecture Notes in Computer Science
3328
, 2004, pp. 494-505