Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andreas Lundblad
Provably Correct Inline Monitoring for Multithreaded Java-Like Programs
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Related publications
Permission-Based Separation Logic for Multithreaded Java Programs
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Provably Correct Compiler Generation
DAIMI Report Series
Formal Techniques for Java-Like Programs
A Concept of Portable Monitoring of Multithreaded Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cooperative Empirical Failure Avoidance for Multithreaded Programs
ACM SIGPLAN Notices
Computer Science
Provably Correct Systems: Community, Connections, and Citations
Provably Correct Systems
Optimization Among Provably Equivalent Programs
Journal of the ACM
Control
Systems Engineering
Information Systems
Hardware
Architecture
Artificial Intelligence
Software
Performance Modeling of Multithreaded Programs for Mobile Asymmetric Chip Multiprocessors
NSeq: A Multithreaded Java Application for Finding Positioned Nucleosomes From Sequencing Data
Frontiers in Genetics
Genetics
Molecular Medicine
