M. Heimdahl
发表
M. Heimdahl,
2006
.
M. Heimdahl,
2005
.
T. Menzies,
B. Cukic,
David Owen,
2004
.
M. Heimdahl,
Mats P.E. Heimdahl,
2004
.
George S. Avrunin,
Kamran Sartipi,
Eleni Stroulia,
2013
.
Steven P. Miller,
M. Heimdahl,
M. Whalen,
2005
.
Gregory Gay,
M. Heimdahl,
2013
.
Sanjai Rayadurgam,
Willem Visser,
Mats P. E. Heimdahl,
2004
.
Mats Per Erik Heimdahl,
Darren D. Cofer,
Michael W. Whalen,
2021,
SAFECOMP.
Michael W. Whalen,
Mats P. E. Heimdahl,
Matt Staats,
2011,
ICSE 2011.
Ajitha Rajan,
Michael W. Whalen,
Mats P. E. Heimdahl,
2008
.
Michael W. Whalen,
Mats P. E. Heimdahl,
Andrew Gacek,
2021,
IEEE Transactions on Software Engineering.
Zhendong Su,
Mats P. E. Heimdahl,
Z. Su,
2012,
ISSTA 2012.
Stephen McCamant,
Vaibhav Sharma,
M. Heimdahl,
2022,
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE).
Eric Van Wyk,
Mats Per Erik Heimdahl,
Jimin Gao,
2007,
FASE.
Michael W. Whalen,
Mats P. E. Heimdahl,
Steven P. Miller,
2006
.
Michael W. Whalen,
Mats P. E. Heimdahl,
Steven P. Miller,
2005
.
Michael W. Whalen,
Mats P. E. Heimdahl,
M. Heimdahl,
2005
.
Mats Per Erik Heimdahl,
Michael W. Whalen,
Steven P. Miller,
2003,
International Journal on Software Tools for Technology Transfer.
Sanjai Rayadurgam,
Mats Per Erik Heimdahl,
M. Heimdahl,
2003,
28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings..
Mats Per Erik Heimdahl,
Michael W. Whalen,
M. Heimdahl,
1999,
Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.
Mats Per Erik Heimdahl,
Michael W. Whalen,
M. Heimdahl,
1999,
14th IEEE International Conference on Automated Software Engineering.
Ajitha Rajan,
Mats Per Erik Heimdahl,
Michael W. Whalen,
2008,
ICFEM.
Patrick Mäder,
Jane Cleland-Huang,
Mats Per Erik Heimdahl,
2012,
REFSQ.
Insup Lee,
Oleg Sokolsky,
Lian Duan,
2016,
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).
Insup Lee,
Oleg Sokolsky,
Lian Duan,
2014,
FHIES/SEHC.
Ajitha Rajan,
Mats Per Erik Heimdahl,
Michael W. Whalen,
2006,
ISSTA '06.
Sanjai Rayadurgam,
Mats Per Erik Heimdahl,
Ian J. De Silva,
2015,
ICSSP.
Nancy G. Leveson,
Mats Per Erik Heimdahl,
Matthew S. Jaffe,
1991,
IEEE Trans. Software Eng..
Michael W. Whalen,
Mats P. E. Heimdahl,
Steven P. Miller,
2013
.
Mats Per Erik Heimdahl,
Anjali Joshi,
A. Joshi,
2007,
10th IEEE High Assurance Systems Engineering Symposium (HASE'07).
Mats Per Erik Heimdahl,
Michael W. Whalen,
Yunja Choi,
2005,
Automated Software Engineering.
Mats Per Erik Heimdahl,
Yunja Choi,
M. Heimdahl,
2004,
Proceedings. 19th International Conference on Automated Software Engineering, 2004..
Mats Per Erik Heimdahl,
Robert Weber,
George Devaraj,
2004,
Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings..
Willem Visser,
Mats P. E. Heimdahl,
W. Visser,
2004
.
Sanjai Rayadurgam,
Mats P. E. Heimdahl,
Anjali Joshi,
2003,
ICFEM.
Mats Per Erik Heimdahl,
Yunja Choi,
M. Heimdahl,
2003,
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
Sanjai Rayadurgam,
Mats Per Erik Heimdahl,
Willem Visser,
2003,
FATES.
Mats Per Erik Heimdahl,
Yunja Choi,
M. Heimdahl,
2002,
7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings..
Mats Per Erik Heimdahl,
Michael W. Whalen,
Yunja Choi,
2002,
Proceedings 17th IEEE International Conference on Automated Software Engineering,.
Sanjai Rayadurgam,
Mats Per Erik Heimdahl,
Yunja Choi,
2002,
Requirements Engineering.
Sanjai Rayadurgam,
Mats Per Erik Heimdahl,
M. Heimdahl,
2001,
Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking.
Sanjai Rayadurgam,
Mats Per Erik Heimdahl,
Yunja Choi,
2001,
ESEC/FSE-9.
Sanjai Rayadurgam,
Mats Per Erik Heimdahl,
M. Heimdahl,
2001,
Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer-Based Systems-ECBS 2001.
Mats Per Erik Heimdahl,
Barbara J. Czerny,
M. Heimdahl,
2000,
Sci. Comput. Program..
Mats Per Erik Heimdahl,
Jeffrey M. Thompson,
M. Heimdahl,
1997,
First IEEE International Conference on Formal Engineering Methods.
Mats Per Erik Heimdahl,
M. Heimdahl,
1997,
Proceedings 1997 High-Assurance Engineering Workshop.
Mats Per Erik Heimdahl,
Barbara J. Czerny,
M. Heimdahl,
1996,
Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076).
Mats Per Erik Heimdahl,
M. Heimdahl,
1996,
ISSTA '96.
Nancy G. Leveson,
Mats Per Erik Heimdahl,
N. Leveson,
1995,
1995 17th International Conference on Software Engineering.
Sanjai Rayadurgam,
Anitha Murugesan,
Mats Heimdahl,
2019,
2019 IEEE 27th International Requirements Engineering Conference (RE).
Suzette Person,
Mats Per Erik Heimdahl,
Michael W. Whalen,
2015,
NFM.
Gregory Gay,
Ajitha Rajan,
Mats Per Erik Heimdahl,
2016,
ACM Trans. Softw. Eng. Methodol..
Ajitha Rajan,
Mats Per Erik Heimdahl,
Matthew Staats,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Gregory Gay,
Mats Per Erik Heimdahl,
Michael W. Whalen,
2012,
FASE.
M. Heimdahl,
G. Devaraj,
2004,
Proceedings. 19th International Conference on Automated Software Engineering, 2004..
Mats Per Erik Heimdahl,
Michael W. Whalen,
Matthew Staats,
2011,
2011 33rd International Conference on Software Engineering (ICSE).
Mats P. E. Heimdahl,
M. Heimdahl,
2001
.
Gregory Gay,
Mats Per Erik Heimdahl,
Michael W. Whalen,
2014,
SBST 2014.
Ajitha Rajan,
Mats Per Erik Heimdahl,
Michael W. Whalen,
2008,
2008 ACM/IEEE 30th International Conference on Software Engineering.
Ajitha Rajan,
Mats Per Erik Heimdahl,
Renée C. Bryce,
2006,
2006 13th Asia Pacific Software Engineering Conference (APSEC'06).
Nancy G. Leveson,
Mats Per Erik Heimdahl,
N. Leveson,
1996,
IEEE Trans. Software Eng..
Nancy G. Leveson,
Mats Per Erik Heimdahl,
Jon Damon Reese,
1994,
IEEE Trans. Software Eng..
Sanjai Rayadurgam,
Michael W. Whalen,
Mats P. E. Heimdahl,
2013,
IEEE Software.
Mats Per Erik Heimdahl,
Michael W. Whalen,
Anitha Murugesan,
2012,
2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks).
Michael W. Whalen,
Mats P. E. Heimdahl,
Steven P. Miller,
2004
.
Ajitha Rajan,
Mats Per Erik Heimdahl,
Michael W. Whalen,
2010,
NASA Formal Methods.
Taejoon Byun,
M. Heimdahl,
Sanjai Rayadurgam,
2021,
IEEE International Symposium on Software Reliability Engineering.
Gregory Gay,
Sanjai Rayadurgam,
Mats Per Erik Heimdahl,
2014,
ASE.
Mats Per Erik Heimdahl,
Anjali Joshi,
A. Joshi,
2005,
SAFECOMP.
Mats Per Erik Heimdahl,
M. Heimdahl,
2007,
Future of Software Engineering (FOSE '07).
Mats P. E. Heimdahl,
Michael V. Stein,
John T. Riedl,
1999,
14th IEEE International Conference on Automated Software Engineering.
Mats Per Erik Heimdahl,
Michael W. Whalen,
Anitha Murugesan,
2016,
2016 IEEE 24th International Requirements Engineering Conference (RE).
Gregory Gay,
Sanjai Rayadurgam,
Mats Per Erik Heimdahl,
2017,
IEEE Transactions on Software Engineering.
Steven P. Miller,
S.P. Miller,
A. Joshi,
2005,
24th Digital Avionics Systems Conference.
Mats Per Erik Heimdahl,
Darren D. Cofer,
Michael W. Whalen,
2021,
Reliab. Eng. Syst. Saf..
Oleg Sokolsky,
Sanjai Rayadurgam,
Mats Per Erik Heimdahl,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Sanjai Rayadurgam,
Mats Per Erik Heimdahl,
Michael W. Whalen,
2013,
HILT '13.
Mats Per Erik Heimdahl,
Matthew Staats,
M. Heimdahl,
2008,
ICFEM.
K. Pohl,
K. Czarnecki,
J. Bosch,
2002
.
Sanjai Rayadurgam,
Mats Per Erik Heimdahl,
Michael W. Whalen,
2015,
IEEE Design & Test.
Stephen McCamant,
Vaibhav Sharma,
M. Heimdahl,
2021,
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Nancy G. Leveson,
Mats P. E. Heimdahl,
J. D. Reese,
1998,
17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267).
Gregory Gay,
M. Heimdahl,
M. Whalen,
2022
.
Michael R. Lowry,
Sanjai Rayadurgam,
Mats Per Erik Heimdahl,
2014,
FormaliSE 2014.
R. Ortega,
N. G. Leveson,
M. Heimdahl,
1991,
Proceedings of the Sixth International Workshop on Software Specification and Design.
Michael W. Whalen,
Mats P. E. Heimdahl,
Steven P. Miller,
2013
.
Michael W. Whalen,
Mats P. E. Heimdahl,
Anjali Joshi,
2005
.
Mats Per Erik Heimdahl,
Jeffrey M. Thompson,
M. Heimdahl,
2001,
Proceedings Fifth IEEE International Symposium on Requirements Engineering.