Jan Storbank Pedersen

According to our database, Jan Storbank Pedersen authored at least 7 papers between 1980 and 2010.

Collaborative distances:

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

2010

Schedulability Analysis Using Uppaal: Herschel-Planck Case Study.

Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

1999

A Case Study in the Reuse of On-board Embedded Real-Time Software.

Tullio Vardanega, Gert Caspersen, Jan Storbank Pedersen

Proceedings of the Reliable Software Technologies, 1999

1993

Experience from Applications of RAISE.

Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1991

Using RAISE - First Impressions from the LaCoS Applications.

D. L. Chalmers, Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau

Proceedings of the VDM '91, 1991

1989

Some Thoughts on the Use of Special Purpose Languages for Real-Time Programming.

Jan Storbank Pedersen

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1987

VDM in Three Generations of Ada* Formal Descriptions.

Jan Storbank Pedersen

Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987

1980

A Formal Semantics Definition of Sequential Ada.

Jan Storbank Pedersen

Proceedings of the Towards a Formal Description of Ada, 1980