Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Massimiliano Di Penta

Discovery of SOA Patterns via Model Checking

2007English

Related publications

Security Engineering of SOA Applications via Reliability Patterns

Journal of Software Engineering and Applications
2011English

Studying the Performance Impact of SOA Design Patterns via Coupled Model Transformations

English

Partial Model Checking via Abstract Interpretation

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2010English

Conformant Planning via Symbolic Model Checking

Journal of Artificial Intelligence Research
Artificial Intelligence
2000English

Streaming Process Discovery and Conformance Checking

2018English

Decomposed Process Discovery and Conformance Checking

2018English

Model Checking

1997English

Process Discovery and Conformance Checking Using Passages

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2014English

Model Checking Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy