References

  1. R. Alur & D. L. Dill (1994): A Theory of Timed Automata. Theoretical Computer Science 126(2), pp. 183–235, doi:10.1016/0304-3975(94)90010-8.
  2. J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson & W. Yi (1995): uppaal— a Tool Suite for Automatic Verification of Real–Time Systems. In: Proceedings of Workshop on Verification and Control of Hybrid Systems III, Lecture Notes in Computer Science 1066. Springer–Verlag, pp. 232–243, doi:10.1007/BFb0020949.
  3. G. Bernat, A. Burns & A. Wellings (2000): Portable Worst-Case Execution Time Analysis Using Java Byte Code. In: 12th Euromicro Conference on Real-Time Systems, 2000. Euromicro RTS 2000.. IEEE, pp. 81–88, doi:10.1109/EMRTS.2000.853995.
  4. A. Bucaioni (2015): Raising Abstraction in Timing Analysis for Vehicular Embedded Systems through Model-Driven Engineering. In: Software Technologies: Applications and Foundations, doi:10.13140/RG.2.1.5120.0883.
  5. L. Ciortea, C. Zamfir, S. Bucur, V. Chipounov & G. Candea (2010): Cloud9: A Software Testing Service. ACM SIGOPS Operating Systems Review 43(4), pp. 5–10, doi:10.1145/1713254.1713257.
  6. J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pasareanu, Robby & H. Zheng (2000): Bandera: Extracting Finite-State Models from Java Source Code. In: Proceedings of the 2000 International Conference on Software Engineering. IEEE, pp. 439–448, doi:10.1145/337180.337234.
  7. C. Frost, C.S. Jensen, K. S. Luckow & B. Thomsen (2011): WCET Analysis of Java Bytecode Featuring Common Execution Environments. In: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems. ACM, pp. 30–39, doi:10.1145/2043910.2043916.
  8. M. Hall, E. Frank, G. Holmes, B. Pfahringer, P. Reutemann & I. H. Witten (2009): The WEKA Data Mining Software: An Update. SIGKDD Explorations Newsletter 11(1), pp. 10–18, doi:10.1145/1656274.1656278.
  9. E. Y. Hu, A. J. Wellings & G. Bernat (2003): Deriving Java Virtual Machine Timing Models for Portable Worst-Case Execution Time Analysis. In: Workshops On The Move to Meaningful Internet Systems. Springer, pp. 411–424, doi:10.1007/978-3-540-39962-9_48.
  10. J. M. Lambert & J. F. Power (2008): Platform Independent Timing of Java Virtual Machine Bytecode Instructions. Electronic Notes in Theoretical Computer Science 220(3), pp. 97–113, doi:10.1016/j.entcs.2008.11.021.
  11. LiveGraph (2016): LiveGraph website. Available at http://live-graph.sourceforge.net.
  12. P. Lokuciejewski, D. Cordes, H. Falk & P. Marwedel (2009): A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models. In: Proceedings of the 7th Annual IEEE/ACM International Symposium on Code Generation and Optimization. IEEE Computer Society, pp. 136–146, doi:10.1109/CGO.2009.17.
  13. E. S. Lowry & C. W. Medlock (1969): Object Code Optimization. Communications of the ACM 12(1), pp. 13–22, doi:10.1145/362835.362838.
  14. Kasper Søe Luckow, Thomas Bøgholm, Bent Thomsen & Kim Guldstrand Larsen (2013): TetaSARTS: A Tool for Modular Timing Analysis of Safety Critical Java Systems. In: Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '13. ACM, New York, NY, USA, pp. 11–20, doi:10.1145/2512989.2512992.
  15. UPPAAL Metamodel (2016): Software Engineering Group website, University of Paderborn. Available at https://www.hni.uni-paderborn.de/en/software-engineering.
  16. R. F. Paige, D. S. Kolovos, L. M. Rose, N. Drivalos & F. A. C. Polack (2009): The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. In: Proceedings of the 2009 14th IEEE Int. Conference on Engineering of Complex Computer Systems. IEEE Computer Society, Washington, DC, USA, pp. 162–171, doi:10.1109/ICECCS.2009.14.
  17. P. Puschner & A. Burns (2000): Guest Editorial: A Review of Worst-Case Execution-Time Analysis. Real-Time Systems 18(2), pp. 115–128, doi:10.1023/A:1008119029962.
  18. J. Rech (2011): Emerging Technologies for the Evolution and Maintenance of Software Models. IGI Global.
  19. A. Rensink (2004): The GROOVE Simulator: A Tool for State Space Generation, pp. 479–485. Springer Berlin Heidelberg, Berlin, Heidelberg, doi:10.1007/978-3-540-25959-6_40.
  20. Repository (2015): The repository of the Model-Derivation Framework. Available at https://bitbucket.org/bmyildiz/model-derivation-framework.git.
  21. R. G. Sargent (2011): Verification and Validation of Simulation Models. In: Proceedings of the 2011 Winter Simulation Conference (WSC), doi:10.1109/WSC.2011.6147750.
  22. TIPS (2016): Project website. Available at http://fmt.cs.utwente.nl/research/projects/aselsan/.
  23. M. Utting & B. Legeard (2010): Practical Model-based Testing: A Tools Approach. Morgan Kaufmann.
  24. B. M. Yildiz, A. Rensink, C. M. Bockisch & M. Aksit (2015): A Model-Derivation Framework for Timing Analysis of Java Software Systems. Technical Report TR-CTIT-15-08. Centre for Telematics and Information Technology, University of Twente. Available at http://eprints.eemcs.utwente.nl/26622/.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org