Simon Moser

According to our database, Simon Moser authored at least 36 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Securing Network-Booting Linux Systems at the Example of bwLehrpool and bwForCluster NEMO.

Simon Moser

CoRR, 2024

2021

The 'Industrial Symbiosis Gap': information asymmetries are the main challenge for industrial symbiosis - evidence from four Austrian testbeds with a focus on heat exchange.

Simon Moser, Valerie Rodin

Elektrotech. Informationstechnik, 2021

2018

Static analysis and process model transformation for an advanced business process to Petri net mapping.

Thomas S. Heinze, Wolfram Amme, Simon Moser

Softw. Pract. Exp., 2018

2017

Systemische Notwendigkeit zur Weiterentwicklung von Hybridnetzen.

Robert Tichler, Simon Moser

Elektrotech. Informationstechnik, 2017

2014

Software defined environments based on TOSCA in IBM cloud implementations.

Gerd Breiter, Michael Behrendt, M. Gupta, Simon Daniel Moser, R. Schulze, I. Sippli, Thomas Spatzier

IBM J. Res. Dev., 2014

Message Assertions and Predicate-Based Control-Flow Unfolding Revisited.

Thomas S. Heinze, Wolfram Amme, Simon Moser

Proceedings of the 6th Central-European Workshop on Services and their Composition, 2014

Compiling More Precise Petri Net Models for an Improved Verification of Service Implementations.

Thomas S. Heinze, Wolfram Amme, Simon Moser

Proceedings of the 7th IEEE International Conference on Service-Oriented Computing and Applications, 2014

Portable Green Cloud Services.

Stephan Ulbricht, Wolfram Amme, Thomas S. Heinze, Simon Moser, Hans-Dieter Wehle

Proceedings of the CLOSER 2014, 2014

2013

Control Flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT Solving.

Thomas S. Heinze, Wolfram Amme, Simon Moser

Proceedings of the 5^th Central-European Workshop on Services and their Composition, 2013

Integrating Configuration Management with Model-driven Cloud Management based on TOSCA.

Johannes Wettinger, Michael Behrendt, Tobias Binz, Uwe Breitenbücher, Gerd Breiter, Frank Leymann, Simon Moser, Isabell Schwertle, Thomas Spatzier

Proceedings of the CLOSER 2013, 2013

2012

Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information.

Thomas S. Heinze, Wolfram Amme, Simon Moser, Kai Gebhardt

Proceedings of the 4^th Central-European Workshop on Services and their Composition, 2012

2011

Effiziente Abschätzung von Datenflussfehlern in strukturierten Geschäftsprozessen.

Thomas S. Heinze, Wolfram Amme, Simon Moser

Proceedings of the 3rd Central-European Workshop on Services and their Composition, 2011

2010

Prozessumstrukturierung unter Berücksichtigung von Nachrichteninhalten.

Thomas S. Heinze, Wolfram Amme, Simon Moser

Proceedings of the 2nd Central-European Workshop on Services and their Composition, 2010

Process Restructuring in the Presence of Message-Dependent Variables.

Thomas S. Heinze, Wolfram Amme, Simon Moser

Proceedings of the Service-Oriented Computing, 2010

2009

Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis.

Wolfram Amme, Axel Martens, Simon Moser

Int. J. Bus. Process. Integr. Manag., 2009

Umstrukturierung von WS-BPEL-Prozessen zur Verbesserung des Validierungsverhaltens.

Thomas S. Heinze, Wolfram Amme, Simon Moser

Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009

Verifying Business Rules Using an SMT Solver for BPEL Processes.

Ganna Monakova, Oliver Kopp, Frank Leymann, Simon Moser, Klaus Schäfers

Proceedings of the Business Process, 2009

A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs.

Thomas S. Heinze, Wolfram Amme, Simon Moser

Proceedings of the Business Process Management, 7th International Conference, 2009

The Dichotomy of Modeling and Execution.

Matthias Kloppmann, Dieter König, Simon Moser

Proceedings of the Handbook of Research on Business Process Modeling., 2009

2008

Extending the compatibility notion for abstract WS-BPEL processes.

Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf

Proceedings of the 17th International Conference on World Wide Web, 2008

Automatic Workflow Graph Refactoring and Completion.

Jussi Vanhatalo, Hagen Völzer, Frank Leymann, Simon Moser

Proceedings of the Service-Oriented Computing, 2008

Generic CSSA-Based Pattern over Boolean Data for an Improved WS-BPEL to Petri Net Mappping.

Thomas S. Heinze, Wolfram Amme, Simon Moser

Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

2007

Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis.

Simon Moser, Axel Martens, Katharina Görlach, Wolfram Amme, Artur Godlinski

Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007

2006

A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes.

Simon Moser, Axel Martens, Marc Häbich, Jutta A. Mülle

Proceedings of the Business Process Management, 4th International Conference, 2006

Diagnosing SCA Components Using Wombat.

Axel Martens, Simon Moser

Proceedings of the Business Process Management, 4th International Conference, 2006

Analyzing Compatibility of BPEL Processes.

Axel Martens, Simon Moser, Achim Gerhardt, Karoline Funk

Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

2004

Mit "Model-Driven-Architecture (MDA)" und der System Meter Methode zu verbessertem Management von IT-Projekten.

Simon Moser

Proceedings of the Impulse aus der Wirtschaftsinformatik: 5. Liechtensteinisches Wirtschaftsinformatik-Symposium an der Fachhochschule Liechtenstein, 2004

2003

Farbhistogramm-basierte visuelle Monte-Carlo-Lokalisation für mobile Roboter.

Alexander König, Simon Daniel Moser, Horst-Michael Groß

Proceedings of the Autonome Mobile Systeme 2003, 2003

2001

Extending the message flow debugger for MQSI.

Shuxia Tan, Eshrat Arjomandi, Richard F. Paige, Evan Mamas, Simon Moser, Bill O'Farrell

Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative Research, 2001

1999

Cost estimation based on business models.

Simon Moser, Brian Henderson-Sellers, Vojislav B. Misic

J. Syst. Softw., 1999

1997

Measuring Object-Oriented Business Models.

Simon Moser, Brian Henderson-Sellers, Vojislav B. Misic

Proceedings of the TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 1997

From Formal Metamodels to Metrics: An Object-Oriented Approach.

Vojislav B. Misic, Simon Moser

Proceedings of the TOOLS 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, 1997

A Formal Approach to Metamodeling: A Generic Object-Oriented Perspective.

Vojislav B. Misic, Simon Moser

Proceedings of the Conceptual Modeling, 1997

Measuring Class Coupling and Cohesion: A Formal Metamodel Approach.

Simon Moser, Vojislav B. Misic

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996

The Effect of Object-Oriented Frameworks on Developer Productivity.

Simon Moser, Oscar Nierstrasz

Computer, 1996

1995

Metamodels for Object Oriented Systems: A Proposition of Metamodels describing Object Oriented Systems at Consecutive Levels of Abstraction.

Simon Moser

Softw. Concepts Tools, 1995