ACM Transactions on Programming Languages and Systems (TOPLAS)
Reasoning about Java classes: preliminary report
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Should your specification language be typed
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification-consistent coordination model for computations
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
On optimal slicing of parallel programs
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Specification and Validation of Control-Intensive IC's in hopCP
IEEE Transactions on Software Engineering
Java Program Verification via a Hoare Logic with Abrupt Termination
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Verifying BDD Algorithms through Monadic Interpretation
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Exercises in Coalgebraic Specification
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Parallel Data-Flow Analysis of Explicitly Parallel Programs
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Rigorous Design of a Fault Diagnosis and Isolation Algorithm
Hybrid Systems V
On Excusable and Inexcusable Failures
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
A propositional policy algebra for access control
ACM Transactions on Information and System Security (TISSEC)
Exercises in coalgebraic specification
Algebraic and coalgebraic methods in the mathematics of program construction
A linear approximation algorithm for bin packing with absolute approximation factor 3/2
Science of Computer Programming
Hume: a domain-specific language for real-time embedded systems
Proceedings of the 2nd international conference on Generative programming and component engineering
Abstract versus concrete computation on metric partial algebras
ACM Transactions on Computational Logic (TOCL)
ACM SIGACT News
SOBER: statistical model-based bug localization
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Algebras of modal operators and partial correctness
Theoretical Computer Science - Algebraic methodology and software technology
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
BPEL orchestration of secure webmail
Proceedings of the 3rd ACM workshop on Secure web services
ACM Transactions on Computational Logic (TOCL)
Lock-free parallel and concurrent garbage collection by mark&sweep
Science of Computer Programming
Towards imperative modules: reasoning about invariants and sharing of mutable state
Theoretical Computer Science - Components and objects
Computer Languages, Systems and Structures
Statistical Debugging: A Hypothesis Testing-Based Approach
IEEE Transactions on Software Engineering
Modeling And Verification Of Real-Time Systems
Journal of Integrated Design & Process Science
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays
APPT '09 Proceedings of the 8th International Symposium on Advanced Parallel Processing Technologies
Software debugging, testing, and verification
IBM Systems Journal
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards increased road safety: real-time decision making for driverless city vehicles
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Predictable space behaviour in FSM-Hume
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Low-level programming in Hume: an exploration of the HW-Hume level
IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
Formal semantics of DRMA-style programming in BSPlib
PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
Embedded Clarity in Filmification of Methods
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
A calculus of functional BSP programs with projection
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Floyd--hoare logic for quantum programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
A hoare calculus for the verification of synchronous languages
PLPV '12 Proceedings of the sixth workshop on Programming languages meets program verification
Explicit fair scheduling for dynamic control
Concurrency, Compositionality, and Correctness
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A fixpoint semantics of event systems with and without fairness assumptions
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
| Hi-index | 0.00 |