The concept of a supercompiler
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Automated Analysis of Concurrent Systems with the Constrained Expression Toolset
IEEE Transactions on Software Engineering
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
Parameterized partial evaluation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Static detection of deadlocks in polynomial time
Static detection of deadlocks in polynomial time
Data flow analysis for verifying properties of concurrent programs
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Model checking software systems: a case study
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Verification of communication protocols using data flow analysis
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Modeling and verifying active structural control systems
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Model checking graphical user interfaces using abstractions
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Symbolic Model Checking
Evaluating Deadlock Detection Methods for Concurrent Software
IEEE Transactions on Software Engineering
Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC
ESOP '94 Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems
Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree
WSA '93 Proceedings of the Third International Workshop on Static Analysis
Combining Abstract Interpretation and Partial Evaluation (Brief Overview)
SAS '97 Proceedings of the 4th International Symposium on Static Analysis
An empirical comparison of static concurrency analysis techniques
An empirical comparison of static concurrency analysis techniques
Adapting programming languages technologies for finite-state verification
ACM SIGSOFT Software Engineering Notes
Slicing Software for Model Construction
Higher-Order and Symbolic Computation
| Hi-index | 0.00 |