Communications of the ACM
Learning regular sets from queries and counterexamples
Information and Computation
Learning from examples in sequences and grammatical inference
Syntactic and structural pattern recognition
Theory of finite automata with an introduction to formal languages
Theory of finite automata with an introduction to formal languages
Debugging heterogeneous distributed systems using event-based models of behavior
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Managing software processes in the environment MELMAC
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Automated Analysis of Concurrent Systems with the Constrained Expression Toolset
IEEE Transactions on Software Engineering
Concepts and implementation of a rule-based process engine
ICSE '92 Proceedings of the 14th international conference on Software engineering
Process programming by hindsight
ICSE '92 Proceedings of the 14th international conference on Software engineering
Efficient learning of context-free grammars from positive structural examples
Information and Computation
The Ariadne debugger: scalable application of event-based abstraction
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Learning finite machines with self-clustering recurrent networks
Neural Computation
Prototyping a Process Monitoring Experiment
IEEE Transactions on Software Engineering
SPADE: an environment for software process analysis, design, and enactment
Software process modelling and technology
Automating process discovery through event-data analysis
Proceedings of the 17th international conference on Software engineering
Data mining and knowledge discovery in databases
Communications of the ACM
The KDD process for extracting useful knowledge from volumes of data
Communications of the ACM
Cost-Effective Analysis of In-Place Software Processes
IEEE Transactions on Software Engineering
Inference of Reversible Languages
Journal of the ACM (JACM)
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Inductive Inference: Theory and Methods
ACM Computing Surveys (CSUR)
Reverse Engineering and Design Recovery: A Taxonomy
IEEE Software
Software Process Model Evolution in the SPADE Environment
IEEE Transactions on Software Engineering
Techniques for Process Model Evolution in EPOS
IEEE Transactions on Software Engineering
Scaling Up Rule-Based Software Development Environments
ESEC '91 Proceedings of the 3rd European Software Engineering Conference
Design Process Improvement Case Study Using Process Waiver Data
Proceedings of the 5th European Software Engineering Conference
Learning Stochastic Regular Grammars by Means of a State Merging Method
ICGI '94 Proceedings of the Second International Colloquium on Grammatical Inference and Applications
Forming Grammars for Structured Documents: an Application of Grammatical Inference
ICGI '94 Proceedings of the Second International Colloquium on Grammatical Inference and Applications
Application of OSTIA to Machine Translation Tasks
ICGI '94 Proceedings of the Second International Colloquium on Grammatical Inference and Applications
Using CSP and System Dynamics as Process Engineering Tools
EWSPT '92 Proceedings of the Second European Workshop on Software Process Technology
EWSPT '92 Proceedings of the Second European Workshop on Software Process Technology
Inductive Inference, DFAs, and Computational Complexity
AII '89 Proceedings of the International Workshop on Analogical and Inductive Inference
On Monotonic Strategies for Learning r.e. Languages
AII '94 Proceedings of the 4th International Workshop on Analogical and Inductive Inference: Algorithmic Learning Theory
Machine Discovery in the Presence of Incomplete or Ambiguous Data
AII '94 Proceedings of the 4th International Workshop on Analogical and Inductive Inference: Algorithmic Learning Theory
Efficient Learning of Regular Expressions from Good Examples
AII '94 Proceedings of the 4th International Workshop on Analogical and Inductive Inference: Algorithmic Learning Theory
Language Learning from Good Examples
AII '94 Proceedings of the 4th International Workshop on Analogical and Inductive Inference: Algorithmic Learning Theory
Efficient Algorithm for Learning Simple Regular Expressions from Noisy Examples
AII '94 Proceedings of the 4th International Workshop on Analogical and Inductive Inference: Algorithmic Learning Theory
Endeavors: a process system integration infrastructure
ICSP '96 Proceedings of the Fourth International Conference on the Software Process (ICSP '96)
Event-based detection of concurrency
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Dynamically discovering likely program invariants to support program evolution
Proceedings of the 21st international conference on Software engineering
Software process validation: quantitatively measuring the correspondence of a process to a model
ACM Transactions on Software Engineering and Methodology (TOSEM)
The concept of dynamic analysis
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Discerning behavioral properties by analyzing transaction logs (extended abstract)
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Supporting dynamic distributed work processes with a component and event based approach
Proceedings of the 22nd international conference on Software engineering
Software process analysis: integrating models and data
ACM SIGSOFT Software Engineering Notes
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Usability analysis with Markov models
ACM Transactions on Computer-Human Interaction (TOCHI)
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Trace analysis of Erlang programs
Proceedings of the 2002 ACM SIGPLAN workshop on Erlang
Trace analysis of Erlang programs
ACM SIGPLAN Notices
A Data Warehouse for Workflow Logs
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Discovering Workflow Performance Models from Timed Logs
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Making Work Flow: On the Application of Petri Nets to Business Process Management
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Process Mining: Discovering Direct Successors in Process Logs
DS '02 Proceedings of the 5th International Conference on Discovery Science
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Process mining: a research agenda
Computers in Industry - Special issue: Process/workflow mining
Computers in Industry - Special issue: Process/workflow mining
Mining exact models of concurrent workflows
Computers in Industry - Special issue: Process/workflow mining
Discovering workflow models from activities' lifespans
Computers in Industry - Special issue: Process/workflow mining
Discovering models of behavior for concurrent workflows
Computers in Industry - Special issue: Process/workflow mining
Computers in Industry - Special issue: Process/workflow mining
A Comprehensive and Automated Approach to Intelligent Business Processes Execution Analysis
Distributed and Parallel Databases
Flexible Support and Management of Adaptive Workflow Processes
Information Systems Frontiers
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Efficient incremental algorithms for dynamic detection of likely invariants
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
An experimental card game for teaching software engineering processes
Journal of Systems and Software - Special issue: Software engineering education and training
LearnLib: a library for automata learning and experimentation
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Dynamic restructuring of recovery nets
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
Static object trace extraction for programs with pointers
Journal of Systems and Software - Special issue: Software reverse engineering
Discovering thread interactions in a concurrent system
Journal of Systems and Software - Special issue: Software reverse engineering
Discovering Social Networks from Event Logs
Computer Supported Cooperative Work
Mining of ad-hoc business processes with TeamLog
Data & Knowledge Engineering
An exploratory study of process enactment as input to software process improvement
Proceedings of the 2006 international workshop on Software quality
Mining object behavior with ADABU
Proceedings of the 2006 international workshop on Dynamic systems analysis
Inferring state-based behavior models
Proceedings of the 2006 international workshop on Dynamic systems analysis
Post sequential patterns mining: a new method for discovering structural patterns
Intelligent information processing II
A Rule-Based Approach for Process Discovery: Dealing with Noise and Imbalance in Process Logs
Data Mining and Knowledge Discovery
SMArTIC: towards building an accurate, robust and scalable specification miner
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Discovering the software process by means of stochastic workflow analysis
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: AGILE methodologies for software production
Extending the data warehouse for service provisioning data
Data & Knowledge Engineering - Special issue: ER 2003
Genetic process mining: an experimental evaluation
Data Mining and Knowledge Discovery
Business process mining: An industrial application
Information Systems
Exploring the CSCW spectrum using process mining
Advanced Engineering Informatics
Static specification mining using automata-based abstractions
Proceedings of the 2007 international symposium on Software testing and analysis
Improving process models by discovering decision points
Information Systems
Mining process models with non-free-choice constructs
Data Mining and Knowledge Discovery
Detecting object usage anomalies
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Discovery of SOA patterns via model checking
2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
Dynamic Detection of COTS Component Incompatibility
IEEE Software
Mining modal scenario-based specifications from execution traces of reactive systems
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
The Daikon system for dynamic detection of likely invariants
Science of Computer Programming
Quantifying process equivalence based on observed behavior
Data & Knowledge Engineering
Automatic generation of software behavioral models
Proceedings of the 30th international conference on Software engineering
Tracking in a spaghetti bowl: monitoring transactions using footprints
SIGMETRICS '08 Proceedings of the 2008 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
A genetic programming approach to business process mining
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Improving dynamic software analysis by applying grammar inference principles
Journal of Software Maintenance and Evolution: Research and Practice - Special Issue on Program Comprehension through Dynamic Analysis (PCODA)
Mining temporal rules for software maintenance
Journal of Software Maintenance and Evolution: Research and Practice - Special Issue on Program Comprehension through Dynamic Analysis (PCODA)
Efficient ticket routing by resolution sequence mining
Proceedings of the 14th ACM SIGKDD international conference on Knowledge discovery and data mining
Rough Sets in Oligonucleotide Microarray Data Analysis
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Modular System Verification by Inference, Testing and Reachability Analysis
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Discovery, Verification and Conformance of Workflows with Cancellation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Extraction of business process models from workflow events logs
International Journal of Parallel, Emergent and Distributed Systems
Mining patterns and rules for software specification discovery
Proceedings of the VLDB Endowment
SIFT: a scalable iterative-unfolding technique for filtering execution traces
CASCON '08 Proceedings of the 2008 conference of the center for advanced studies on collaborative research: meeting of minds
Towards comprehensive support for organizational mining
Decision Support Systems
Translating Message Sequence Charts to other Process Languages Using Process Mining
Transactions on Petri Nets and Other Models of Concurrency I
Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering
Transactions on Petri Nets and Other Models of Concurrency I
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
Transactions on Petri Nets and Other Models of Concurrency I
Information Systems
Tracking transaction footprints for non-intrusive end-to-end monitoring
Cluster Computing
Efficiently discovering critical workflows in scientific explorations
Future Generation Computer Systems
Specification mining of symbolic scenario-based models
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Classification and evaluation of timed running schemas for workflow based on process mining
Journal of Systems and Software
A novel approach for process mining based on event types
Journal of Intelligent Information Systems
Log-based transactional workflow mining
Distributed and Parallel Databases
Using Genetic Process Mining Technology to Construct a Time-Interval Process Model
IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
Automatic steering of behavioral model inference
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Crawling and Extracting Process Data from the Web
ADMA '09 Proceedings of the 5th International Conference on Advanced Data Mining and Applications
Inferring Finite-State Models with Temporal Constraints
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Process mining applied to the test process of wafer scanners in ASML
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews - Special issue on information reuse and integration
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
A context driven approach for workflow mining
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Tool supported detection and judgment of nonconformance in process execution
ESEM '09 Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Learning the Control-Flow of a Business Process Using ICN-Based Process Models
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance
Electronic Notes in Theoretical Computer Science (ENTCS)
Business process learning for real time enterprises
BIRTE'06 Proceedings of the 1st international conference on Business intelligence for the real-time enterprises
Generating a process model from a process audit log
BPM'03 Proceedings of the 2003 international conference on Business process management
Process mining framework for software processes
ICSP'07 Proceedings of the 2007 international conference on Software process
Conversation mining in multi-agent systems
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
SePMa: an algorithm that mining sequential processes from hybrid log
PAKDD'07 Proceedings of the 2007 international conference on Emerging technologies in knowledge discovery and data mining
Dynamic testing via automata learning
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Detection of consistent patterns from process enactment data
ICSP'08 Proceedings of the Software process, 2008 international conference on Making globally distributed software development a success story
Towards faithful model extraction based on contexts
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Fuzzy mining: adaptive process simplification based on multi-perspective metrics
BPM'07 Proceedings of the 5th international conference on Business process management
Process mining based on regions of languages
BPM'07 Proceedings of the 5th international conference on Business process management
The need for a process mining evaluation framework in research and practice: position paper
BPM'07 Proceedings of the 2007 international conference on Business process management
Rediscovery of government process model in e-government
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 7
Towards behavioral reflexion models
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Uma experiência em mineração de processos de manutenção de software
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
Fraud detection in process aware systems
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
Using dynamic execution traces and program invariants to enhance behavioral model inference
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Behavioural validation of software engineering artefacts
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Behavioural validation of software engineering artefacts
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Process discovery: capturing the invisible
IEEE Computational Intelligence Magazine
Superstate identification for state machines using search-based clustering
Proceedings of the 12th annual conference on Genetic and evolutionary computation
Generating test cases for specification mining
Proceedings of the 19th international symposium on Software testing and analysis
Are developers complying with the process: an XP study
Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement
Mining process models with prime invisible tasks
Data & Knowledge Engineering
From test cases to FSMs: augmented test-driven development and property inference
Proceedings of the 9th ACM SIGPLAN workshop on Erlang
A framework for the competitive evaluation of model inference techniques
Proceedings of the First International Workshop on Model Inference In Testing
Zinsight: a visual and analytic environment for exploring large event traces
Proceedings of the 5th international symposium on Software visualization
Framework, strategy and evaluation of health care processes with RFID
Decision Support Systems
Content-aware resolution sequence mining for ticket routing
BPM'10 Proceedings of the 8th international conference on Business process management
Beyond process mining: from the past to present and future
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Time prediction based on process mining
Information Systems
A novel approach of process mining with event graph
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Toward objective software process information: experiences from a case study
Software Quality Control
Incrementally discovering testable specifications from program executions
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Workflows to open provenance graphs, round-trip
Future Generation Computer Systems
Mining message sequence graphs
Proceedings of the 33rd International Conference on Software Engineering
New efficient techniques for dynamic detection of likely invariants
ICANNGA'11 Proceedings of the 10th international conference on Adaptive and natural computing algorithms - Volume Part I
Combined static and dynamic automated test generation
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Localizing program logical errors using extraction of knowledge from invariants
SEA'11 Proceedings of the 10th international conference on Experimental algorithms
HAIS'11 Proceedings of the 6th international conference on Hybrid artificial intelligent systems - Volume Part I
Experimental specification mining for enterprise applications
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Mining temporal specifications from object usage
Automated Software Engineering
Refining process models through the analysis of informal work practice
BPM'11 Proceedings of the 9th international conference on Business process management
Model extraction using context information
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Process mining and verification of properties: an approach based on temporal logic
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
BPM'06 Proceedings of the 4th international conference on Business Process Management
Workflow simulation for operational decision support using event graph through process mining
Decision Support Systems
Incremental workflow mining based on document versioning information
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Experiences in discovering, modeling, and reenacting open source software development processes
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Automatically analyzing software processes: experience report
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Mining of flexible manufacturing system using work event logs and petri nets
ADMA'06 Proceedings of the Second international conference on Advanced Data Mining and Applications
Projection approaches to process mining using region-based techniques
Data Mining and Knowledge Discovery
Towards mining structural workflow patterns
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
A generic import framework for process event logs
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Process mining and petri net synthesis
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Mining workflow recovery from event based logs
BPM'05 Proceedings of the 3rd international conference on Business Process Management
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
The prom framework: a new era in process mining tool support
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
A hybrid approach for process mining: using from-to chart arranged by genetic algorithms
HAIS'10 Proceedings of the 5th international conference on Hybrid Artificial Intelligence Systems - Volume Part I
Change mining in adaptive process management systems
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Process mining for ubiquitous mobile systems: an overview and a concrete algorithm
UMICS'04 Proceedings of the Second CAiSE conference on Ubiquitous Mobile Information and Collaboration Systems
A bottom-up workflow mining approach for workflow applications analysis
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
Using dynamic fuzzy ontologies to understand creative environments
FQAS'06 Proceedings of the 7th international conference on Flexible Query Answering Systems
Conformance testing: measuring the fit and appropriateness of event logs and process models
BPM'05 Proceedings of the Third international conference on Business Process Management
Mining staff assignment rules from event-based data
BPM'05 Proceedings of the Third international conference on Business Process Management
Genetic process mining: a basic approach and its challenges
BPM'05 Proceedings of the Third international conference on Business Process Management
LearnLib: a library for automata learning and experimentation
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Towards implicit knowledge discovery from ontology change log data
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
Using process mining metrics to measure noisy process fidelity
EASE'09 Proceedings of the 13th international conference on Evaluation and Assessment in Software Engineering
Process Mining: Overview and Opportunities
ACM Transactions on Management Information Systems (TMIS)
Distributed process discovery and conformance checking
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Discovering process models from event multiset
Expert Systems with Applications: An International Journal
Learning extended FSA from software: An empirical assessment
Journal of Systems and Software
Release engineering practices and pitfalls
Proceedings of the 34th International Conference on Software Engineering
Egidio: a non-invasive approach for synthesizing organizational models
Proceedings of the 34th International Conference on Software Engineering
NOVA workflow: a workflow management tool targeting health services delivery
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Improved artificial negative event generation to enhance process event logs
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Efficient discovery of understandable declarative process models from event logs
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
On mining clinical pathway patterns from medical behaviors
Artificial Intelligence in Medicine
Mining the role-oriented process models based on genetic algorithm
ICSI'12 Proceedings of the Third international conference on Advances in Swarm Intelligence - Volume Part I
Towards a goal recognition model for the organizational memory
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part III
Decomposing process mining problems using passages
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Expert Systems with Applications: An International Journal
Mining event logs to support workflow resource allocation
Knowledge-Based Systems
Typestate-based semantic code search over partial programs
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Mining the execution history of a software system to infer the best time for its adaptation
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Adaptive Automated Teller Machines
Expert Systems with Applications: An International Journal
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Modeling and wafer defect analysis in semiconductor automated material handling systems
Proceedings of the Winter Simulation Conference
Automated Comparison of State-Based Software Models in Terms of Their Language and Structure
ACM Transactions on Software Engineering and Methodology (TOSEM)
Summarizing clinical pathways from event logs
Journal of Biomedical Informatics
Comprehensive rule-based compliance checking and risk management with process mining
Decision Support Systems
Unifying FSM-inference algorithms through declarative specification
Proceedings of the 2013 International Conference on Software Engineering
Producing software by integration: challenges and research directions (keynote)
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Software model synthesis using satisfiability solvers
Empirical Software Engineering
Empirical Software Engineering
Automatic generation of compact formal properties for effective error detection
Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis
Decomposing Petri nets for process mining: A generic approach
Distributed and Parallel Databases
A graph distance based metric for data oriented workflow retrieval with variable time constraints
Expert Systems with Applications: An International Journal
Personal and Ubiquitous Computing
Process Discovery and Conformance Checking Using Passages
Fundamenta Informaticae - Application and Theory of Petri Nets and Concurrency, 2012
Discovery of clinical pathway patterns from event logs using probabilistic topic models
Journal of Biomedical Informatics
Hi-index | 0.01 |
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be difficult, costly, and error prone. This presents a practical barrier to the adoption of process technologies, which would be lowered by automated assistance in creating formal models. To this end, we have developed a data analysis technique that we term process discovery. Under this technique, data describing process events are first captured from an on-going process and then used to generate a formal model of the behavior of that process. In this article we describe a Markov method that we developed specifically for process discovery, as well as describe two additional methods that we adopted from other domains and augmented for our purposes. The three methods range from the purely algorithmic to the purely statistical. We compare the methods and discuss their application in an industrial case study.