DU

Dogan Ulus

Boğaziçi University 0000-0002-5090-1769

32

Publications

396

Citations

11

h-index

13

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (13)
Book Chapter (11)
Preprint (7)
Dissertation (1)

Filter by Open Access Type

Open Access (13)
Closed Access (19)

Filter by Authors

Dogan Ulus (32)
Oded Maler (11)
Thomas Ferrère (9)
Dejan Ničković (6)
Eugène Asarin (5)

Filter by Topics

Formal Methods in Verification (27)
Embedded Systems Design Techniques (7)
Software Testing and Debugging Techniques (6)
Real-Time Systems Scheduling (5)
Model-Driven Software Engineering Techniques (5)