Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2010 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001
Number of items: 18.

2010

Broenink, J.F. and Larsen, P.G. and Verhoef, M. and Kleijn, C. and Jovanovic, D. and Pierce, K. and Wouters, F. (2010) Design Support and Tooling for Dependable Embedded Control Systems. In: 2nd International Workshop on Software Engineering for Resilient Systems, SERENE 2010, 13-16 April 2010, London, UK.

2006

Jovanovic, Dusko (2006) Designing dependable process-oriented software : a CSP-based approach. thesis.

2005

Jovanovic, Dusko S. and Broenink, Jan F. (2005) Tools and Patterns for Dependable Concurrent Software. In: International Conference on Computer as a Tool, EUROCON, 21-24 November 2005, Belgrade, Serbia and Montenegro (pp. pp. 736-739).

Jovanovic, Dusko S. and Liet, Geert K. and Broenink, Jan F. (2005) A CSP-Based Trajectory for Designing Formally Verified Embedded Control Software. In: 49th Conference on Electronic, Telecommunications, Computer science, Automatics, and Nuclear technique, ETRAN 2005, June 5-10 2005, Budva, Montenegro (pp. pp. 285-288).

Jovanovic, Dusko S. and Orlic, Bojan E. and Broenink, Jan F. (2005) On issues of constructing an exception handling mechanism for CSP-based process-oriented concurrent software. In: WoTUG Technical Meeting on Communicating Process Architectures, CPA 2005, 18-21 September 2005, Eindhoven, The Netherlands (pp. pp. 29-41).

2004

Jovanovic, Dusko and Liet, Geert K. and Broenink, Jan F. (2004) Deadlock Detection Based on Automatic Code Generation from Graphical CSP Models. In: PROGRESS 2004 Symposium on Embedded Systems, Oct. 30, 2004, Nieuwegein, the Netherlands (pp. pp. 70-89).

Jovanovic, Dusko S. and Orlic, Bojan and Liet, Geert K. and Broenink, Jan F. (2004) gCSP: A Graphical Tool for Designing CSP systems. In: Communicating Process Architectures 2004, Oxford, UK (pp. pp. 233-251).

2003

Hilderink, Gerald H. and Jovanovic, Dusko S. and Broenink, Jan F. (2003) A mulitmodel robotic control law modelled and implemented with the CSP/CT framework. In: Communicating Process Architectures 2003, September 2003, University of Twente, Enschede (pp. pp. 315-334).

Jovanovic, Dusko and Hilderink, Gerald H. and Broenink, Jan F. (2003) Embedded Software Design for Mechatronic Systems. In: 22nd Benelux Meetings on Systems and Control, March 19-21, 2003, Lommel, België (pp. p. 70).

Jovanovic, Dusko and Orlic, Bojan and Broenink, Jan and Amerongen, Job van (2003) Inexpensive Prototyping for Mechatronic Systems. In: Workshop on European Scientific and Industrial Collaboration, WESIC 2003, 28-30 May 2003 , University of Miskolc, Hungary (pp. pp. 431-438).

Jovanovic, Dusko S. and Hilderink, Gerald H. and Broenink, Jan F. (2003) On properties of modeling control software for embedded control applications with CSP/CT framework. In: PROGRESS 2003 Workshop on Embedded Systems, 22 October 2003, Utrecht, The Netherlands (pp. pp. 122-129).

Jovanovic, Dusko S. and Orlic, Bojan E. and Broenink, Jan F. (2003) An Automated Transformation Traject from a model of a Controlled System to the Control Code. In: XLVII ETRAN Conference, 10-14 June 2003, Herceg Novi, Serbia and Montenegro.

2002

Broenink, Jan F. and Jovanovic, Dusko S. and Hilderink, Gerald H. (2002) Controlling a Mechatronic Set-up Using Real-time Linux and CTC ++. In: 8th Mechatronics Forum International Conference, Mechatronics 2002, 24-26 June 2002, University of Twente, Enschede (pp. pp. 1323-1331).

Jovanovic, Dusko and Hilderink, Gerald H. and Broenink, Jan F. (2002) A Case Study for Tooling the Design Trajectory of Embedded Control Systems. In: PROGRESS 2002 Workshop on Embedded Systems, 24 October 2002, Utrecht, The Netherlands (pp. pp. 92-100).

Jovanovic, Dusko and Hilderink, Gerald H. and Broenink, Jan F. (2002) A communicating Thread -CT- case study: JIWY. In: Communication Process Architectures 2002, Reading, UK (pp. pp. 311-320).

Jovanovic, Dusko S. and Hilderink, Gerald H. and Broenink, Jan F. (2002) A design environment for developing and testing concurrent software for embedded control systems. In: XLVI ETRAN Conference, 4-7 june 2002, Banja Luka, Bosnia-Herzegovina (pp. pp. 87-90).

2001

Broenink, Jan F. and Hilderink, Gerald H. and Jovanovic, Dusko S. (2001) Software for Embedded Control Systems. PT Embedded Systems, 3 . pp. 36-38. ISSN 1389-1405

Jovanovic, Dusko S. and Hilderink, Gerald H. and Broenink, Jan F. (2001) Integrated Design Tools for Embedded Control Systems. In: PROGRESS 2001 Workshop on Embedded Systems, October 18, 2001, Veldhoven, the Netherlands (pp. pp. 121-126).

This list was generated on Thu Nov 20 05:16:54 2014 CET.