References

  1. V. Alimguzhin, F. Mari, I. Melatti, I. Salvo & E.Tronci (2012): Automatic control software synthesis for quantized discrete time hybrid systems. In: Proc. 51th IEEE Conference on Decision and Control, CDC, doi:10.1109/CDC.2012.6426260.
  2. R. Alur (2011): Formal verification of hybrid systems. In: Proc. 11th Int. Conf. on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week. ACM, doi:10.1145/2038642.2038685.
  3. A. Brillout, N. He, M. Mazzucchi, M. Purandare D. Kroening, P. Rümmer & G. Weissenbacher (2010): Mutation-based Test Case Generation for Simulink Models. In: Proc. 8th Int. Conf. on Formal Methods for Components and Objects, FMCO'09. Springer-Verlag, doi:10.1007/978-3-642-17071-3.
  4. M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker & A. Pretschner (2005): Model-Based Testing of Reactive Systems: Advanced Lectures. LNCS 3472. Springer, doi:10.1007/b137241.
  5. E. M. Clarke, A. Donzé & A. Legay (2010): On simulation-based probabilistic model checking of mixed-analog circuits. Formal Methods in System Design 36(2), doi:10.1007/s10703-009-0076-y.
  6. F. M. De Paula & A. J. Hu (2007): An effective guidance strategy for abstraction-guided simulation. In: Proc. 44th annual Design Automation Conference, DAC '07. ACM, New York, NY, USA, doi:10.1145/1278480.1278498.
  7. Verzino G., F. Cavaliere, F. Mari, I. Melatti, G. Minei, I. Salvo, Y. Yushtein & E. Tronci (2012): Model checking driven simulation of sat procedures. In: Proc. of 12th International Conference on Space Operations (SpaceOps 2012). SpaceOps, doi:10.2514/6.2012-1275611.
  8. A. A. Gadkari, A. Yeolekar, J. Suresh, S. Ramesh, S. Mohalik & K. C. Shashidhar (2008): AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. In: Proc. 20th Int. Conf. Computer Aided Verification, CAV, doi:10.1007/978-3-540-70545-1_19.
  9. P. H. Ho, T. Shiple, K. Harer, J. Kukula, R. Damiano, V. Bertacco, J. Taylor & J. Long (2000): Smart simulation using collaborative formal and simulation engines. In: Proc. 2000 IEEE/ACM Int. Conf. on Computer-aided design, ICCAD '00. IEEE Press, doi:10.1109/ICCAD.2000.896461.
  10. A. Kanade, R. Alur, F. Ivancic, S. Ramesh, S. Sankaranarayanan & K. C. Shashidhar (2009): Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. In: Proc. 21st Int. Conf. Computer Aided Verification, CAV, doi:10.1007/978-3-642-02658-4_33.
  11. G. Kreisselmeier & T. Birkholzer (1994): Numerical nonlinear regulator design. Automatic Control, IEEE Transactions on 39(1), doi:10.1109/9.273337.
  12. T. Mancini, F. Mari, A. Massini, I. Melatti, F. Merli & E. Tronci (2013): System Level Formal Verification via Model Checking Driven Simulation. In: Computer Aided Verification - 25th International Conference, CAV, doi:10.1007/978-3-642-39799-8_21.
  13. T. Mancini, F. Mari, A. Massini, I. Melatti & E. Tronci (2014): Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation. In: 17th Euromicro Conference on Digital System Design, DSD, doi:10.1109/DSD.2014.91.
  14. T. Mancini, F. Mari, A. Massini, I. Melatti & E. Tronci (2014): System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation. In: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP, doi:10.1109/PDP.2014.32.
  15. T. Mancini, F. Mari, A. Massini, I. Melatti & E. Tronci (2015): SyLVaaS: System Level Formal Verification as a Service. In: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP, doi:10.1109/PDP.2015.119.
  16. T. Mancini, F. Mari, I. Melatti, I. Salvo, E. Tronci, J. K. Gruber, B. Hayes, M. Prodanovic & L. Elmegaard (2014): Demand-aware price policy synthesis and verification services for Smart Grids. In: 2014 IEEE International Conference on Smart Grid Communications, SmartGridComm, doi:10.1109/SmartGridComm.2014.7007745.
  17. T. Mancini, E. Tronci, I. Salvo, F. Mari, A. Massini & I. Melatti (2015): Computing Biological Model Parameters by Parallel Statistical Model Checking. In: Proc. Third Int. Conf. Bioinformatics and Biomedical Engineering, IWBBIO, doi:10.1007/978-3-319-16480-9_52.
  18. B. Meenakshi, A. Bhatnagar & S. Roy (2006): Tool for Translating Simulink Models into Input Language of a Model Checker. In: Proc. 8th Int. Conf. on Formal Engineering Methods, ICFEM, doi:10.1007/11901433_33.
  19. N. Miskov-Zivanov, P. Zuliani, E. M. Clarke & J. R. Faeder (2013): Studies of biological networks with statistical model checking: application to immune system cells. In: ACM Conference on Bioinformatics, Computational Biology and Biomedical Informatics. ACM-BCB, doi:10.1145/2506583.2512390.
  20. K. Nanshi & F. Somenzi (2006): Guiding simulation with increasingly refined abstract traces. In: Proc. 43rd annual Design Automation Conference, DAC '06. ACM, New York, NY, USA, doi:10.1145/1146909.1147097.
  21. E.D. Sontag (1998): Mathematical Control Theory: Deterministic Finite Dimensional Systems. Texts in Applied Mathematics. Springer, doi:10.1007/978-1-4612-0577-7.
  22. S. Tripakis, C. Sofronis, P. Caspi & A. Curic (2005): Translating discrete-time simulink to lustre. ACM Trans. Embedded Comput. Syst. 4(4), doi:10.1145/1113830.1113834.
  23. E. Tronci, T. Mancini, I. Salvo, S. Sinisi, F. Mari, I. Melatti, A. Massini, F. Davi, T. Dierkes, R. Ehrig, S. Röblitz, B. Leeners, T. H. C. Kruger, M. Egli & F. Ille (2014): Patient-specific models from inter-patient biological models and clinical records. In: Formal Methods in Computer-Aided Design, FMCAD, doi:10.1109/FMCAD.2014.6987615.
  24. R. Venkatesh, U. Shrotri, P. Darke & P. Bokil (2012): Test generation for large automotive models. In: IEEE Int. Conf. on Industrial Technology (ICIT), doi:10.1109/ICIT.2012.6210014.
  25. M. W. Whalen, D. D. Cofer, S. P. Miller, B. H. Krogh & W. Storm (2007): Integration of Formal Analysis into a Model-Based Software Development Process. In: Proc. 12th Int. Workshop Formal Methods for Industrial Critical Systems, FMICS, doi:10.1007/978-3-540-79707-4_7.
  26. C. H. Yang & D. L. Dill (1998): Validation with guided search of the state space. In: Proc. 35th annual Design Automation Conference, DAC '98. ACM, New York, NY, USA, doi:10.1145/277044.277201.
  27. P. Zuliani, A. Platzer & E. M. Clarke (2010): Bayesian statistical model checking with application to Simulink/Stateflow verification. In: Proc. 13th ACM Int. Conf. on Hybrid Systems: Computation and Control, HSCC, doi:10.1145/1755952.1755987.
  28. P. Zuliani, A. Platzer & E. M. Clarke (2013): Bayesian statistical model checking with application to Stateflow/Simulink verification. Formal Methods in System Design 43(2), doi:10.1007/s10703-013-0195-3.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org