Impact analysis is seen as an important technique for controlling the evolution of software systems. Numerous approaches have been proposed which aim to assess the impact of chang...
Simon Lock, Awais Rashid, Peter Sawyer, Gerald Kot...
Intermittent instability is commonly observed in switching power supplies during the design and development phase. It manifests as symmetrical period-doubling bifurcation in the ti...
Yufei Zhou, Jun-Ning Chen, Herbert H. C. Iu, Chi K...
We prove upper bounds on the order and degree of the polynomials involved in a resolvent representation of the prime differential ideal associated with a polynomial differential s...
Lisi D'Alfonso, Gabriela Jeronimo, Pablo Solern&oa...
Bodies of plants are modularly organized. Development proceeds by adding new modules to open endings with a potential for branching. Each module is autonomous to some extent. Deve...
We consider two-player games played in real time on game structures with clocks and parity objectives. The games are concurrent in that at each turn, both players independently pro...
Krishnendu Chatterjee, Thomas A. Henzinger, Vinaya...