| Publication | Date of Publication | Type |
|---|
A semantic driven method to check the fineteness of CCS processes
| 2024-04-29 | Paper |
Partial model checking via abstract interpretation
Information Processing Letters | 2010-09-02 | Paper |
Using abstract interpretation to add type checking for interfaces in Java bytecode verification
Theoretical Computer Science | 2010-05-27 | Paper |
Instruction-level security analysis for information flow in stack-based assembly languages
Information and Computation | 2007-09-18 | Paper |
Reduced models for efficient CCS verification
Formal Methods in System Design | 2006-02-20 | Paper |
A FORMULA-DRIVEN MODULAR ATTACK ON STATE EXPLOSION
International Journal of Foundations of Computer Science | 2005-06-22 | Paper |
Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation
The Computer Journal | 2004-11-19 | Paper |
scientific article; zbMATH DE number 2104621 (Why is no real title available?)
| 2004-10-01 | Paper |
scientific article; zbMATH DE number 2064465 (Why is no real title available?)
| 2004-05-18 | Paper |
Timed automata with non-instantaneous actions
Fundamenta Informaticae | 2003-02-02 | Paper |
Abstract interpretation of operational semantics for secure information flow.
Information Processing Letters | 2003-01-21 | Paper |
scientific article; zbMATH DE number 1799514 (Why is no real title available?)
| 2002-09-11 | Paper |
Abstract interpretation of trace semantics for concurrent calculi
Information Processing Letters | 2002-07-25 | Paper |
Efficient verification of a multicast protocol for mobile computing
The Computer Journal. Section A Section B | 2002-04-21 | Paper |
Finite approximations for model checking non-finite-state processes
The Computer Journal. Section A Section B | 2002-04-08 | Paper |
Selective mu-calculus and formula-based equivalence of transition systems
Journal of Computer and System Sciences | 2000-03-19 | Paper |
Towards a logical semantics for pure Prolog
Science of Computer Programming | 2000-01-04 | Paper |
A transformation system for concurrent processes
Acta Informatica | 1999-04-26 | Paper |
scientific article; zbMATH DE number 1487479 (Why is no real title available?)
| 1999-01-01 | Paper |
Algebraic computational models of OR-parallel execution of Prolog
Acta Informatica | 1996-09-25 | Paper |
A Petri nets semantics for data flow networks
Acta Informatica | 1995-12-13 | Paper |
Axiomatizing CCS, nets and processes
Science of Computer Programming | 1994-11-29 | Paper |
Proving finiteness of CCS processes by non-standard semantics
Acta Informatica | 1994-05-10 | Paper |
Development of a debugger for a concurrent language
IEEE Transactions on Software Engineering | 1986-01-01 | Paper |
A framework for data-flow distributed processing
Calcolo | 1981-01-01 | Paper |
