DAC '96 Proceedings of the 33rd annual Design Automation Conference
A strategy for real-time kernel support in application-specific HW/SW embedded architectures
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Hardware compilation for FPGA-based configurable computing machines
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
An Approach to the Specification and Verification of a Hardware Compilation Scheme
The Journal of Supercomputing
The Journal of Supercomputing
An algebraic hardware/software partitioning algorithm
Journal of Computer Science and Technology
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Serialising Parallel Processes in a Hardware/Software Partitioning Context
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
ParTS: A Partitioning Transformation System
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Towards provably correct hardware/software partitioning using occam
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
A Constructive Approach to Hardware/Software Partitioning
Formal Methods in System Design
Algebraic reasoning for object-oriented programming
Science of Computer Programming - Special issue on program transformation
Simulating a computational grid with networked animat agents
ACSW Frontiers '06 Proceedings of the 2006 Australasian workshops on Grid computing and e-research - Volume 54
Formal Sequentialization of Distributed Systems via Program Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
A Denotational Model for Web Services Choreography
ICDCIT '08 Proceedings of the 5th International Conference on Distributed Computing and Internet Technology
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
An Input/Output Semantics for Distributed Program Equivalence Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Towards a signal calculus for event-based synchronous languages
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
A static communication elimination algorithm for distributed system verification
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Retracing the semantics of CSP
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Deriving two-phase modules for a multi-target hardware compiler
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
A theory of software product line refinement
Theoretical Computer Science
A denotational model for instantaneous signal calculus
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Towards a modeling language for cyber-physical systems
Theories of Programming and Formal Methods
| Hi-index | 5.23 |