Future Generation Computer Systems, 87, pages 629-638, Elsevier.
#Brass birmingham pdf verification#
Performance Modelling and Verification of Cloud-based Auto-Scaling Policies. Alexandros Evangelidis, David Parker and Rami Bahsoon.IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'18), IEEE. Simultaneous Task Allocation and Planning Under Uncertainty. Fatma Faruq, Bruno Lacerda, Nick Hawes and David Parker.Software Adaptation for an Unmanned Undersea Vehicle. Knoblock, David Parker, Irfan Muhammad and Chris Novakovic. Avi Pfeffer, Curt Wu, Gerald Fry, Kenny Lu, Steve Marotta, Mike Reposa, Yuan Shi, T.24th European Symposium on Research in Computer Security (ESORICS'19), volume 11735 of LNCS, pages 319-337, Springer. Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems. 23rd International Symposium on Formal Methods (FM'19), volume 11800 of LNCS, pages 298-315, Springer. Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. Marta Kwiatkowska, Gethin Norman, David Parker and Gabriel Santos.23rd International Symposium on Formal Methods (FM'19), volume 11800 of LNCS, pages 425-441, Springer. Quantitative Verification of Numerical Stability for Kalman Filters. Alexandros Evangelidis and David Parker.In The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy (Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday), volume 11760 of LNCS, pages 379-396, Springer. Verification and Control of Turn-Based Probabilistic Real-Time Games.
0 kommentar(er)
