Andreas Speck

Orcid: 0000-0002-7603-2493

Affiliations:
  • University of Kiel, Germany


According to our database1, Andreas Speck authored at least 72 papers between 1997 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Extension of a Simulation Software to Incorporate Quality-Related Factors in Investigations on Software Engineering Economics.
Int. J. Softw. Eng. Knowl. Eng., January, 2023

Improved Business Analysis by Using 3D Models.
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

2022
Business Process Modeling in a Virtual 3D World.
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2022

2021
Simple Anti-fraud Document Authentication Concept for Public Services.
Proceedings of the Human Centred Intelligent Systems, 2021

Decision Model and Notation for Describing Variability in Business Process Product Lines.
Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021

Representing Data Protection Aspects in Process Models by Coloring.
Proceedings of the Privacy Technologies and Policy - 9th Annual Privacy Forum, 2021

2020
An Industrial Production Scenario as Prerequisite for Applying Intelligent Solutions.
Proceedings of the Human Centred Intelligent Systems, 2020

Capturing Tracing Data Life Cycles for Supporting Traceability.
Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, 2020

2019
Expanding Tracing Capabilities Using Dynamic Tracing Data.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2019

Using Developer-tool-Interactions to Expand Tracing Capabilities.
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

2017
The way of designing a simulation software in order to evaluate the economic performance in software development.
Proceedings of the 8th International Conference on Computer Modeling and Simulation, 2017

2016
The potentials of a code generator which faces the stress ratio of requirements engineering processes in agile development projects.
Proceedings of the Modellierung 2016, 2.-4. März 2016, Karlsruhe - Workshopband, 2016

Bridging the Gap Between Independent Enterprise Architecture Domain Models.
Proceedings of the Business Information Systems - 19th International Conference, 2016

2015
Visualization of Checking Results for Graphical Validation Rules.
Proceedings of the Intelligent Software Methodologies, Tools and Techniques, 2015

Business process analysis by model checking.
Proceedings of the 5th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2015), 2015

Tool-based checking of business process models.
Proceedings of the 7th International Conference on Subject-Oriented Business Process Management, 2015

On Improving the Maintainability of Compliance Rules for Business Processes.
Proceedings of the Business Information Systems - 18th International Conference, 2015

Modellierung von Regeln für die Prüfung von Prozessmodellen.
Proceedings of the Wissenschaft und Kunst der Modellierung, 2015

2014
Business Application Modeler: A process model Validation and Verification tool.
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Applying Pattern-Based Graphical Validation Rules to Business Process Models.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013
Vorgehensmodellentwurf für Forschungsprototypen.
Proceedings of the Vorgehensmodelle 2013, 2013

Dependencies in business process rule hierarchies.
Proceedings of the IEEE 12th International Conference on Intelligent Software Methodologies, 2013

Integrating Validation Techniques for Process-based Models.
Proceedings of the ENASE 2013, 2013

2012
Rule Determination and Process Verification Using Business Capabilities.
Proceedings of the Practice of Enterprise Modeling - 5th IFIP WG 8.1 Working Conference, 2012

Integrated privacy modeling and validation for business process models.
Proceedings of the 2012 Joint EDBT/ICDT Workshops, Berlin, Germany, March 30, 2012, 2012

2011
Formalizing business process specifications.
Comput. Sci. Inf. Syst., 2011

Component Composition Validation.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2011

BAM: A Requirements Validation and Verification Framework for Business Process Models.
Proceedings of the 11th International Conference on Quality Software, 2011

Description of protocol rules.
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

Framework for Business Process Verification.
Proceedings of the Business Information Systems - 14th International Conference, 2011

2010
Developer-friendly verification of process-based systems.
Knowl. Based Syst., 2010

Realization of Business Processes.
Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

Vorwort zum Workshop "Protokoll basierte Modellierung von Geschäftsinteraktionen".
Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

Modellierung und Validierung von Datenschutzanforderungen in Prozessmodellen.
Proceedings of the Vernetzte IT für einen effektiven Staat, 2010

Process Model Validation - Transforming Process Models to Extended Checking Models.
Proceedings of the ENASE 2010, 2010

Managing the Dynamics of E/mCommerce with a Hierarchical Overlapping Business-Value-Framework.
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2010

Checkable Graphical Business Process Representation.
Proceedings of the Advances in Databases and Information Systems, 2010

2009
Modellgestützte Validierung von WebService-Ketten.
Datenschutz und Datensicherheit, 2009

Verification Support for Generative System Development.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009

Workshop on business process modeling and realization.
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Business Process Verification.
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

2007
Business Process Validation.
Proceedings of the Business Process and Services Computing: 1st International Working Conference on Business Process and Services Computing, 2007

2006
An architectural pattern for designing component-based application frameworks.
Softw. Pract. Exp., 2006

An unadjusted size measurement of embedded software system families and its validation.
Softw. Process. Improv. Pract., 2006

Process-Family-Points.
Proceedings of the Software Process Change, 2006

XTC - The XML Transformation Coordinator for XML Document Transformation Technologies.
Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006

Modelling and Verifying of e-Commerce Systems.
Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, 2006

2005
A real time measure of software system families.
ACM SIGSOFT Softw. Eng. Notes, 2005

Metrics for software system families.
ACM SIGSOFT Softw. Eng. Notes, 2005

A Concept for Modelling and Validation of Web Based Presentation Templates.
Proceedings of the Wirtschaftsinformatik 2005: eEconomy, eGovernment, eSociety, 7. Internationale Tagung Wirtschaftsinformatik 2005, Bamberg, 23.2.2005, 2005

The Operator Hierarchy Concept for XML Document Transformation Technologies.
Proceedings of the Berliner XML Tage 2005, 2005

2004
Applying Model Checking to Workflow Verification.
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2003
Reusable industrial control systems.
IEEE Trans. Ind. Electron., 2003

Deploying Mobile and Intelligent Agents in interconnected E-Marketplaces.
Trans. SDPS, 2003

2002
Model-Based Software Reuse.
Proceedings of the Object-Oriented Technology, 2002

InterMarket - Towards Intelligent Mobile Agent e-Marketplaces.
Proceedings of the 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 2002

2001
A Version Model for Aspect Dependency Management.
Proceedings of the Generative and Component-Based Software Engineering, 2001

EProMS: An E-commerce Based Process Model for Cooperative Software Development in Small Organisations.
Proceedings of the Electronic Commerce and Web Technologies, 2001

Feature Interaction in Composed Systems.
Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001

Position Paper: Feature Interaction in Composed Systems.
Proceedings of the ECOOP 2001 Workshop on Feature Interaction in Composed Systems (FICS 2001), 2001

2000
Objektorientierte Software-Technik für industrielle Steuerungssysteme.
PhD thesis, 2000

Towards generative components.
ACM SIGSOFT Softw. Eng. Notes, 2000

Implementing Collaboration-Based Designs Using Aspect-Oriented Programming.
Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

Aspect Composition Applying the Design by Contract Principle.
Proceedings of the Generative and Component-Based Software Engineering, 2000

Component-Based Control System.
Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

1999
A "Framework" for Object Oriented Frameworks Design.
Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

Aspects in Distributed Environments.
Proceedings of the Generative and Component-Based Software Engineering, 1999

Object-Oriented Real Time Control System.
Proceedings of the ECOOP'99 Workshop for PhD Students in OO Systems (PhDOOS '99), 1999

1998
Object-Oriented Control Systems on Standard Hardware.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997
Konzeption und Realisierung eines Data Warehouse mit dem SAS System.
Wirtschaftsinf., 1997

HighRobot: a high-performance universal robot control on parallel workstations.
Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997

HighRobot: Distributed Objekt-Oriented Real-Time Systems.
Proceedings of the Architektur von Rechensystemen, Arbeitsteilige Systemarchitekturen: Konzepte, Lösungen, Anwendungen, Trends, 1997


  Loading...