Security and Embedded Networked Systems

Vingerafdruk Duik in de onderzoeksthema's waar Security and Embedded Networked Systems actief is. Deze onderwerplabels komen voort uit het werk van deze leden van de organisatie. Samen vormen ze een unieke vingerafdruk.

Scheduling Engineering en materiaalwetenschappen
Real time systems Engineering en materiaalwetenschappen
Synchronization Engineering en materiaalwetenschappen
Lighting Engineering en materiaalwetenschappen
Data storage equipment Engineering en materiaalwetenschappen
Network protocols Engineering en materiaalwetenschappen
Video streaming Engineering en materiaalwetenschappen
Communication Engineering en materiaalwetenschappen

Netwerk Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.

Onderzoeksoutput 1994 2019

1 Citaat (Scopus)

A retargetable fault injection framework for safety validation of autonomous vehicles

Fu, Y., Terechko, A., Bijlsma, T., Cuijpers, P. J. L., Redegeld, J. & Ors, A. O., 9 mei 2019, 2019 IEEE International Conference on Software Architecture - Companion, ICSA-C 2019. Piscataway: Institute of Electrical and Electronics Engineers, blz. 69-76 8 blz. 8712351

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Hardware
User interfaces
Electronic equipment
Health
Robots
1 Citaat (Scopus)
4 Downloads (Pure)

Towards a systematic process-aware behavioral analysis for security

Genga, L. & Zannone, N., 1 jan 2018, Proceedings of the 15th International Joint Conference on e-Business and Telecommunications. de Leon, A. S. S., Novais, P., Battiato, S., Sarigiannidis, P., Obaidat, M. S., Obaidat, M. S., Callegari, C., van Sinderen, M. & Lorenz, P. (redactie). Setúbal: SCITEPRESS-Science and Technology Publications, Lda., blz. 460-469 10 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
Mathematical models
Engines
11 Citaties (Scopus)
2 Downloads (Pure)

Formal analysis of XACML policies using SMT

Turkmen, F., den Hartog, J., Ranise, S. & Zannone, N., 1 mei 2017, In : Computers and Security. 66, blz. 185-203 19 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Access control
Markup languages
Query languages
XML
Specifications

Activiteiten 1999 2001

  • 1 Workshop, seminar, cursus of expositie
  • 1 Consultancy

Architecturen voor embedded Internet

Johan Lukkien (Adviseur)
2001

Activiteit: Types adviesConsultancyProfessioneel

, Fourth Int. ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'99), Pisa, Italie

Michel Chaudron (Organisator)
11 jul 1999

Activiteit: Types deelname aan of organisatie van een evenementWorkshop, seminar, cursus of expositieWetenschappelijk

Scripties/masterproeven

An IoT framework for sharing data in the TU/e smart grid

Auteur: Stanimir, S., 30 sep 2019

Begeleider: Redegeld, J. (Afstudeerdocent 1), Cuijpers, P. (Afstudeerdocent 2) & Dajsuren, Y. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Fault injection mechanisms for validating dependability of automotive systems

Auteur: Fu, Y., 31 aug 2018

Begeleider: Cuijpers, P. (Afstudeerdocent 1), Redegeld, J. (Afstudeerdocent 2) & Terechko, A. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand