Simon Moser

36 papers A* 1A 5C 4Journal 9Unranked 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
Application and Evaluation of the Common Circles Method.
CoRR
Michael Quellmalz, Mia Kvåle Løvmo, Simon Moser, Franziska Strasser, Monika Ritsch-Marte
2024 J jnl
Securing Network-Booting Linux Systems at the Example of bwLehrpool and bwForCluster NEMO.
CoRR
Simon Moser
2021 J jnl
The 'Industrial Symbiosis Gap': information asymmetries are the main challenge for industrial symbiosis - evidence from four Austrian testbeds with a focus on heat exchange.
Elektrotech. Informationstechnik
Simon Moser, Valerie Rodin
2018 J jnl
Static analysis and process model transformation for an advanced business process to Petri net mapping.
Softw. Pract. Exp.
Thomas S. Heinze, Wolfram Amme, Simon Moser
2017 J jnl
Systemische Notwendigkeit zur Weiterentwicklung von Hybridnetzen.
Elektrotech. Informationstechnik
Robert Tichler, Simon Moser
2014 — conf
Compiling More Precise Petri Net Models for an Improved Verification of Service Implementations.
SOCA
Thomas S. Heinze, Wolfram Amme, Simon Moser
2014 — conf
Message Assertions and Predicate-Based Control-Flow Unfolding Revisited.
ZEUS
Thomas S. Heinze, Wolfram Amme, Simon Moser
2014 C conf
Portable Green Cloud Services.
CLOSER
Stephan Ulbricht, Wolfram Amme, Thomas S. Heinze, Simon Moser, Hans-Dieter Wehle
2013 — conf
Control Flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT Solving.
ZEUS
Thomas S. Heinze, Wolfram Amme, Simon Moser
2013 C conf
Integrating Configuration Management with Model-driven Cloud Management based on TOSCA.
CLOSER
Johannes Wettinger, Michael Behrendt, Tobias Binz, Uwe Breitenbücher, Gerd Breiter, Frank Leymann, Simon Moser, Isabell Schwertle, Thomas Spatzier
2012 — conf
Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information.
ZEUS
Thomas S. Heinze, Wolfram Amme, Simon Moser, Kai Gebhardt
2012 — ed.
Proceedings of the Demonstration Track of the 10th International Conference on Business Process Management (BPM 2012), Tallinn, Estonia, September 4, 2012
BPM (Demos)
Niels Lohmann, Simon Moser
2011 — conf
Effiziente Abschätzung von Datenflussfehlern in strukturierten Geschäftsprozessen.
ZEUS
Thomas S. Heinze, Wolfram Amme, Simon Moser
2010 — conf
Process Restructuring in the Presence of Message-Dependent Variables.
ICSOC Workshops
Thomas S. Heinze, Wolfram Amme, Simon Moser
2010 — conf
Prozessumstrukturierung unter Berücksichtigung von Nachrichteninhalten.
ZEUS
Thomas S. Heinze, Wolfram Amme, Simon Moser
2009 A conf
A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs.
BPM
Thomas S. Heinze, Wolfram Amme, Simon Moser
2009 J jnl
Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis.
Int. J. Bus. Process. Integr. Manag.
Wolfram Amme, Axel Martens, Simon Moser
2009 — ch.
The Dichotomy of Modeling and Execution.
Handbook of Research on Business Process Modeling
Matthias Kloppmann, Dieter König, Simon Moser
2009 — conf
Umstrukturierung von WS-BPEL-Prozessen zur Verbesserung des Validierungsverhaltens.
ZEUS
Thomas S. Heinze, Wolfram Amme, Simon Moser
2009 — conf
Verifying Business Rules Using an SMT Solver for BPEL Processes.
BPSC
Ganna Monakova, Oliver Kopp, Frank Leymann, Simon Moser, Klaus Schäfers
2008 A conf
Automatic Workflow Graph Refactoring and Completion.
ICSOC
Jussi Vanhatalo, Hagen Völzer, Frank Leymann, Simon Moser
2008 A* conf
Extending the compatibility notion for abstract WS-BPEL processes.
WWW
Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf
2008 C conf
Generic CSSA-Based Pattern over Boolean Data for an Improved WS-BPEL to Petri Net Mappping.
ICIW
Thomas S. Heinze, Wolfram Amme, Simon Moser
2007 — conf
Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis.
IEEE SCC
Simon Moser, Axel Martens, Katharina Görlach, Wolfram Amme, Artur Godlinski
2006 A conf
A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes.
Business Process Management
Simon Moser, Axel Martens, Marc Häbich, Jutta A. Mülle
2006 — conf
Analyzing Compatibility of BPEL Processes.
AICT/ICIW
Axel Martens, Simon Moser, Achim Gerhardt, Karoline Funk
2006 A conf
Diagnosing SCA Components Using Wombat.
Business Process Management
Axel Martens, Simon Moser
2004 — conf
Mit "Model-Driven-Architecture (MDA)" und der System Meter Methode zu verbessertem Management von IT-Projekten.
Liechtensteinisches Wirtschaftsinformatik-Symposium
Simon Moser
2001 — conf
Extending the message flow debugger for MQSI.
CASCON
Shuxia Tan, Eshrat Arjomandi, Richard F. Paige, Evan Mamas, Simon Moser, Bill O'Farrell
1999 J jnl
Cost estimation based on business models.
J. Syst. Softw.
Simon Moser, Brian Henderson-Sellers, Vojislav B. Misic
1997 A conf
A Formal Approach to Metamodeling: A Generic Object-Oriented Perspective.
ER
Vojislav B. Misic, Simon Moser
1997 — conf
From Formal Metamodels to Metrics: An Object-Oriented Approach.
TOOLS (24)
Vojislav B. Misic, Simon Moser
1997 C conf
Measuring Class Coupling and Cohesion: A Formal Metamodel Approach.
APSEC
Simon Moser, Vojislav B. Misic
1997 — conf
Measuring Object-Oriented Business Models.
TOOLS (25)
Simon Moser, Brian Henderson-Sellers, Vojislav B. Misic
1996 J jnl
The Effect of Object-Oriented Frameworks on Developer Productivity.
Computer
Simon Moser, Oscar Nierstrasz
1995 J jnl
Metamodels for Object Oriented Systems: A Proposition of Metamodels describing Object Oriented Systems at Consecutive Levels of Abstraction.
Softw. Concepts Tools
Simon Moser