27 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
3 papers
Temporal Consistency of Data and Information in Cyber-Physical Systems
Hermann Kopetz, Wilfried Steiner
In a large cyber-physical system, a temporal inconsistency of an output value can arise if there is a non-negligible delay between the instant when a sensor value is acquired from…
Formal Scheduling Constraints for Time-Sensitive Networks
Silviu S. Craciunas, Ramon Serna Oliver, Wilfried Steiner
In recent years, the IEEE 802.1 Time Sensitive Networking (TSN) task group has been active standardizing time-sensitive capabilities for Ethernet networks ranging from distributed…
ARSENAL: Automatic Requirements Specification Extraction from Natural Language
Shalini Ghosh, Daniel Elenius, Wenchao Li +3
Requirements are informal and semi-formal descriptions of the expected behavior of a complex system from the viewpoints of its stakeholders (customers, users, operators, designers,…