14 citations · 15 across the 3 of their papers we have counts for
3 papers
eess.SY2020
A Scalable Nyquist Stability Criterion with Application to Power System Small-Signal Stability
Joakim Björk, Karl Henrik Johansson
A decentralized stability criterion is derived for a power system with heterogeneous subsystems. A condition for frequency stability and stability of interarea modes is derived usi…
cs.PL2012★ 1 cited
A Type-Safe Model of Adaptive Object Groups
Joakim Bjørk, Dave Clarke, Einar Broch Johnsen +1
Services are autonomous, self-describing, technology-neutral software units that can be described, published, discovered, and composed into software applications at runtime. Design…
cs.PL2010★ 14 cited
Lightweight Time Modeling in Timed Creol
Joakim Bjørk, Einar Broch Johnsen, Olaf Owe +1
Creol is an object-oriented modeling language in which inherently concurrent objects exchange asynchronous method calls. The operational semantics of Creol is written in an actor-b…