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="Ipate, Florentin"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Learning finite cover automata from queries
Florentin Ipate
Journal of Computer and System Sciences
78
(1), 2012, pp. 221-244
Formal verification of P systems using Spin
Florentin Ipate
,
Raluca Lefticaru
,
Cristina Tudose
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 133-142
Bounded sequence testing from deterministic finite state machines
Florentin Ipate
Theoretical Computer Science
411
(16-18), 2010, pp. 1770-1784
Testing data processing-oriented systems from stream X-machine models
Florentin Ipate
,
Mike Holcombe
Theoretical Computer Science
403
(2-3), 2008, pp. 176-191
Testing against a non-controllable stream X-machine using state counting
Florentin Ipate
Theoretical Computer Science
353
(1-3), 2006, pp. 291-316