| Dusko S. Jovanovic, www.djov.net |
|
|
|||||||||||||||||||
|
|||||||||||||||||||
|
| Professional
experience |
|
| Personal |
||||
|
Selected publications in English:
Jovanovic D.,
"Requirements for a
Multidisciplinary Structural-Behavioural Component Model",
ICSSEA 2008, Paris, France, 9-11. December 2008
(short 4-page paper representing the summary of my PhD promotion research and
the thesis)
Jovanovic D.S., Broenink J.F., "Tools and patterns for dependable
concurrent software", IEEE EUROCON 2005 conference, Belgrade,
Serbia, 21-24. November 2005
(A position paper on possible exception handling concepts for concurrent
systems based on process orientation)
Jovanovic D.S., Orlic B.E., Broenink J.F., "On issues of constructing
an exception handling mechanism in CSP-based process-oriented concurrent
software", Communicating Process Architectures - CPA
2005, Eindhoven, Netherlands, 2005 (best PhD-student-paper award)
(short 4-page paper on principles of formal verification of software for
control systems supported by the gCSP tool)
Jovanovic D.S., Liet G.K. and Broenink J.F., "A CSP-based trajectory
for designing formally verified embedded control software", IEEE-sponsored 49th conference ETRAN, Budva, Montenegro, 2005
Jovanovic D.S., Orlic B., Liet G.K. and Broenink J.F., "gCSP: A Graphical
Tool for
Designing CSP systems", Communicating Process
Architectures - CPA 2004, Oxford, United Kingdom, 2004
Jovanovic D.S., Orlic B.E. and Broenink J.F. "An automated
transformation trajectory from a model of a controlling system to the control
code", IEEE-sponsored 47th conference ETRAN, Herceg Novi, Montenegro, 2003
(best young-researcher-in-Control-Engineering-paper award)
Jovanovic D., Orlic B., Broenink
J. and van Amerongen J.,
"Inexpensive prototyping for mechatronic systems",
WESIC 2003, University of Miskolc,
Hungary, 2003
Hilderink G.H., D.S. Jovanovic and J.F. Broenink, "A
multimodal robotic
control law modeled and implemented by the CSP/CT framework", Communicating Process Architectures
- CPA 2003, Enschede, the
Netherlands, 2003
PhD thesis
Jovanovic D.S., "Designing dependable process-oriented software, a CSP-based
approach", University of Twente, March 2006
Graduation thesis (in Serbian)
Jovanovic D.S., "HIL - Hardware in the loop", University of
Belgrade, March 2001
|
|
Copyright © 2010 Dusko Jovanovic