Statecharts: A visual formalism for complex systems
Science of Computer Programming
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
Automated Analysis of Concurrent Systems with the Constrained Expression Toolset
IEEE Transactions on Software Engineering
The Ariadne debugger: scalable application of event-based abstraction
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Observer-A Concept for Formal On-Line Validation of Distributed Systems
IEEE Transactions on Software Engineering
Testing and Debugging Distributed Programs Using Global Predicates
IEEE Transactions on Software Engineering
Automating process discovery through event-data analysis
Proceedings of the 17th international conference on Software engineering
Design Recovery for Distributed Systems
IEEE Transactions on Software Engineering
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Computing Surveys (CSUR)
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
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
Automatic generation of program specifications
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Discovering Workflow Performance Models from Timed Logs
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Process Mining: Discovering Direct Successors in Process Logs
DS '02 Proceedings of the 5th International Conference on Discovery Science
Measuring Behavioral Correspondence to a Timed Concurrent Model
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Process mining: a research agenda
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
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
Verifying mutual exclusion and liveness properties with split preconditions
Journal of Computer Science and Technology
Discovering thread interactions in a concurrent system
Journal of Systems and Software - Special issue: Software reverse engineering
A Rule-Based Approach for Process Discovery: Dealing with Noise and Imbalance in Process Logs
Data Mining and Knowledge Discovery
Mining configurable enterprise information systems
Data & Knowledge Engineering
Discovering Expressive Process Models by Clustering Log Traces
IEEE Transactions on Knowledge and Data 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
Genetic process mining: an experimental evaluation
Data Mining and Knowledge Discovery
The Daikon system for dynamic detection of likely invariants
Science of Computer Programming
Efficient ticket routing by resolution sequence mining
Proceedings of the 14th ACM SIGKDD international conference on Knowledge discovery and data mining
Mining taxonomies of process models
Data & Knowledge Engineering
Information Systems
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
POIROT: acquiring workflows by combining models learned from interpreted traces
Proceedings of the fifth international conference on Knowledge capture
Discovering expressive process models from noised log data
IDEAS '09 Proceedings of the 2009 International Database Engineering & Applications Symposium
A context driven approach for workflow mining
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Generating a process model from a process audit log
BPM'03 Proceedings of the 2003 international conference on Business process management
Mining and re-engineering transactional workflows for reliable executions
ER'07 Proceedings of the 26th international conference on Conceptual modeling
A framework for automatically supporting end-users in service composition
The smart internet
A framework for automatically supporting end-users in service composition
The smart internet
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
Localizing program logical errors using extraction of knowledge from invariants
SEA'11 Proceedings of the 10th international conference on Experimental algorithms
BPM'06 Proceedings of the 4th international conference on Business Process Management
Towards mining structural workflow patterns
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Mining constrained graphs: the case of workflow systems
Proceedings of the 2004 European conference on Constraint-Based Mining and Inductive Databases
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
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
Hi-index | 0.00 |
Understanding the behavior of a system is crucial in being able to modify, maintain, and improve the system. A particularly difficult aspect of some system behaviors is concurrency. While there are many techniques to specify intended concurrent behavior, there are few, if any, techniques to capture and model actual concurrent behavior. This paper presents a technique to discover patterns of concurrent behavior from traces of system events. The technique is based on a probabilistic analysis of the event traces. Using metrics for the number, frequency, and regularity of event occurrences, a determination is made of the likely concurrent behavior being manifested by the system. The technique is useful in a wide variety of software engineering tasks, including architecture discovery, reengineering, user interaction modeling, and software process improvement.