Valdemar Trøjgård Tang

According to our database, Valdemar Trøjgård Tang authored at least 3 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

When Every Transmission Counts: Event-Trigger Threshold Regulation for STL Properties.

Valdemar Tang, Cláudio Gomes, Daniel E. Lucani

IEEE Internet Things J., 2026

2025

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation.

Valdemar Tang, Cláudio Gomes, Daniel E. Lucani

IEEE Internet Things J., 2025

2024

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service.

Morten Haahr Kristensen, Alberto Bonizzi, Cláudio Gomes, Simon Thrane Hansen, Carlos Ignacio Isasa Martin, Hannes Iven, Eduard Kamburjan, Peter Gorm Larsen, Martin Leucker, Prasad Talasila, Valdemar Trøjgård Tang, Stefano Tonetta, Lars Bernd Vosteen, Thomas Wright

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2024