Proving the Correctness of Reactive Systems Using Sized Types. - John Hughes 001; Lars Pareto; Amr Sabry (POPL, 1996)

Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming. - John Hughes 001; Lars Pareto (ICFP, 1999)

Types for Crash Preventionn. - Lars Pareto (2000)

Extended abstract: requirements modeling within iterative, incremental processes. - Lars Pareto (MEMOCODE, 2005)

A quality model for design documentation in model-centric projects. - Lars Pareto; Urban Boquist (SOQUA, 2006)

Third Intenational Workshop on Quality in Modeling. - Ludwik Kuzniarz; Lars Pareto; Jean-Louis Sourrouille; Miroslaw Staron (MoDELS (Workshops), 2007)

Continuing professional development by practitioner integrated learning. - Anna Börjesson; Lars Pareto; Ulrika Lundh Snis; Miroslaw Staron (OOPSLA Companion, 2007)

Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA. - Lars Pareto; Miroslaw Staron; Peter S. Eriksson (MoDELS, 2008)

Third International Workshop on Quality in Modeling. - Jean-Louis Sourrouille; Ludwik Kuzniarz; Lars Pareto; Parastoo Mohagheghi; Miroslaw Staron (MoDELS (Workshops), 2008)

Concern Visibility in Base Station Development - An Empirical Investigation. - Lars Pareto; Peter S. Eriksson; Staffan Ehnebom (MoDELS, 2009)

Architectural Descriptions as Boundary Objects in System and Design Work. - Lars Pareto; Peter S. Eriksson; Staffan Ehnebom (MoDELS (2), 2010)

Summary of the First International Workshop on Experiences and Empirical Studies in Software Modelling. - Michel R. V. Chaudron; Marcela Genero; Silvia Abrahão; Parastoo Mohagheghi; Lars Pareto (MoDELS (Workshops), 2011)

Prioritizing Architectural Concerns. - Lars Pareto; Anna Sandberg; Peter S. Eriksson; Staffan Ehnebom (WICSA, 2011)

Agile Collaborative Research: Action Principles for Industry-Academia Collaboration. - Anna Sandberg; Lars Pareto; Thomas Arts (IEEE Softw., 2011)

EESSMOD 2012 Workshop Summary. - Michel Chaudron; Lars Pareto; Marcela Genero; Silvia Abrahão (EESSMod@MoDELS, 2012)

Enablers and inhibitors for speed with reuse. - Antonio Martini 001; Lars Pareto; Jan Bosch (SPLC (1), 2012)

Collaborative prioritization of architectural concerns. - Lars Pareto; Anna Börjesson Sandberg; Peter S. Eriksson; Staffan Ehnebom (J. Syst. Softw., 2012)

Concern coverage in base station development: an empirical investigation. - Lars Pareto; Peter S. Eriksson; Staffan Ehnebom (Softw. Syst. Model., 2012)

Improving Businesses Success by Managing Interactions among Agile Teams in Large Organizations. - Antonio Martini 001; Lars Pareto; Jan Bosch (ICSOB, 2013)

Communication factors for speed and reuse in large-scale agile software development. - Antonio Martini 001; Lars Pareto; Jan Bosch (SPLC, 2013)

Role of Architects in Agile Organizations. - Antonio Martini 001; Lars Pareto; Jan Bosch (Continuous Software Engineering, 2014)

Teams Interactions Hindering Short-Term and Long-Term Business Goals. - Antonio Martini 001; Lars Pareto; Jan Bosch (Continuous Software Engineering, 2014)

A Framework for Speeding Up Interactions Between Agile Teams and Other Parts of the Organization. - Antonio Martini 001; Lars Pareto; Jan Bosch (Continuous Software Engineering, 2014)

An Industrial Case Study on using Language Workbench Technology for Realizing Model-Driven Engineering. - Xi Zhu; Congchi Phung; Lars Pareto; Staffan Ehnebom; Mikael Krekola; Magnus Christerson; Mats Helander (MODELSWARD, 2014)

Towards Introducing Agile Architecting in Large Companies: The CAFFEA Framework. - Antonio Martini 001; Lars Pareto; Jan Bosch (XP, 2015)

A multiple case study on the inter-group interaction speed in large, embedded software companies employing agile. - Antonio Martini 001; Lars Pareto; Jan Bosch (J. Softw. Evol. Process., 2016)