|
[1]
|
Assessing the usefulness of a visual programming IDE for large-scale automation software
Software and Systems Modeling,
2023
DOI:10.1007/s10270-023-01084-7
|
|
|
|
|
[2]
|
Fresh Approaches for Structured Text Programmable Logic Controllers Programs Verification
Processes,
2023
DOI:10.3390/pr11030687
|
|
|
|
|
[3]
|
Assessing the usefulness of a visual programming IDE for large-scale automation software
Software and Systems Modeling,
2023
DOI:10.1007/s10270-023-01084-7
|
|
|
|
|
[4]
|
Composing Services with SMT-Based Deployment Optimization and Service Merging Heuristic
2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA),
2023
DOI:10.1109/ETFA54631.2023.10275652
|
|
|
|
|
[5]
|
Structural Analysis of GRAFCET Control Specifications
2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA),
2023
DOI:10.1109/ETFA54631.2023.10275713
|
|
|
|
|
[6]
|
Using Tool Support to Visualize and Interact with IEC 61499 Control Software
2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA),
2023
DOI:10.1109/ETFA54631.2023.10275595
|
|
|
|
|
[7]
|
Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs
2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE),
2023
DOI:10.1109/ISSRE59848.2023.00040
|
|
|
|
|
[8]
|
Engineering Multi-Agent Systems
Lecture Notes in Computer Science,
2023
DOI:10.1007/978-3-031-48539-8_11
|
|
|
|
|
[9]
|
Industrielle Automatisierungs- und Informationstechnik
2023
DOI:10.1007/978-3-662-56355-7_3
|
|
|
|
|
[10]
|
Bad Smells in Steuerungssoftware für automatisierte Produktionssysteme
at - Automatisierungstechnik,
2023
DOI:10.1515/auto-2022-0147
|
|
|
|
|
[11]
|
Automated code compliance checking through building information modelling
Proceedings of the Institution of Civil Engineers - Structures and Buildings,
2023
DOI:10.1680/jstbu.22.00214
|
|
|
|
|
[12]
|
Learning Petri net models from sensor data of conveying systems based on the merging of prefix and postfix trees
at - Automatisierungstechnik,
2022
DOI:10.1515/auto-2021-0101
|
|
|
|
|
[13]
|
A model-driven engineering design process for the development of control software for Intralogistics Systems
at - Automatisierungstechnik,
2022
DOI:10.1515/auto-2021-0068
|
|
|
|
|
[14]
|
Using two case studies to explore the applicability of VIATRA for the model-driven engineering of mechatronic production systems
Software and Systems Modeling,
2022
DOI:10.1007/s10270-021-00962-2
|
|
|
|
|
[15]
|
Towards facilitating software engineering for production systems in industry 4.0 with behavior models
Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings,
2022
DOI:10.1145/3510454.3517070
|
|
|
|
|
[16]
|
Towards facilitating software engineering for production systems in industry 4.0 with behavior models
Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings,
2022
DOI:10.1145/3510454.3517070
|
|
|
|
|
[17]
|
Towards facilitating software engineering for production systems in Industry 4.0 with behavior models
2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
2022
DOI:10.1109/ICSE-Companion55297.2022.9793804
|
|
|
|
|
[18]
|
Component generator for the development of RESTful APIs
2022 26th International Conference on System Theory, Control and Computing (ICSTCC),
2022
DOI:10.1109/ICSTCC55426.2022.9931876
|
|
|
|
|
[19]
|
Towards facilitating software engineering for production systems in industry 4.0 with behavior models
Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings,
2022
DOI:10.1145/3510454.3517070
|
|
|
|
|
[20]
|
A Machine Vision Development Framework for Product Appearance Quality Inspection
Applied Sciences,
2022
DOI:10.3390/app122211565
|
|
|
|
|
[21]
|
Applying Visualization Concepts to Large-Scale Software Systems in Industrial Automation
2022 Working Conference on Software Visualization (VISSOFT),
2022
DOI:10.1109/VISSOFT55257.2022.00029
|
|
|
|
|
[22]
|
Applying Visualization Concepts to Large-Scale Software Systems in Industrial Automation
2022 Working Conference on Software Visualization (VISSOFT),
2022
DOI:10.1109/VISSOFT55257.2022.00029
|
|
|
|
|
[23]
|
Learning Petri net models from sensor data of conveying systems based on the merging of prefix and postfix trees
at - Automatisierungstechnik,
2022
DOI:10.1515/auto-2021-0101
|
|
|
|
|
[24]
|
A model-driven engineering design process for the development of control software for Intralogistics Systems
at - Automatisierungstechnik,
2022
DOI:10.1515/auto-2021-0068
|
|
|
|
|
[25]
|
OSAI: A Component-Based Open Software Architecture for Modern Industrial Control Systems
Arabian Journal for Science and Engineering,
2022
DOI:10.1007/s13369-021-06123-3
|
|
|
|
|
[26]
|
Methodology and Tools to Integrate Industry 4.0 CPS into Process Design and Management: ISA-88 Use Case
Information,
2022
DOI:10.3390/info13050226
|
|
|
|
|
[27]
|
Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge
Computers in Industry,
2021
DOI:10.1016/j.compind.2021.103473
|
|
|
|
|
[28]
|
ArduCode: Predictive Framework for Automation Engineering
IEEE Transactions on Automation Science and Engineering,
2021
DOI:10.1109/TASE.2020.3008055
|
|
|
|
|
[29]
|
Software-Qualitätssicherung im Maschinen- und Anlagenbau: automatisierte Bewertung der technischen Qualität von SPS-Code
e & i Elektrotechnik und Informationstechnik,
2021
DOI:10.1007/s00502-021-00917-x
|
|
|
|
|
[30]
|
A GEMMA-GRAFCET Generator for the Automation Software of Smart Manufacturing Systems
Machines,
2021
DOI:10.3390/machines9100232
|
|
|
|
|
[31]
|
Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy
2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS),
2021
DOI:10.1109/MODELS50736.2021.00026
|
|
|
|
|
[32]
|
Assessing the Usefulness of a Visual Programming IDE for Large-Scale Automation Software
2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS),
2021
DOI:10.1109/MODELS50736.2021.00037
|
|
|
|
|
[33]
|
Towards Service Deployment and Composition in Industry 4.0
2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ),
2021
DOI:10.1109/ETFA45728.2021.9613327
|
|
|
|
|
[34]
|
Catalog of Refactoring Operations for IEC 61499
2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ),
2021
DOI:10.1109/ETFA45728.2021.9613398
|
|
|
|
|
[35]
|
Do you smell it too? Towards Bad Smells in IEC 61499 Applications
2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ),
2021
DOI:10.1109/ETFA45728.2021.9613379
|
|
|
|
|
[36]
|
Reflexivity of Account, Professional Vision, and Computer-Supported Cooperative Work: Working in the Maritime Domain
Proceedings of the ACM on Human-Computer Interaction,
2021
DOI:10.1145/3479514
|
|
|
|
|
[37]
|
Towards Mastering Variability in Software-Intensive Cyber-Physical Production Systems
Procedia Computer Science,
2021
DOI:10.1016/j.procs.2021.01.128
|
|
|
|
|
[38]
|
A GEMMA-GRAFCET Methodology to enable Digital Twin based on Real-Time Coupling
Procedia Computer Science,
2021
DOI:10.1016/j.procs.2021.01.122
|
|
|
|
|
[39]
|
Reflexivity of Account, Professional Vision, and Computer-Supported Cooperative Work: Working in the Maritime Domain
Proceedings of the ACM on Human-Computer Interaction,
2021
DOI:10.1145/3479514
|
|
|
|
|
[40]
|
Software smell detection techniques: A systematic literature review
Journal of Software: Evolution and Process,
2021
DOI:10.1002/smr.2320
|
|
|
|
|
[41]
|
Methodological Approach for Developing Reconfigurable Automation Systems
IEEE Transactions on Industrial Informatics,
2020
DOI:10.1109/TII.2019.2925837
|
|
|
|
|
[42]
|
Analysis of metamodels for model-based production automation system engineering
IET Collaborative Intelligent Manufacturing,
2020
DOI:10.1049/iet-cim.2020.0013
|
|
|
|
|
[43]
|
Software smell detection techniques: A systematic literature review
Journal of Software: Evolution and Process,
2020
DOI:10.1002/smr.2320
|
|
|
|
|
[44]
|
A Software Measure for IEC 61499 Basic Function Blocks
2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA),
2020
DOI:10.1109/ETFA46521.2020.9212090
|
|
|
|
|
[45]
|
Structuring Distributed Control Applications for Adaptability
2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS),
2020
DOI:10.1109/ICPS48405.2020.9274744
|
|
|
|
|
[46]
|
A Cross-disciplinary Model-Based Systems Engineering Workflow of Automated Production Systems Leveraging Socio-technical Aspects
2020 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM),
2020
DOI:10.1109/IEEM45057.2020.9309803
|
|
|
|
|
[47]
|
Semantic Automation Systems, a Suitable Approach for Automation Networks in the Industry 4.0
2019 IEEE 4th Colombian Conference on Automatic Control (CCAC),
2019
DOI:10.1109/CCAC.2019.8921156
|
|
|
|
|
[48]
|
A model-driven approach for transforming GRAFCET specification into PLC code including hierarchical structures
IFAC-PapersOnLine,
2019
DOI:10.1016/j.ifacol.2019.11.457
|
|
|
|
|
[49]
|
Modeling of Automation System Development using Methodological Approach: A Review
2019 2nd International Conference on Power Energy, Environment and Intelligent Control (PEEIC),
2019
DOI:10.1109/PEEIC47157.2019.8976672
|
|
|
|
|
[50]
|
An Improved Industrial Control System Device Logs Processing Method for Process-Based Anomaly Detection
2019 International Conference on Frontiers of Information Technology (FIT),
2019
DOI:10.1109/FIT47737.2019.00037
|
|
|
|
|
[51]
|
Virtual engineering of cyber-physical automation systems: The case of control logic
Advanced Engineering Informatics,
2019
DOI:10.1016/j.aei.2018.11.009
|
|
|
|
|
[52]
|
Panorama general de la Programación Generativa
CIENCIA ergo sum,
2019
DOI:10.30878/ces.v26n1a11
|
|
|
|
|
[53]
|
Control from the Cloud: Edge Computing, Services and Digital Shadow for Automation Technologies*
2019 International Conference on Robotics and Automation (ICRA),
2019
DOI:10.1109/ICRA.2019.8793488
|
|
|
|
|
[54]
|
Automated Reasoning and Knowledge Inference on OPC UA Information Models
2019 IEEE International Conference on Industrial Cyber Physical Systems (ICPS),
2019
DOI:10.1109/ICPHYS.2019.8780114
|
|
|
|
|
[55]
|
A Scalable Architecture for Power Consumption Monitoring in Industrial Production Environments
2019 IEEE International Conference on Fog Computing (ICFC),
2019
DOI:10.1109/ICFC.2019.00024
|
|
|
|
|
[56]
|
Systems, Software and Services Process Improvement
Communications in Computer and Information Science,
2019
DOI:10.1007/978-3-030-28005-5_53
|
|
|
|
|
[57]
|
THE INTELLIGENT PLANT – A NEW APPROACH FOR METALS MANUFACTURING
ABM Proceedings,
2018
DOI:10.5151/2237-0234-31563
|
|
|
|
|
[58]
|
Container-based architecture for flexible industrial control applications
Journal of Systems Architecture,
2018
DOI:10.1016/j.sysarc.2018.03.002
|
|
|
|
|
[59]
|
Analyzing the industrial scalability of backwards compatible intralogistics systems
Production Engineering,
2018
DOI:10.1007/s11740-018-0817-0
|
|
|
|
|
[60]
|
An overview of current technologies and emerging trends in factory automation
International Journal of Production Research,
2018
DOI:10.1080/00207543.2018.1510558
|
|
|
|
|
[61]
|
IMPROVE - Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency
Technologien für die intelligente Automation,
2018
DOI:10.1007/978-3-662-57805-6_3
|
|
|
|
|
[62]
|
Alternatives for Flexible Deployment Architectures in Industrial Automation Systems
2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA),
2018
DOI:10.1109/ETFA.2018.8502526
|
|
|
|
|
[63]
|
Modellbasierte Verfahren in der Automation von Produktionsanlagen
at - Automatisierungstechnik,
2018
DOI:10.1515/auto-2018-0042
|
|
|
|
|
[64]
|
Supporting evolution of automated material flow systems as part of CPPS by using coupled meta models
2018 IEEE Industrial Cyber-Physical Systems (ICPS),
2018
DOI:10.1109/ICPHYS.2018.8387678
|
|
|
|
|
[65]
|
A Methodological Approach to Model-Driven Design and Development of Automation Systems
IEEE Transactions on Automation Science and Engineering,
2018
DOI:10.1109/TASE.2016.2574644
|
|
|
|
|
[66]
|
Semantic Device and System Modeling for Automation Systems and Sensor Networks
IEEE Transactions on Industrial Informatics,
2018
DOI:10.1109/TII.2018.2796861
|
|
|
|
|
[67]
|
Modellbasierte Verfahren in der Automation von Produktionsanlagen
at - Automatisierungstechnik,
2018
DOI:10.1515/auto-2018-0042
|
|
|
|
|
[68]
|
Model-based availability analysis for automated production systems
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design,
2017
DOI:10.1145/3127041.3127051
|
|
|
|
|
[69]
|
Using self-organizing maps to learn hybrid timed automata in absence of discrete events
2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA),
2017
DOI:10.1109/ETFA.2017.8247695
|
|
|
|
|
[70]
|
SAMBA: A self-aware health monitoring architecture for distributed industrial systems
IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society,
2017
DOI:10.1109/IECON.2017.8216594
|
|
|
|
|
[71]
|
Requirements for the next generation automation solution of rolling mills
IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society,
2017
DOI:10.1109/IECON.2017.8217471
|
|
|
|
|
[72]
|
Fundamentals for the next generation of automation solutions of the fourth industrial revolution
2017 11th Asian Control Conference (ASCC),
2017
DOI:10.1109/ASCC.2017.8287596
|
|
|
|
|
[73]
|
Overcoming challenges to air force satellite ground control automation
2017 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA),
2017
DOI:10.1109/COGSIMA.2017.7929585
|
|
|
|
|
[74]
|
Model-based availability analysis for automated production systems
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17,
2017
DOI:10.1145/3127041.3127051
|
|
|
|
|
[75]
|
A configurable partial-order planning approach for field level operation strategies of PLC-based industry 4.0 automated manufacturing systems
Engineering Applications of Artificial Intelligence,
2017
DOI:10.1016/j.engappai.2017.06.014
|
|
|
|
|
[76]
|
Learning environment for software product lines online learning applications
2017 8th International Conference on Information Technology (ICIT),
2017
DOI:10.1109/ICITECH.2017.8079933
|
|
|
|
|
[77]
|
A Light-Weight Fault Injection Approach to Test Automated Production System PLC Software in Industrial Practice
Control Engineering Practice,
2017
DOI:10.1016/j.conengprac.2016.09.012
|
|
|
|
|
[78]
|
Static Code Analysis of IEC 61131-3 Programs: Comprehensive Tool Support and Experiences from Large-Scale Industrial Application
IEEE Transactions on Industrial Informatics,
2017
DOI:10.1109/TII.2016.2604760
|
|
|
|
|
[79]
|
Modularity and architecture of PLC-based software for automated production Systems: An analysis in industrial companies
Journal of Systems and Software,
2017
DOI:10.1016/j.jss.2017.05.051
|
|
|
|
|
[80]
|
Transformation of GRAFCET to PLC code including hierarchical structures
Control Engineering Practice,
2017
DOI:10.1016/j.conengprac.2017.03.012
|
|
|
|
|
[81]
|
Towards an integrated plant engineering process using a data conversion tool for AutomationML
2017 IEEE International Conference on Industrial Technology (ICIT),
2017
DOI:10.1109/ICIT.2017.7915534
|
|
|
|
|
[82]
|
The Semantic Web
Lecture Notes in Computer Science,
2017
DOI:10.1007/978-3-319-58451-5_5
|
|
|
|
|
[83]
|
Pattern-based control-code synthesis
2016 IEEE 14th International Conference on Industrial Informatics (INDIN),
2016
DOI:10.1109/INDIN.2016.7819330
|
|
|
|
|
[84]
|
Automating Analytics: How to Learn Metadata Such That Our Buildings Can Learn from Us
2016 IEEE International Conference on Sensing, Communication and Networking (SECON Workshops),
2016
DOI:10.1109/SECONW.2016.7746804
|
|
|
|
|
[85]
|
Engineering of automation systems using a metamodel implemented in AutomationML
2016 IEEE 14th International Conference on Industrial Informatics (INDIN),
2016
DOI:10.1109/INDIN.2016.7819187
|
|
|
|
|
[86]
|
Distributed Control Applications
Industrial Information Technology,
2016
DOI:10.1201/b19391-16
|
|
|
|
|
[87]
|
An Agile Information Processing Framework for High Pressure Die Casting Applications in Modern Manufacturing Systems
Procedia CIRP,
2016
DOI:10.1016/j.procir.2015.12.134
|
|
|
|
|
[88]
|
Engineering Methods and Tools for Cyber–Physical Automation Systems
Proceedings of the IEEE,
2016
DOI:10.1109/JPROC.2015.2510665
|
|
|
|
|
[89]
|
Automated Determining of Manufacturing Properties and Their Evolutionary Changes from Event Traces
Intelligent Industrial Systems,
2016
DOI:10.1007/s40903-016-0048-7
|
|
|
|
|
[90]
|
Improving Transferability Between Different Engineering Stages in the Development of Automated Material Flow Modules
IEEE Transactions on Automation Science and Engineering,
2016
DOI:10.1109/TASE.2016.2576022
|
|
|
|
|
[91]
|
Automation, Communication and Cybernetics in Science and Engineering 2015/2016
2016
DOI:10.1007/978-3-319-42620-4_71
|
|
|
|
|
[92]
|
DTT-MAT: A software toolbox on a design-to-test approach for testing of embedded programmable controllers
2016 IEEE International Conference on Automation Science and Engineering (CASE),
2016
DOI:10.1109/COASE.2016.7743494
|
|
|
|
|
[93]
|
Enhancing a model-based engineering approach for distributed manufacturing automation systems with characteristics and design patterns
Journal of Systems and Software,
2015
DOI:10.1016/j.jss.2014.12.028
|
|
|
|
|
[94]
|
Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps
Journal of Software Engineering and Applications,
2015
DOI:10.4236/jsea.2015.89048
|
|
|
|
|
[95]
|
A low-cost PackML-based control solution for a modular production line
IFAC-PapersOnLine,
2015
DOI:10.1016/j.ifacol.2015.08.129
|
|
|
|
|
[96]
|
Learning Behaviour Models of Discrete Event Production Systems from Observing Input/Output Signals
IFAC-PapersOnLine,
2015
DOI:10.1016/j.ifacol.2015.06.309
|
|
|
|
|
[97]
|
Evolution of software in automated production systems: Challenges and research directions
Journal of Systems and Software,
2015
DOI:10.1016/j.jss.2015.08.026
|
|
|
|
|
[98]
|
Challenges for maintenance of PLC-software and its related hardware for automated production systems: Selected industrial Case Studies
2015 IEEE International Conference on Software Maintenance and Evolution (ICSME),
2015
DOI:10.1109/ICSM.2015.7332487
|
|
|
|
|
[99]
|
Towards an abstraction layer for PLC programming using object-oriented features of IEC61131-3 applied to motion control
IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society,
2015
DOI:10.1109/IECON.2015.7392115
|
|
|
|
|
[100]
|
Variant management for control blocks
2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA),
2015
DOI:10.1109/ETFA.2015.7301551
|
|
|
|
|
[101]
|
Supporting commissioning of production plants by model-based testing and model learning
2015 IEEE 24th International Symposium on Industrial Electronics (ISIE),
2015
DOI:10.1109/ISIE.2015.7281537
|
|
|
|
|
[102]
|
Generating automatically the documentation from PLC code by D4T3 to improve the usability and life cycle management of software in automation
2015 IEEE International Conference on Automation Science and Engineering (CASE),
2015
DOI:10.1109/CoASE.2015.7294057
|
|
|
|
|
[103]
|
Selected challenges of software evolution for automated production systems
2015 IEEE 13th International Conference on Industrial Informatics (INDIN),
2015
DOI:10.1109/INDIN.2015.7281753
|
|
|
|
|
[104]
|
Architecture-Based Assessment and Planning of Software Changes in Information and Automated Production Systems State of the Art and Open Issues
2015 IEEE International Conference on Systems, Man, and Cybernetics,
2015
DOI:10.1109/SMC.2015.130
|
|
|
|
|
[105]
|
Learning material flow models for manufacturing plants from data traces
2015 IEEE 13th International Conference on Industrial Informatics (INDIN),
2015
DOI:10.1109/INDIN.2015.7281750
|
|
|
|
|
[106]
|
Proving equivalence between control software variants for Programmable Logic Controllers
2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA),
2015
DOI:10.1109/ETFA.2015.7301603
|
|
|
|
|
[107]
|
Verification and validation based on the generation of testing sequences from timing diagram specifications in industrial automation
IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society,
2015
DOI:10.1109/IECON.2015.7392529
|
|
|
|
|
[108]
|
Technical debt in Automated Production Systems
2015 IEEE 7th International Workshop on Managing Technical Debt (MTD),
2015
DOI:10.1109/MTD.2015.7332624
|
|
|
|
|
[109]
|
Formal Methods and Software Engineering
Lecture Notes in Computer Science,
2015
DOI:10.1007/978-3-319-25423-4_15
|
|
|
|
|
[110]
|
Modeling and Implementation of Automation Systems Applying Project Methodologies – Thermal Shrink Packaging Machine
Applied Mechanics and Materials,
2015
DOI:10.4028/www.scientific.net/AMM.727-728.740
|
|
|
|