Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
On the complexity of buffer allocation in message passing systems
Journal of Parallel and Distributed Computing
Analysis of Approximate Petri Nets by Means of Occurrence Graphs
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Approximating the buffer allocation problem using epochs
Journal of Parallel and Distributed Computing
Efficient state-based analysis by introducing bags in Petri nets color domains
ACC'09 Proceedings of the 2009 conference on American Control Conference
Santa Claus: Formal analysis of a process-oriented solution
ACM Transactions on Programming Languages and Systems (TOPLAS)
Analysis of Approximate Petri Nets by Means of Occurrence Graphs
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
| Hi-index | 5.23 |