1. S. Andova, M.G.J. van den Brand & L. Engelen (2011): Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models. In: Proceedings of AMMSE'11, EPTCS 56, pp. 65–79, doi:10.4204/EPTCS.56.5.
  2. D. Angluin (1987): Learning regular sets from queries and counterexamples. Information and computation 75(2), pp. 87–106, doi:10.1016/0890-5401(87)90052-6.
  3. Axini:
  4. D.A. van Beek, A.T. Hofkamp, M.A. Reniers, J.E. Rooda & R.R.H. Schiffelers (2008): Syntax and formal semantics of Chi 2.0. Eindhoven University of Technology, Technical Report.
  5. J.A. Bergstra & J.W. Klop (1984): Process algebra for synchronous communication. Information and control 60(1), pp. 109–137, doi:10.1016/S0019-9958(84)80025-X.
  6. J.P. Bodeveix, M. Filali, J. Lawall & G. Muller (2005): Formal methods meet domain specific languages. In: Proceedings of IFM'05. Springer, pp. 187–206, doi:10.1007/11589976_12.
  7. M.G.J. van den Brand & J.F. Groote (2013): Software Engineering: Redundancy is Key. Science of Computer Programming 97, pp. 75–81, doi:10.1016/j.scico.2013.11.020.
  8. A. van Deursen, P. Klint & J. Visser (2000): Domain-Specific Languages: an annotated bibliography. SIGPLAN Notices 35(6), pp. 26–36, doi:10.1145/352029.352035.
  9. H. Ehrig & C. Ermel (2008): Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. In: Proceedings of ICGT'08, LNCS 5214. Springer-Verlag, pp. 194–210, doi:10.1007/978-3-540-87405-8_14.
  10. Stappers F.P.M. (2012): Bridging Formal Models: An Engineering Perspective. Eindhoven University of Techonology.
  11. J.F. Groote & M.R. Mousavi (2014): Modeling and Analysis of Communicating Systems. MIT press.
  12. S. Keshishzadeh & A.J. Mooij (2016): Formalizing and Testing the Consistency of DSL Transformations. Formal Aspects of Computing (in press), doi:10.1007/s00165-016-0359-1.
  13. S. Keshishzadeh, A.J. Mooij & J. Hooman (2015): Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations. arXiv preprint:1511.08049.
  14. X. Leroy (2009): Formal verification of a realistic compiler. Communications of the ACM 52(7), pp. 107–115, doi:10.1145/1538788.1538814.
  15. mCRL2:
  16. A.J. Mooij, J. Hooman & R. Albers (2013): Gaining Industrial Confidence for the Introduction of Domain-Specific Languages. In: Proceedings of IEESD'13. IEEE, pp. 662–667, doi:10.1109/COMPSACW.2013.83.
  17. POOSL:
  18. M. Sijtema, A. Belinfante, M.I.A. Stoelinga & L. Marinelli (2014): Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost. Science of computer programming 80, pp. 188–209, doi:10.1016/j.scico.2013.04.009.
  19. B.D. Theelen, O. Florescu, M.C.W. Geilen, J. Huang, P.H.A. van der Putten & J.P.M. Voeten (2007): Software/Hardware Engineering with the Parallel Object-Oriented Specification Language. In: Proceedings of MEMOCODE'07. IEEE, pp. 139–148, doi:10.1109/MEMCOD.2007.371231.
  20. J. Tretmans (2008): Model based testing with Labelled Transition Systems. In: Formal methods and testing, LNCS 4949. Springer, pp. 1–38, doi:10.1007/978-3-540-78917-8_1.
  21. J. Verriet, H.L. Liang, R. Hamberg & B. van Wijngaarden (2013): Model-driven development of logistic systems using domain-specific tooling. In: Proceedings of CSD&M. Springer, pp. 165–176, doi:10.1007/978-3-642-34404-6_11.

Comments and questions to:
For website issues: