Lars Pareto

Lars Pareto
Software Engineering
pareto at chalmers dot se
+46 31 772 60 40

Work description

Lars Pareto is a senior lecturer at the Department of Computer Science and Engineering. He is member of the software engineering and management (SE&M) research group, and teaches at the department's two software engineering programmes.

Software Engineering and Management Research

Bachelor's programme in Software Engineering

Master's programme in Software Engineering

Research

My research interests are in software quality with embedded systems as a recurring theme. In the past, my primary focus was on program verification (static analysis, model checking). Nowadays, I'm more interested the technical and organizational challenges of large scale implementation of model driven development in the context of complex embedded systems development.

Present focus area: model based software engineering.

Referer to the SE&M research web, for a list of research projects.

Software Engineering and Management Research

Teaching

I'm currently teaching:

Model Driven Development

Technical Analysis and Design

Publikationer 2012

Chaudron, Michel; Pareto, Lars; Genero, Marcela; Abrahão, Silvia: Proceedings of the 2nd Workshop on Experiences and Empirical Studies in Software Modelling. Research Reports in Software Engineering and Management, (2012:3) Göteborg : University of Gothenburg.

Martini, Antonio; Pareto, Lars; Bosch, Jan: Enablers and inhibitors for speed with reuse . SPLC '12: Proceedings of the 16th International Software Product Line Conference, 1

Martini, Antonio; Pareto, Lars; Bosch, Jan: Enablers and inhibitors for speed with reuse . ACM International Conference Proceeding Series, pp. 116-125. ISBN/ISSN: 978-145031095-6

Pareto, Lars; Sandberg, Anna; Eriksson, Peter; Ehnebom, Staffan: Collaborative Prioritization of Architectural Concerns. Journal of Systems and Software , 85 (9) pp. 1971-1994.

Pareto, Lars; Eriksson, P.; Ehnebom, S.: Concern coverage in base station development: an empirical investigation. Software and Systems Modeling, 11 (3) pp. 409-429.

2011

Pareto, Lars; Sandberg, Anna; Eriksson, Peter; Ehnebom, Staffan: Prioritizing Architectural Concerns. Software Architecture (WICSA), 2011 9th Working IEEE/IFIP Conference on. 20-24 June 2011, Boulder, Colorado, USA., pp. 22-31 . ISBN/ISSN: 978-1-61284-399-5

Sandberg, Anna; Pareto, Lars; Arts, Thomas: Agile Collaborative Research: Action Principles for Industry-Academia Collaboration. IEEE Software, 28 (4) pp. 74-83.

2010

Pareto, Lars; Eriksson, Peter; Ehnebom, Staffan: Architectural Descriptions as Boundary Objects in System and Design Work. Lecture Notes in Computer Science. 13th International Conference on Model Driven Engineering Languages and Systems, MODELS 2010, Oslo, 3-8 October 2010, 6395 pp. 406-419. ISBN/ISSN: 978-364216128-5

2009

Pareto, Lars; Eriksson, P; Ehnbebom, Staffan: Concern Visibility in Base Station Development - an Empirical Investigation. Andy Schuerr, Bran Selic (Eds): Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, Colorado, USA, Proceedings. Lecture Notes in Computer Science 5795,Springer Verlag (2009) , LNCS 5975

2008

Pareto, Lars; Staron, Miroslaw; Eriksson, P: Ontology guided evolution of complex embedded systems projects in the direction of MDA. Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Lecture Notes in Computer Science (LNCS), 5301 pp. 874-888. ISBN/ISSN: 978-3-540-87874-2

Pareto, Lars; Staron, Miroslaw; Eriksson, P: Strategic software process improvement by technology roadmapping. Proceedings of the Nordic Workshop on Model Driven Engineering NW-MoDE 2008 Reykjavík, Iceland 20-22 August, 2008, Engineering Research Institute, University of Iceland., pp. 145-159. ISBN/ISSN: ISBN 978-9979-70-483-6

Pareto, Lars; Lange, Christian; Mohagheghi, Parastoo; Dehlen, Vegard; Staron, Miroslaw; Bohours, Cédric; Weil, Frank; Bastarrica, Cecilia; Rivas, Sebastián; Rossel, Pedro; Kuzniarz, Ludwik: Towards a Unified Quality Model for Models- A Working Session at the 2nd workshop on Quality in Modeling. ISBN/ISSN: ISSN: 1654-4870

2007

Börjesson, Anna; Pareto, Lars; Lundh Snis, Ulrika; Staron, Miroslaw: Continuing Professional Development by Practitioner Integrated LearningContinuing Professional Development by Practitioner Integrated Learning. OOPSLA - Object-Oriented Programing Languages,

2006

Pareto, Lars; Boquist, Urban: A Quality Model for Design Documentation in Model-centric Projects. Proceedings of the Third International Workshop on Software Quality Assurance (SOQUA 2006), Portland, Oregon, USA,

Sjösten-Andersson, Erik; Pareto, Lars: Costs and Benefits of Structure-aware Capture/Replay tools for Graphical User Interface Testing. Proceedings of the Sixth Conference on Software Engineering Research and Practice in Sweden (SERPS06),

2005

Pareto, Lars: Design Abstraction of Formal Requirement Models within the Unified Modeling Language. Fifth Conference on Software Engineering Research and Practice in Sweden (SERPS2005),

Pareto, Lars: Requirements modeling within iterative, incremental processes. Proceedings of the third ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'05), 11-14 July, 2005, Verona, pp. 249 - 250 .

2001

Pareto, Lars: Types for Crash Preventionn. Göteborg : Chalmers University of Technology. Diss.

2000

Pareto, Lars: Types for Crash Prevention. Göteborg : Chalmers University of Technology. Diss. ISBN/ISSN: 91-7197-979-4

1998

Hughes, John; Pareto, Lars: Recursion and dynamic data-structures in bounded space: Towards embedded ML programming. ACM SIGPLAN Notices, 34 (9) pp. 70-81.

Pareto, Lars: Sized types. Göteborg : Chalmers University of Technology. ISBN/ISSN: 91-7197-682-5

1996

Hughes, John; Pareto, Lars; Sabry, Amr: Proving the correctness of reactive systems using sized types. POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 23

Uppdaterad: 07 januari 2011
Ansvarig för sidan: Lars Pareto

 SÖK


DATA- OCH INFORMATIONSTEKNIK - Chalmers tekniska högskola och Göteborgs universitet - 412 96 Göteborg
Telefon: 031-772 1000