Silvije Jovalekic

According to our database1, Silvije Jovalekic authored at least 13 papers between 1981 and 2016.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2016
Open public design methodology and design process.
Proceedings of the 39th International Convention on Information and Communication Technology, 2016

2013
Simulation von Teilnehmern verteilter Systeme zur Verifikation und Systemintegration.
Proceedings of the Funktionale Sicherheit, 2013

2011
Automated testing of distributed real-time systems regarding configuration information.
Proceedings of the MIPRO, 2011

Specification and Verification of Time Properties in Distributed Automation Systems during Test Planning Phase.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2009
Protokollanalyse und Informationsflussverfolgung zur Fehlerdiagnose in verteilten Echtzeitsystemen.
Proceedings of the Software-intensive verteilte Echtzeitsysteme, 2009

2004
Testautomatisierung für echtzeitfähige, eingebettete Systeme im Automobil.
Proceedings of the Eingebettete Systeme, 2004

2003
Softwaretest von verteilten Echtzeitsystemen im Automobilbau anhand von Kundenspezifikationen.
Proceedings of the Verteilte Echtzeitsysteme, 2003

1998
Impact of Object-Oriented Software Engineering Applied to the Development of Security Systems.
Proceedings of the Computer Safety, 1998

Gesichtspunkte für den Einsatz von objektorientierten Softwaremethoden und Standard-Bibliotheken in eingebetteten Echtzeitsystemen.
Proceedings of the PEARL 98: Echtzeitsysteme im Netz, 1998

1985
Rechnerunterstützte Spezifikation von Anforderungen für Automatisierungssysteme.
PhD thesis, 1985

1983
Erstellung von Anforderungsspezifikationen für Automatisierungssysteme mit EPOS - Eigenschaften und Erfahrungen.
Proceedings of the Requirements Engineering, 1983

1981
Rechnergestützte Umsetzung von EPOS-Spezifikationen in PEARL-Programme.
Proceedings of the Fachtagung Prozeßrechner 1981, 1981

Wie formal soll und darf die Beschreibung des Pflichtenheftes für ein Prozeßautomatisierungsssystem sein?
Proceedings of the GI, 1981


  Loading...