Jan Pedersen

According to our database, Jan Pedersen authored at least 27 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Toward Verifying Cooperatively Scheduled Runtimes Using CSP.

Jan Bækgaard Pedersen, Kevin Chalmers

Formal Aspects Comput., December, 2023

2020

Analysis of a Randomized Controlled Trial of Student Performance in Parallel Programming using a New Measurement Technique.

Patrick Daleiden, Andreas Stefik, Phillip Merlin Uesbeck, Jan Pedersen

ACM Trans. Comput. Educ., 2020

2019

Verifying channel communication correctness for a multi-core cooperatively scheduled runtime using CSP.

Jan Bækgaard Pedersen, Kevin Chalmers

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

2018

The symbiosis of concurrency and verification: teaching and case studies.

Jan Bækgaard Pedersen, Peter H. Welch

Formal Aspects Comput., 2018

2016

An empirical study on the impact of C++ lambdas and programmer experience.

Phillip Merlin Uesbeck, Andreas Stefik, Stefan Hanenberg, Jan Pedersen, Patrick Daleiden

Proceedings of the 38th International Conference on Software Engineering, 2016

2013

Mutually Assured Destruction (or the Joy of Sync).

Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes

Proceedings of the 35th Communicating Process Architectures, 2013

ProcessJ: A Possible Future of Process-Oriented Design.

Jan Bækgaard Pedersen, Marc L. Smith

Proceedings of the 35th Communicating Process Architectures, 2013

The Distributed Application Debugger.

Michael Quinn Jones, Jan Bækgaard Pedersen

Proceedings of the 35th Communicating Process Architectures, 2013

2011

Test suite prioritization by cost-based combinatorial interaction coverage.

Renée C. Bryce, Sreedevi Sampath, Jan B. Pedersen, Schuyler Manchester

Int. J. Syst. Assur. Eng. Manag., 2011

Adding Formal Verification to occam-π.

Peter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown

Proceedings of the 33th Communicating Process Architectures Conference, 2011

Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces.

Jan Bækgaard Pedersen, Matthew Sowders

Proceedings of the 33th Communicating Process Architectures Conference, 2011

2010

Santa Claus: Formal analysis of a process-oriented solution.

Peter H. Welch, Jan Bækgaard Pedersen

ACM Trans. Program. Lang. Syst., 2010

2009

Resumable Java Bytecode - Process Mobility for the JVM.

Jan Bækgaard Pedersen, Brian Kauke

Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

2008

Approximating the buffer allocation problem using epochs.

Jan Bækgaard Pedersen, Alex Brodsky, Jeffrey Sampson

J. Parallel Distributed Comput., 2008

Santa Claus - with Mobile Reindeer and Elves.

Peter H. Welch, Jan Bækgaard Pedersen

Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

Asynchronous Active Objects in Java.

George Oprean, Jan Bækgaard Pedersen

Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques.

Jason Hurt, Jan Bækgaard Pedersen

Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

2006

Classification of Programming Errors in Parallel Message Passing Systems.

Jan Bækgaard Pedersen

Proceedings of the 29th Communicating Process Architectures Conference, 2006

IDLI: An Interactive Message Debugger for Parallel Programs Using LAM-MPI.

Hoimonti Basu, Jan Pedersen

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications & Conference on Real-Time Computing Systems and Applications, 2006

2005

On the complexity of buffer allocation in message passing systems.

Alex Brodsky, Jan Bækgaard Pedersen, Alan S. Wagner

J. Parallel Distributed Comput., 2005

Millipede: A Multilevel Debugging Environment for Distributed Systems.

Erik Tribou, Jan Pedersen

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2005

2003

A Parallel Framework for Simplification of Massive Meshes.

Dmitry Brodsky, Jan Bækgaard Pedersen

Proceedings of the IEEE Symposium on Parallel and Large-Data Visualization and Graphics 2003, 2003

2002

A Deformable Template Model, with Special Reference to Elliptical Templates.

Asger Hobolth, Jan Pedersen, Eva Bjørn Vedel Jensen

J. Math. Imaging Vis., 2002

Parallel Model Simplification of Very Large Polygonal Meshes.

Dmitry Brodsky, Jan Bækgaard Pedersen

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

2001

A class of risk neutral densities with heavy tails.

Niels Væver Hartvig, Jens Ledet Jensen, Jan Pedersen

Finance Stochastics, 2001

Correcting Errors in Message Passing Systems.

Jan Bækgaard Pedersen, Alan S. Wagner

Proceedings of the High-Level Parallel Programming Models and Supportive Environments, 2001

1999

PVMbuilder - A Tool for Parallel Programming.

Jan Bækgaard Pedersen, Alan S. Wagner

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999