A design-oriented method to build correct hypermedia documents

[1]  Djamel Djenouri,et al.  Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method , 2017, J. Integr. Des. Process. Sci..

[2]  Manish Pandey,et al.  Machine learning and systems for the next frontier in formal verification , 2016, 2016 Formal Methods in Computer-Aided Design (FMCAD).

[3]  Li Liu,et al.  Recognizing Complex Activities by a Probabilistic Interval-Based Model , 2016, AAAI.

[4]  Débora C. Muchaluat-Saade,et al.  Spatio-temporal Validation of Multimedia Documents , 2015, DocEng.

[5]  Débora C. Muchaluat-Saade,et al.  A rewriting logic semantics for NCL , 2015, Sci. Comput. Program..

[6]  James P. Bridge,et al.  Machine Learning for First-Order Theorem Proving , 2014, Journal of Automated Reasoning.

[7]  Eduardo Cruz Araújo,et al.  Composer: meeting non-functional aspects of hypermedia authoring environment , 2014, Multimedia Tools and Applications.

[8]  Bernhard Beckert,et al.  Reasoning and Verification: State of the Art and Current Trends , 2014, IEEE Intelligent Systems.

[9]  Ellen J. Bass,et al.  Using Formal Verification to Evaluate Human-Automation Interaction: A Review , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[10]  D. Muchaluat-Saade,et al.  XTemplate 3.0: spatio-temporal semantics and structure reuse for hypermedia compositions , 2012, Multimedia Tools and Applications.

[11]  Jean-Marie Farines,et al.  An approach to verify live NCL applications , 2012, WebMedia.

[12]  Silvano Dal-Zilio,et al.  Real-Time Specification Patterns and Tools , 2012, FMICS.

[13]  Dimitra Giannakopoulou,et al.  A formal framework for design and analysis of human-machine interaction , 2011, 2011 IEEE International Conference on Systems, Man, and Cybernetics.

[14]  Ombretta Gaggi,et al.  Analysis and verification of SMIL documents , 2011, Multimedia Systems.

[15]  Abdelkader Belkhir,et al.  SMIL builder: An incremental authoring tool for SMIL Documents , 2011, TOMCCAP.

[16]  Mamoun Filali,et al.  Formal Verification of AADL Specifications in the Topcased Environment , 2009, Ada-Europe.

[17]  Mamoun Filali,et al.  Fiacre: an Intermediate Language for Model Verification in the Topcased Environment , 2008 .

[18]  Rogério Ferreira Rodrigues,et al.  Live editing of hypermedia documents , 2006, DocEng '06.

[19]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[20]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[21]  F. Vernadat,et al.  The tool TINA – Construction of abstract state spaces for petri nets and time petri nets , 2004 .

[22]  Jean-Pierre Courtiat,et al.  An Approach for the Automatic Generation of RT-LOTOS Specifications from SMIL 2.0 Documents , 2004, J. Braz. Comput. Soc..

[23]  Yi Deng,et al.  Modeling and analyzing SMIL documents in SAM , 2002, Fourth International Symposium on Multimedia Software Engineering, 2002. Proceedings..

[24]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[25]  Jin-Cheon Na,et al.  Dynamic documents: authoring, browsing, and analysis using a high-level petri net-based hypermedia system , 2001, DocEng '01.

[26]  Luiz Fernando Gomes Soares,et al.  Design methodology and formal validation of hypermedia documents , 1998, MULTIMEDIA '98.

[27]  Joseph Sifakis,et al.  Model checking , 1996, Handbook of Automated Reasoning.

[28]  J. Burton,et al.  Hypermedia concepts and research: an overview , 1995 .

[29]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[30]  Jean-Marc Jézéquel,et al.  Model Driven Engineering , 2017, Encyclopedia of GIS.

[31]  Maria Cristina Ferreira de Oliveira,et al.  A statechart-based model for hypermedia applications , 2001, TOIS.

[32]  Maria Cristina Ferreira de Oliveira,et al.  A Statechart-Based Model for Modeling Hypermedia Applications , 2000 .