Laguna University Digital Library

Discover books, e-journals, theses, and special collections — all in one place.

INDEX TO PERIODICALS

samplesamplesamplesamplesamplesample

Towards a model-driven approach for multi experience AI-based user interfaces

Elena Planas, Gwendal Daniel, Marco Brambilla & Jordi Cabot

samplesamplesamplesamplesamplesample

A survey on the design space of end-user-oriented languages for specifying robotic missions

Swaib Dragule, Thorsten Berger, Claudio Menghi & Patrizio Pelliccione

samplesamplesamplesamplesamplesample

Optimization framework for DFG--based automated process discovery approaches

Adriano Augusto, Marlon Dumas, Marcello La Rosa, Sander J. J. Leemans & Seppe K. L. M. vanden Broucke

samplesamplesamplesamplesamplesample

A formal approach to finding inconsistencies in a metamodel

Hao Wu & Marie Farrell

samplesamplesamplesamplesamplesample

Multi-paradigm modelling for cyber-physical systems: a descriptive framework

Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe & Andreas Wortmann

samplesamplesamplesamplesamplesample

Implementing QVT-R via semantic interpretation in UML-RSDS

K. Lano & S. Kolahdouz-Rahimi

samplesamplesamplesamplesamplesample

Pragmatic reuse for DSML development: Composing a DSL for hybrid CPS modeling

Stefan Klikovits & Didier Buchs

samplesamplesamplesamplesamplesample

A systematic literature review of cross-domain model consistency checking by model management tools

Weslley Torres, Mark G. J. van den Brand & Alexander Serebrenik

samplesamplesamplesamplesamplesample

An epistemic approach to the formal specification of statistical machine learning

Yusuke Kawamoto

samplesamplesamplesamplesamplesample

Asynchronous session subtyping as communicating automata refinement

Mario Bravetti & Gianluigi Zavattaro

samplesamplesamplesamplesamplesample

Test model coverage analysis under uncertainty: extended version

I. S. W. B. Prasetya & · Rick Klomp

samplesamplesamplesamplesamplesample

Mutation testing with hyperproperties

Andreas Fellner, Mitra Tabaei Befrouei & Georg Weissenbacher

samplesamplesamplesamplesamplesample

Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review

Stefan Gotz, Matthias Tichy & Raffaela Groner

samplesamplesamplesamplesamplesample

Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets

Estefanía Coronado, Valentín Valero, Luis Orozco-Barbosa, Maria-Emilia Cambronero & Fernando L. Pelayo

samplesamplesamplesamplesamplesample

Consistent change propagation within models

Roland Kretschmer, Djamel Eddine Khelladi, Roberto Erick Lopez Herrejon & Alexander Egyed