SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Improving processes using static analysis techniques
16 references·0 citing·35 second hop
Improving processes using static analysis techniques (2011)Improving processes using static analysis…The Six Sigma Handbook: A Complete Guide for Green Belts, Black Belts, and Managers at All Levels (2014)The Six Sigma Handbook: A Com…Ensuring reliable datasets for environmental models and forecasts (2007)Ensuring reliable datasets fo…WofBPEL: A Tool for Automated Analysis of BPEL Processes (2005)WofBPEL: A Tool for Automated…Transforming BPEL to Petri Nets (2005)Transforming BPEL to Petri Ne…Applying model checking to BPEL4WS business collaborations (2005)Applying model checking to BP…A Petri Net Semantics for BPEL (2005)A Petri Net Semantics for BPELProcess modeling in-the-large with SLANG (2002)Process modeling in-the-large…Improving system reliability with automatic fault tree generation (2002)Improving system reliability …Automatic synthesis of dynamic fault trees from UML system models (2002)Automatic synthesis of dynami…W. Edwards Deming (2001)W. Edwards DemingThe use of not logic in fault tree analysis (2001)The use of not logic in fault…Software process model evolution in the SPADE environment (1993)Software process model evolut…Fault Tree Analysis: 1020 Prime Implicants and Beyond (1993)Fault Tree Analysis: 1020 Pri…FUNSOFT nets: a Petri-net based software process modeling language (1991)FUNSOFT nets: a Petri-net bas…Out of the Crisis (1982)Out of the CrisisEconomic Control of Quality of Manufactured Product. (1932)Economic Control of Quality o…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Production Workflow - Concepts and Techniques (2000)Pattern-Based Translation of BPMN Process Models to BPEL Web Services (2008)Petri Net Transformations for Business Processes – A Survey (2009)Model repair — aligning process models to reality (2014)The Galileo fault tree analysis tool (2003)Enterprise architecture dependency analysis using fault trees and Bayesian networks (2009)Automatic Synthesis of Static Fault Trees from System Models (2011)A Fast and Accurate Fault Tree Analysis Based on Stochastic Logic Implemented on Field-Programmable Gate Arrays (2012)Diagnosing Workflow Processes using Woflan (2001)Fundamentals of control flow in workflows (2003)Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants (2007)Automated Certification for Compliant Cloud-based Business Processes (2011)Formal verification of complex business processes based on high-level Petri nets (2017)Beyond Accuracy: What Data Quality Means to Data Consumers (1996)Role congruity theory of prejudice toward female leaders. (2002)Transformational, transactional, and laissez-faire leadership styles: A meta-analysis comparing women and men. (2003)Introduction to Monte Carlo simulation (2008)The evolving theory of quality management: The role of Six Sigma (2008)How to improve R&D productivity: the pharmaceutical industry's grand challenge (2010)Procedures for Reacting to a Change in Distribution (1971)Statistical process control as a tool for research and healthcare improvement (2003)Data quality for data science, predictive analytics, and big data in supply chain management: An introduction to the problem and suggestions for research and applications (2014)An approach for defining ways-of-working (1995)A strategy driven business process modelling approach (2005)A Survey on the Flexibility Requirements Related to Business Processes and Modeling Artifacts (2008)Automating process discovery through event-data analysis (1995)Conceptual modeling of workflows (1995)Dynamic workflow schema evolution based on workflow type versioning and workflow migration (1999)MetaPrime: an interactive fault-tree analyzer (1994)An ordering heuristic for building binary decision diagrams from fault-trees (2002)A Multiple-Valued Decision-Diagram-Based Approach to Solve Dynamic Fault Trees (2014)Formal Semantics and Verification of BPMN Transaction and Compensation (2008)A new verification technique for large processes based on identification of relevant tasks (2014)The relationship between workflow graphs and free-choice workflow nets (2014)
this work references cited by second hop

References

  • 1982Out of the Crisis7,278 cited
  • 1932Economic Control of Quality of Manufactured Product.3,069 cited
  • 2014The Six Sigma Handbook: A Complete Guide for Green Belts, Black Belts, and Managers at All Levels578 cited
  • 2005Transforming BPEL to Petri Nets294 cited
  • 1993Software process model evolution in the SPADE environment247 cited
  • 2002Automatic synthesis of dynamic fault trees from UML system models127 cited
  • 2002Process modeling in-the-large with SLANG110 cited
  • 2005WofBPEL: A Tool for Automated Analysis of BPEL Processes103 cited
  • 1993Fault Tree Analysis: 1020 Prime Implicants and Beyond71 cited
  • 2005A Petri Net Semantics for BPEL69 cited
  • 2001W. Edwards Deming67 cited
  • 1991FUNSOFT nets: a Petri-net based software process modeling language55 cited
  • 2005Applying model checking to BPEL4WS business collaborations49 cited
  • 2002Improving system reliability with automatic fault tree generation47 cited
  • 2001The use of not logic in fault tree analysis41 cited
  • 2007Ensuring reliable datasets for environmental models and forecasts

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work

36 cited

Cited by

No citing works inside the corpus for this window.