References

  1. M. AlTurki, D. Dhurjati, D. Yu, A. Chander & H. Inamura (2009): Formal Specification and Analysis of Timing Properties in Software Systems. In: FASE'09, Lecture Notes in Computer Science 5503. Springer, doi:10.1007/978-3-642-00593-0_18.
  2. 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.
  3. K. Bae, P. C. Ölveczky, A. Al-Nayeem & J. Meseguer (2011): Synchronous AADL and its Formal Analysis in Real-Time Maude. In: Proc. ICFEM'11, Lecture Notes in Computer Science. To appear.
  4. K. Bae, P. C. Ölveczky, T. H. Feng, E. A. Lee & S. Tripakis (2011): Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. Science of Computer Programming, doi:10.1016/j.scico.2010.10.002. To appear.
  5. A. Boronat, R. Heckel & J. Meseguer (2009): Rewriting Logic Semantics and Verification of Model Transformations. In: Proc. FASE'09, Lecture Notes in Computer Science 5503. Springer, doi:10.1007/978-3-642-00593-0_2.
  6. A. Boronat & J. Meseguer (2008): An Algebraic Semantics for MOF. In: Proc. FASE'08, Lecture Notes in Computer Science 4961. Springer, doi:10.1007/978-3-540-78743-3_28.
  7. A. Boronat & J. Meseguer (2009): Algebraic Semantics of OCL-Constrained Metamodel Specifications. In: TOOLS-EUROPE'09, LNBIP 33. Springer, doi:10.1007/978-3-642-02571-6_7.
  8. A. Boronat & P. C. Ölveczky (2010): Formal Real-Time Model Transformations in MOMENT2. In: Proc. FASE'10, Lecture Notes in Computer Science 6013. Springer, doi:10.1007/978-3-642-12029-9.
  9. A. Cerone & A. Maggiolo-Schettini (1999): Time-Based Expressivity of Time Petri Nets for System Specification. Theoretical Computer Science 216(1-2), pp. 1–53, doi:10.1016/S0304-3975(98)00008-5.
  10. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Mart\'ı-Oliet, J. Meseguer & C. Talcott (2007): All About Maude - A High-Performance Logical Framework. Lecture Notes in Computer Science 4350. Springer, doi:10.1007/978-3-540-71999-1.
  11. J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs & Y. Xiong (2003): Taming Heterogeneity—the Ptolemy Approach. Proceedings of the IEEE 91(2), pp. 127–144, doi:10.1109/JPROC.2002.805829.
  12. Erlang home page. http://www.erlang.org/.
  13. M. Katelman, J. Meseguer & J. Hou (2008): Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking. In: Proc. FMOODS'08, Lecture Notes in Computer Science 5051. Springer, doi:10.1007/978-3-540-68863-1_10.
  14. D. Lepri, P. C. Ölveczky & E. Ábrahám: Timed CTL Model Checking in Real-Time Maude. Submitted for publication.
  15. E. Lien & P. C. Ölveczky (2009): Formal Modeling and Analysis of an IETF Multicast Protocol. In: Proc. SEFM'09. IEEE Computer Society, doi:10.1109/SEFM.2009.11.
  16. J. Meseguer & P. C. Ölveczky (2010): Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. In: Proc. ICFEM'10, Lecture Notes in Computer Science 6447. Springer, doi:10.1007/978-3-642-16901-4_21.
  17. S. P. Miller, D. D. Cofer, L. Sha, J. Meseguer & A. Al-Nayeem (2009): Implementing Logical Synchrony in Integrated Modular Avionics. In: Proc. DASC'09. IEEE, doi:10.1109/DASC.2009.5347579.
  18. P. C. Ölveczky (2008): Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude. In: Proc. SNPD'08. IEEE, doi:10.1109/SNPD.2008.42.
  19. P. C. Ölveczky, A. Boronat & J. Meseguer (2010): Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. In: Proc. FMOODS/FORTE'10, Lecture Notes in Computer Science 6117. Springer, pp. 47–62, doi:10.1007/978-3-642-13464-7_5.
  20. P. C. Ölveczky, A. Boronat, J. Meseguer & E. Pek (2010): Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. Report, http://www.ifi.uio.no/RealTimeMaude/AADL/.
  21. P. C. Ölveczky & M. Caccamo (2006): Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude. In: Proc. FASE'06, Lecture Notes in Computer Science 3922. Springer, doi:10.1007/11693017_26.
  22. P. C. Ölveczky & J. Meseguer (2008): The Real-Time Maude Tool. In: Proc. TACAS'08, Lecture Notes in Computer Science 4963. Springer, doi:10.1007/978-3-540-78800-3_23.
  23. P. C. Ölveczky, J. Meseguer & C. L. Talcott (2006): Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. Formal Methods in System Design 29(3), pp. 253–293, doi:10.1007/s10703-006-0015-0.
  24. P. C. Ölveczky & S. Thorvaldsen (2009): Formal Modeling, Performance Estimation, and Model Checking of Wireless Sensor Network Algorithms in Real-Time Maude. Theoretical Computer Science 410(2-3), pp. 254–280, doi:10.1016/j.tcs.2008.09.022.
  25. J. E. Rivera (2010): On the Semantics of Real-Time Domain Specific Modeling Languages. Universidad de Málaga.
  26. J. E. Rivera, F. Durán & A. Vallecillo (2010): On the Behavioral Semantics of Real-Time Domain Specific Visual Languages. In: Proc. WRLA'10, Lecture Notes in Computer Science 6381. Springer, doi:10.1007/978-3-642-16310-4_12. See also the e-Motions web page http://atenea.lcc.uma.es/index.php/Main_Page/Resources/E-motions.
  27. SAE AADL Team (2009): AADL Homepage. http://www.aadl.info/.
  28. J. Srba (2008): Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets. In: Proc. FORMATS'08, Lecture Notes in Computer Science 5215. Springer, doi:10.1007/978-3-540-85778-5_3.
  29. F. Wang (2004): Formal Verification of Timed Systems: A Survey and Perspective. Proceedings of the IEEE 92(8), pp. 1283–1307, doi:10.1109/JPROC.2004.831197.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org