Jan Bækgaard Pedersen

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 3

Top Topics

Arc Consistency Algorithm

Tree Decompositions

Top Venues

Formal Aspects Comput.

Publications

Jan Bækgaard Pedersen, Kevin Chalmers
Toward Verifying Cooperatively Scheduled Runtimes Using CSP. Formal Aspects Comput. 35 (4) (2023)
Jan Bækgaard Pedersen, Kevin Chalmers
Verifying channel communication correctness for a multi-core cooperatively scheduled runtime using CSP. FormaliSE@ICSE (2019)
Jan Bækgaard Pedersen, Peter H. Welch
The symbiosis of concurrency and verification: teaching and case studies. Formal Aspects Comput. 30 (2) (2018)
Michael Quinn Jones, Jan Bækgaard Pedersen
The Distributed Application Debugger. CPA (2013)
Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes
Mutually Assured Destruction (or the Joy of Sync). CPA (2013)
Jan Bækgaard Pedersen, Marc L. Smith
ProcessJ: A Possible Future of Process-Oriented Design. CPA (2013)
Peter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown
Adding Formal Verification to occam-π. CPA (2011)
Jan Bækgaard Pedersen, Matthew Sowders
Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces. CPA (2011)
Peter H. Welch, Jan Bækgaard Pedersen
Santa Claus: Formal analysis of a process-oriented solution. ACM Trans. Program. Lang. Syst. 32 (4) (2010)
Jan Bækgaard Pedersen, Brian Kauke
Resumable Java Bytecode - Process Mobility for the JVM. CPA (2009)
George Oprean, Jan Bækgaard Pedersen
Asynchronous Active Objects in Java. CPA (2008)
Jason Hurt, Jan Bækgaard Pedersen
Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques. CPA (2008)
Jan Bækgaard Pedersen, Alex Brodsky, Jeffrey Sampson
Approximating the buffer allocation problem using epochs. J. Parallel Distributed Comput. 68 (9) (2008)
Peter H. Welch, Jan Bækgaard Pedersen
Santa Claus - with Mobile Reindeer and Elves. CPA (2008)
Jan Bækgaard Pedersen
Classification of Programming Errors in Parallel Message Passing Systems. CPA (2006)
Alex Brodsky, Jan Bækgaard Pedersen, Alan S. Wagner
On the complexity of buffer allocation in message passing systems. J. Parallel Distributed Comput. 65 (6) (2005)
Alex Brodsky, Jan Bækgaard Pedersen, Alan S. Wagner
On the Complexity of Buffer Allocation in Message Passing Systems CoRR (2003)
Dmitry Brodsky, Jan Bækgaard Pedersen
A Parallel Framework for Simplification of Massive Meshes. IEEE Symposium on Parallel and Large-Data Visualization and Graphics (2003)
Dmitry Brodsky, Jan Bækgaard Pedersen
Parallel Model Simplification of Very Large Polygonal Meshes. PDPTA (2002)
Jan Bækgaard Pedersen, Alan S. Wagner
Correcting Errors in Message Passing Systems. IPDPS (2001)
Jan Bækgaard Pedersen, Alan S. Wagner
Correcting Errors in Message Passing Systems. HIPS (2001)
Jan Bækgaard Pedersen, Alan S. Wagner
PVMbuilder - A Tool for Parallel Programming. Euro-Par (1999)