K. B. Akesson

Latest

• Design Space Exploration for Distributed Cyber-Physical Systems: State-of-the-art, Challenges, and Directions
• Partial Specifications of Component-based Systems using Petri Nets
• Model-driven system-performance engineering for cyber-physical systems
• Synthetic Portnet Generation with Controllable Complexity for Testing and Benchmarking