Travelled to:1 × France
1 × South Korea
1 × The Netherlands
2 × Canada
2 × Germany
2 × Italy
8 × USA
Collaborated with:D.Ganesan J.Knodel C.Ackermann D.McComas D.Muthig P.Costa R.Cleaveland M.Runesson M.Bartholomew G.Dennis S.Duszynski R.T.Tvedt I.Rus S.S.Sinha R.Ardal R.E.Wiegand H.Femmer M.Naab M.Frey R.Tesoriero R.L.Feldmann G.Karabatis Z.Chen V.P.Janeja A.Betin-Can T.Bultan B.Lux S.Topp P.Carlshamre K.Sandahl B.Regnell J.N.o.Dag R.P.Jetley P.L.Jones Y.Zhang S.Slegel B.Medina L.Ruley R.Wiegand V.Ly T.Tsui R.C.Seacord J.Elm W.Goethert G.A.Lewis D.Plakosh J.E.Robert L.Wrage
Talks about:softwar (10) architectur (8) evalu (4) base (4) product (3) experi (3) design (3) studi (3) control (2) analysi (2)
Person: Mikael Lindvall
DBLP: Lindvall:Mikael
Contributed to:
20152013
2011
2010
2010
2009
200920092006
20052005
20032002
20022001
200120091998Wrote 19 papers:
- ICSE-v2-2015-LindvallGAW #case study #experience #modelling #testing
- Metamorphic Model-Based Testing Applied on NASA DAT — An Experience Report (ML, DG, RA, REW), pp. 129–138.
- ICSE-2013-FemmerGLM #case study #consistency #detection #nondeterminism
- Detecting inconsistencies in wrappers: a case study (HF, DG, ML, DM), pp. 1022–1031.
- WICSA-2011-GanesanLCJJZ #analysis #architecture #re-engineering
- Architecture Reconstruction and Analysis of Medical Device Software (DG, ML, RC, RPJ, PLJ, YZ), pp. 194–203.
- SPLC-2010-GanesanLMBSM #architecture #product line #testing
- Architecture-Based Unit Testing of the Flight Software Product Line (DG, ML, DM, MB, SS, BM), pp. 256–270.
- WCRE-2010-GanesanLRWLT #analysis #architecture
- Architectural Analysis of Systems Based on the Publisher-Subscriber Style (DG, ML, LR, RW, VL, TT), pp. 173–182.
- CSMR-2009-AckermannLD #case study #flexibility #maintenance
- Redesign for Flexibility and Maintainability: A Case Study (CA, ML, GD), pp. 259–262.
- CSMR-2009-DuszynskiKL #architecture #evaluation #named #visualisation
- SAVE: Software Architecture Visualization and Evaluation (SD, JK, ML), pp. 323–324.
- SAC-2009-LindvallFKCJ #network #semantics #using
- Searching for relevant software change artifacts using semantic networks (ML, RLF, GK, ZC, VPJ), pp. 496–500.
- SPLC-2009-GanesanLAMB #architecture #design #product line #verification
- Verifying architectural design rules of the flight software product line (DG, ML, CA, DM, MB), pp. 161–170.
- CSMR-2006-KnodelMNL #architecture #evaluation
- Static Evaluation of Software Architectures (JK, DM, MN, ML), pp. 279–294.
- ASE-2005-Betin-CanBLLT #concurrent #design #verification
- Application of design for verification with concurrency controllers to air traffic control software (ABC, TB, ML, BL, ST), pp. 14–23.
- WICSA-2005-KnodelLM #architecture #evaluation #summary
- Static Evaluation of Software Architectures — A Short Summary (JK, ML, DM), pp. 237–238.
- ICSM-2003-SeacordEGLPRWL
- Measuring Software Sustainability (RCS, JE, WG, GAL, DP, JER, LW, ML), p. 450–?.
- ICSM-2002-TvedtCL #architecture #design #evaluation #process
- Does the Code Match the Design? A Process for Architecture Evaluation (RTT, PC, ML), pp. 393–401.
- LSO-2002-LindvallRS #information management
- Technology Support for Knowledge Management (ML, IR, SSS), pp. 94–103.
- LSO-2001-LindvallFCT #experience #lessons learnt
- Lessons Learned about Structuring and Describing Experience for Three Experience Bases (ML, MF, PC, RT), pp. 106–119.
- RE-2001-CarlshamreSLRD #industrial #overview #release planning #requirements
- An Industrial Survey of Requirements Interdependencies in Software Product Release Plannin (PC, KS, ML, BR, JNoD), pp. 84–93.
- WCRE-1999-AckermannLC99a #behaviour #interactive
- Recovering Views of Inter-System Interaction Behaviors (CA, ML, RC), pp. 53–61.
- ICSM-1998-LindvallR #empirical #maintenance #modelling
- The Visibility of Maintenance in Object Models: An Empirical Study (ML, MR), p. 54–?.