1 citations · 1 across the 1 of their papers we have counts for
3 papers
Towards Classification of Lightweight Formal Methods
Anna Zamansky, Maria Spichkova, Guillermo Rodriguez-Navas +2
The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. Although the term "lightweight formal methods" has been used fo…
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults
Guy Avni, Shubham Goel, Thomas A. Henzinger +1
Time-triggered switched networks are a deterministic communication infrastructure used by real-time distributed embedded systems. Due to the criticality of the applications running…
The Karlskrona manifesto for sustainability design
Christoph Becker, Ruzanna Chitchyan, Leticia Duboc +10
Sustainability is a central concern for our society, and software systems increasingly play a central role in it. As designers of software technology, we cause change and are respo…