Jan de Meer

According to our database1, Jan de Meer authored at least 27 papers between 1984 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Presentation of the Programme of the 6th GI/ACM Standardization Workshop on Industrial Automation and Control Systems.
Proceedings of the 51. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2021 - Computer Science & Sustainability, Berlin, Germany, 27. September, 2021

2020
The 5th GI/ACM Workshop 2020 Scope and Draft Programme on Standardization of Secure and Safe Smart Manufacturing Systems with respect to IEC 62443 IACS.
Proceedings of the 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September, 2020

Semantics for I4.0 Smart Manufacturing.
Proceedings of the 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September, 2020

2019
4th GI/ACMWorkshop on Standardization of I4.0 Automation and Control Systems.
Proceedings of the 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft, INFORMATIK 2019, 2019

A Theory on Big Data.
Proceedings of the 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft, INFORMATIK 2019, 2019

2017
INFORMATIK 2017 WS#13.
Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017

On Industry 4.0 Security, Maturity and Metrics semantically integrated by a Common SIEM Specification Language.
Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017

2016
New security standards for industrial automation and control systems, based on IEC 62443-4-2 (IACS/SCADA) - extended abstract.
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016

Workshop on new security standards for IACS/SCADA industrial systems.
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016

2012
Sicher und zuverlässig Wirtschaften in der Cloud?
Proceedings of the Informationstechnologie für eine nachhaltige Landbewirtschaftung, Fokus: Forstwirtschaft, Referate der 32. GIL-Jahrestagung, 29. Februar, 2012

2000
Formal Methods for Reflective System Specification.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

1999
The Challenge of QoS Verification.
Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

Test Data Filtering.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

1998
Towards a QoS Binding Notation.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

1997
Guest Editors' introduction - Special Issue on Quality of Service.
Distributed Syst. Eng., 1997

QoS Control by Balancing Continuous MM Streams.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1995
The ISO Reference Model for Open Distributed Processing.
Comput. Networks ISDN Syst., 1995

The ISO Reference Model for Open Distributed Processing: An Introduction.
Comput. Networks ISDN Syst., 1995

Quality of Service Verification Experiments.
Proceedings of the International Conference on Multimedia Networking, 1995

QoS Modelling of Distributed Teleoperating Services.
Proceedings of the Bringing Telecommunication Services to the People, 1995

1994
Quality of service verification experiments.
Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31, 1994

1993
Formal approach to QoS specification and verification.
Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993

1992
Introduction to Algebraic Specifications Based on the Language ACT ONE.
Comput. Networks ISDN Syst., 1992

1991
Systementwurf mit ODP.
Prax. Inf.verarb. Kommun., 1991

1988
A Generalized Conformance Test Tool for Communication Protocols.
Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

1987
Testmodelle für Systeme Kommunizierender Prozesse.
Proceedings of the Kommunikation in Verteilten Systemen, 1987

1984
OSI Transport Service Considered as an Abstract Data Type.
Proceedings of the Recent Trends in Data Type Specification, 1984


  Loading...