dblp.uni-trier.dewww.uni-trier.de

Lars Pareto

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
8EELars Pareto, Miroslaw Staron, Peter Eriksson: Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA. MoDELS 2008: 874-888
7EEJean-Louis Sourrouille, Ludwik Kuzniarz, Lars Pareto, Parastoo Mohagheghi, Miroslaw Staron: Third International Workshop on Quality in Modeling. MoDELS Workshops 2008: 285-290
2007
6EELudwik Kuzniarz, Lars Pareto, Jean-Louis Sourrouille, Miroslaw Staron: Third Intenational Workshop on Quality in Modeling. MoDELS Workshops 2007: 271-274
5EEAnna Börjesson, Lars Pareto, Ulrika Lundh Snis, Miroslaw Staron: Continuing professional development by practitioner integrated learning. OOPSLA Companion 2007: 897-907
2006
4EELars Pareto, Urban Boquist: A quality model for design documentation in model-centric projects. SOQUA 2006: 30-37
2005
3EELars Pareto: Extended abstract: requirements modeling within iterative, incremental processes. MEMOCODE 2005: 249-250
1999
2EEJohn Hughes, Lars Pareto: Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming. ICFP 1999: 70-81
1996
1EEJohn Hughes, Lars Pareto, Amr Sabry: Proving the Correctness of Reactive Systems Using Sized Types. POPL 1996: 410-423

Coauthor Index

1Urban Boquist [4]
2Anna Börjesson [5]
3Peter Eriksson [8]
4John Hughes [1] [2]
5Ludwik Kuzniarz [6] [7]
6Parastoo Mohagheghi [7]
7Amr Sabry [1]
8Ulrika Lundh Snis (Ulrika Snis) [5]
9Jean-Louis Sourrouille [6] [7]
10Miroslaw Staron [5] [6] [7] [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)