The ASSISTANT project: AI for high level decisions in manufacturing

Gabriel G. Castañé, Alexandre Dolgui, Niki Kousi, +4

International Journal of Production Research

Artificial IntelligenceEngineeringMachine LearningIndustrial EngineeringDigital Manufacturing +18

A framework for evolution of modelling languages

Bart Meyers, Hans Vangheluwe

Science of Computer Programming

EngineeringAutomated ReasoningModel FrameworkModelling LanguagesFormal Methods +5

Semantic adaptation for FMI co-simulation with hierarchical simulators

Cláudio Gomes, Bart Meyers, Joachim Denil, +4

SIMULATION

Artificial IntelligenceEngineeringSubsystem SimulatorsSoftware EngineeringSimulation +17

A generic in-place transformation-based approach to structured model co-evolution

Bart Meyers, Manuel Wimmer, Antonio Cicchetti, +1

Technische Universität Berlin – Universitätsbibliothek

Software MaintenanceEngineeringSoftware EngineeringSoftware AnalysisModel Driven Architecture +20

Explicit semantic adaptation of hybrid formalisms for FMI co-simulation

Joachim Denil, Bart Meyers, Paul De Meulenaere, +1

Hardware ModelingEngineeringComputer ArchitectureSimulationSemantics +20

Knowledge Graphs in Digital Twins for Manufacturing - Lessons Learned from an Industrial Case at Atlas Copco Airpower

Bart Meyers, Johan Van Noten, Pieter Lietaert, +4

IFAC-PapersOnLine

EngineeringDigital TwinningIndustrial CaseIntelligent SystemsSemantic Web +23

Composing textual modelling languages in practice

Bart Meyers, Antonio Cicchetti, Esther Guerra, +1

Textual Modelling LanguagesEngineeringComposition ApproachSoftware EngineeringComplex Systems +23

Automated testing support for reactive domain-specific modelling languages

Bart Meyers, Joachim Denil, István Dávid, +1

EngineeringAutomated ReasoningSoftware TestingFormal MethodsDomain-specific Modelling Languages +12

A Framework for Temporal Verification Support in Domain-Specific Modelling

Bart Meyers, Hans Vangheluwe, Joachim Denil, +1

IEEE Transactions on Software Engineering

EngineeringVerificationSoftware EngineeringModel CheckingSoftware Analysis +20

ASSISTANT: Learning and Robust Decision Support System for Agile Manufacturing Environments

Nicolas Beldiceanu, Alexandre Dolgui, Clemens Gonnermann, +7

IFAC-PapersOnLine