Ivan Stojic posted a discussion
The 4th MILS workshop, held on 25th June 2018 in Luxembourg City, Luxembourg, included the presentation "Towards Adaptive MILS Systems: Model-Based Design, Verification and Run-Time Adaptation", prepared by FBK and The Open Group.
Jul 12
Ivan Stojic posted a discussion
The paper "Formal Specification and Verification of Dynamic Parametrized Architectures" has been accepted for publication in the proceedings of the 22nd International Symposium on Formal Methods (FM 2018). The paper will be presented this summer at…
Apr 19
Ivan Stojic updated their profile
Dec 16, 2016
Ivan Stojic is now a member of CITADEL
Dec 16, 2016