HighRobot: Distributed Objekt-Oriented Real-Time Systems. - Wolfgang Küchlin; Gerhard Gruhler; Andreas Speck; Thomas Lumpp (ARCS, 1997)

HighRobot: a high-performance universal robot control on parallel workstations. - Wolfgang Küchlin; Gerhard Gruhler; Thomas Lumpp; Andreas Speck (ECBS, 1997)

Konzeption und Realisierung eines Data Warehouse mit dem SAS System. - Michael Nilles; Andreas Speck (Wirtschaftsinf., 1997)

Object-Oriented Control Systems on Standard Hardware. - Andreas Speck (ECOOP Workshops, 1998)

Object-Oriented Real Time Control System. - Andreas Speck (ECOOP Workshop for PhD Students in OO Systems, 1999)

Aspects in Distributed Environments. - Elke Pulvermüller; Herbert Klaeren; Andreas Speck (GCSE, 1999)

A "Framework" for Object Oriented Frameworks Design. - David Parsons 001; Awais Rashid; Andreas Speck; Alexandru C. Telea (TOOLS (29), 1999)

Component-Based Control System. - Andreas Speck (ECBS, 2000)

Aspect Composition Applying the Design by Contract Principle. - Herbert Klaeren; Elke Pulvermüller; Awais Rashid; Andreas Speck (GCSE, 2000)

Implementing Collaboration-Based Designs Using Aspect-Oriented Programming. - Elke Pulvermüller; Andreas Speck; Awais Rashid (TOOLS (34), 2000)

Towards generative components. - Elke Pulvermüller; Andreas Speck (ACM SIGSOFT Softw. Eng. Notes, 2000)

Objektorientierte Software-Technik für industrielle Steuerungssysteme. - Andreas Speck (2000)

Position Paper: Feature Interaction in Composed Systems. - Elke Pulvermüller; Andreas Speck; James Coplien; Maja D'Hondt; Wolfgang De Meuter (FICS, 2001)

Feature Interaction in Composed Systems. - Elke Pulvermüller; Andreas Speck; James Coplien; Maja D'Hondt; Wolfgang De Meuter (ECOOP Workshops, 2001)

EProMS: An E-commerce Based Process Model for Cooperative Software Development in Small Organisations. - Awais Rashid; Ruzanna Chitchyan; Andreas Speck; Elke Pulvermüller (EC-Web, 2001)

A Version Model for Aspect Dependency Management. - Elke Pulvermüller; Andreas Speck; James Coplien (GCSE, 2001)

InterMarket - Towards Intelligent Mobile Agent e-Marketplaces. - Ryszard Kowalczyk; Bogdan Franczyk; Andreas Speck; Peter Braun 002; Jan Eismann; Wilhelm R. Rossak (ECBS, 2002)

Model-Based Software Reuse. - Andreas Speck; Elke Pulvermüller; Ragnhild Van Der Straeten; Ralf H. Reussner; Matthias Clauß (ECOOP Workshops, 2002)

Deploying Mobile and Intelligent Agents in interconnected E-Marketplaces. - Ryszard Kowalczyk; Peter Braun 002; Ingo Müller 001; Wilhelm R. Rossak; Bogdan Franczyk; Andreas Speck (Trans. SDPS, 2003)

Reusable industrial control systems. - Andreas Speck (IEEE Trans. Ind. Electron., 2003)

Applying Model Checking to Workflow Verification. - J.-Hendrik Pfeiffer; Wilhelm R. Rossak; Andreas Speck (ECBS, 2004)

The Operator Hierarchy Concept for XML Document Transformation Technologies. - Daniel Fötsch; Andreas Speck; Peter Hänsgen (Berliner XML Tage, 2005)

A Concept for Modelling and Validation of Web Based Presentation Templates. - Daniel Fötsch; Andreas Speck; Wilhelm R. Rossak; Jörg Krumbiegel (Wirtschaftsinformatik, 2005)

Metrics for software system families. - Sebastian Kiebusch; Bogdan Franczyk; Andreas Speck (ACM SIGSOFT Softw. Eng. Notes, 2005)

A real time measure of software system families. - Sebastian Kiebusch; Bogdan Franczyk; Andreas Speck (ACM SIGSOFT Softw. Eng. Notes, 2005)

Modelling and Verifying of e-Commerce Systems. - Andreas Speck (ReMo2V, 2006)

XTC - The XML Transformation Coordinator for XML Document Transformation Technologies. - Daniel Fötsch; Andreas Speck (DEXA Workshops, 2006)

Process-Family-Points. - Sebastian Kiebusch; Bogdan Franczyk; Andreas Speck (SPW/ProSim, 2006)

An unadjusted size measurement of embedded software system families and its validation. - Sebastian Kiebusch; Bogdan Franczyk; Andreas Speck (Softw. Process. Improv. Pract., 2006)

An architectural pattern for designing component-based application frameworks. - David Parsons 001; Awais Rashid; Alexandru C. Telea; Andreas Speck (Softw. Pract. Exp., 2006)

Business Process Validation. - Andreas Speck (BPSC, 2007)

Business Process Verification. - Sven Feja; Andreas Speck; Elke Pulvermüller (GI Jahrestagung, 2009)

Workshop on business process modeling and realization. - Bernhard Thalheim; Sebastian Stein 002; Andreas Speck (GI Jahrestagung, 2009)

Verification Support for Generative System Development. - Andreas Speck; Elke Pulvermüller (SoMeT, 2009)

Modellgestützte Validierung von WebService-Ketten. - Martin Rost; Andreas Speck (Datenschutz und Datensicherheit, 2009)

Checkable Graphical Business Process Representation. - Sven Feja; Andreas Speck; Sören Witt; Marcel Schulz (ADBIS, 2010)

Managing the Dynamics of E/mCommerce with a Hierarchical Overlapping Business-Value-Framework. - Andreas Rusnjak; Marwane El Kharbili; Hristomir Hristov; Andreas Speck (AINA Workshops, 2010)

Process Model Validation - Transforming Process Models to Extended Checking Models. - Elke Pulvermüller; Andreas Speck; Sven Feja; Sören Witt (ENASE, 2010)

Modellierung und Validierung von Datenschutzanforderungen in Prozessmodellen. - Sven Feja; Sören Witt; Andreas Brosche; Andreas Speck; Christian Prietz (FTVI/FTRI, 2010)

Vorwort zum Workshop "Protokoll basierte Modellierung von Geschäftsinteraktionen". - Andreas Speck; Johannes Reich (GI Jahrestagung (2), 2010)

Realization of Business Processes. - Andreas Speck; Andreas Rusnjak; Marcel Schulz (GI Jahrestagung (2), 2010)

Developer-friendly verification of process-based systems. - Elke Pulvermüller; Sven Feja; Andreas Speck (Knowl. Based Syst., 2010)

Framework for Business Process Verification. - Andreas Speck; Sören Witt; Sven Feja; Aneta Lotyzc; Elke Pulvermüller (BIS, 2011)

Description of protocol rules. - Andreas Speck; Sören Witt; Sven Feja (GI-Jahrestagung, 2011)

BAM: A Requirements Validation and Verification Framework for Business Process Models. - Sven Feja; Sören Witt; Andreas Speck (QSIC, 2011)

Component Composition Validation. - Elke Pulvermüller; Andreas Speck; Sven Feja; Sören Witt (SoMeT, 2011)

Formalizing business process specifications. - Andreas Speck; Sven Feja; Sören Witt; Elke Pulvermüller; Marcel Schulz (Comput. Sci. Inf. Syst., 2011)

Integrated privacy modeling and validation for business process models. - Sören Witt; Sven Feja; Andreas Speck; Christian Prietz (EDBT/ICDT Workshops, 2012)

Rule Determination and Process Verification Using Business Capabilities. - Thomas Stuht; Andreas Speck; Sven Feja; Sören Witt; Elke Pulvermüller (PoEM, 2012)

Integrating Validation Techniques for Process-based Models. - Andreas Speck; Sören Witt; Sven Feja; Sören Feja; Elke Pulvermüller (ENASE, 2013)

Dependencies in business process rule hierarchies. - Elke Pulvermüller; Andreas Speck; Sven Feja; Sören Witt (SoMeT, 2013)

Vorgehensmodellentwurf für Forschungsprototypen. - Sven Niemand; Sven Feja; Sören Witt; Andreas Speck (Vorgehensmodelle, 2013)

Applying Pattern-Based Graphical Validation Rules to Business Process Models. - Sören Witt; Sven Feja; Andreas Speck (ICST Workshops, 2014)

Business Application Modeler: A process model Validation and Verification tool. - Sören Witt; Sven Feja; Andreas Speck; Christian Hadler (RE, 2014)

Modellierung von Regeln für die Prüfung von Prozessmodellen. - Sören Witt; Andreas Speck; Sven Feja; Elke Pulvermüller; Sven Niemand (Wissenschaft und Kunst der Modellierung, 2015)

On Improving the Maintainability of Compliance Rules for Business Processes. - Sven Niemand; Sven Feja; Sören Witt; Andreas Speck (BIS, 2015)

Tool-based checking of business process models. - Andreas Speck; Sören Witt; Sven Feja; Elke Pulvermüller (S-BPM ONE, 2015)

Business process analysis by model checking. - David Kuhlen; Andreas Speck (SIMPDA, 2015)

Visualization of Checking Results for Graphical Validation Rules. - Sören Witt; Sven Feja; Christian Hadler; Andreas Speck; Elke Pulvermüller (SoMeT, 2015)

Bridging the Gap Between Independent Enterprise Architecture Domain Models. - Thomas Stuht; Andreas Speck (BIS, 2016)

The potentials of a code generator which faces the stress ratio of requirements engineering processes in agile development projects. - David Kuhlen; Andreas Speck (Modellierung (Workshops), 2016)

The way of designing a simulation software in order to evaluate the economic performance in software development. - David Kuhlen; Andreas Speck (ICCMS, 2017)

Using Developer-tool-Interactions to Expand Tracing Capabilities. - Dennis Ziegenhagen; Andreas Speck; Elke Pulvermüller (ENASE, 2019)

Expanding Tracing Capabilities Using Dynamic Tracing Data. - Dennis Ziegenhagen; Andreas Speck; Elke Pulvermüller (ENASE (Selected Papers), 2019)

Capturing Tracing Data Life Cycles for Supporting Traceability. - Dennis Ziegenhagen; Elke Pulvermüller; Andreas Speck (ENASE, 2020)

An Industrial Production Scenario as Prerequisite for Applying Intelligent Solutions. - Andreas Speck; Melanie Windrich; Elke Pulvermüller; Dennis Ziegenhagen; Timo Wilgen (KES-HCIS, 2020)

Representing Data Protection Aspects in Process Models by Coloring. - Melanie Windrich; Andreas Speck; Nils Gruschka (APF, 2021)

Decision Model and Notation for Describing Variability in Business Process Product Lines. - Andreas Speck; Aljoscha Jagenow; Melanie Windrich (ENASE, 2021)

Simple Anti-fraud Document Authentication Concept for Public Services. - Christian Mahrt; Andreas Speck (KES-HCIS, 2021)

Business Process Modeling in a Virtual 3D World. - Aljoscha Jagenow; Andreas Speck; Melanie Windrich; Emre Öksüz; Elke Pulvermüller (SoMeT, 2022)

Improved Business Analysis by Using 3D Models. - David Kuhlen; Andreas Speck (ENASE, 2023)

Extension of a Simulation Software to Incorporate Quality-Related Factors in Investigations on Software Engineering Economics. - David Kuhlen; Andreas Speck (Int. J. Softw. Eng. Knowl. Eng., 2023)

Generating Formal Process Models and Decisions from Examination Rules in Natural Text with ChatGPT. - Andreas Speck; Melanie Windrich; Jan Hesse; Melina Sentz; David Kuhlen; Thomas Stuht; Elke Pulvermüller (ENASE, 2025)