PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Heimdahl, Mats Per Erik"

Author of the publication

copydeleteadd this publication to your clipboard
Guest editorial: special issue on selected topics in automated software engineering - Specification mining and defect detection.

, and . Autom. Softw. Eng., 18 (3-4): 225-226 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Erik Eppinger University of Stuttgart

Erik Hesselmeier University of Stuttgart

Shama Perween University of Stuttgart

Emanuela Perna University of Stuttgart

Hiraida Rossy Perez Palomares University of Stuttgart

 

Other publications of authors with the same name

Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study., , and . J. UCS, 6 (7): 731-757 (2000)Hierarchical multi-formalism proofs of cyber-physical systems., , , , , , and . MEMOCODE, page 90-95. IEEE, (2015)Model-Based Testing: Challenges Ahead.. COMPSAC (1), page 330. IEEE Computer Society, (2005)Coverage Based Test-Case Generation Using Model Checkers., and . ECBS, page 83-. IEEE Computer Society, (2001)Using PVS to analyze hierarchical state-based requirements for completeness and consistency., and . HASE, page 252-262. IEEE Computer Society, (1996)Verifying Communication Constraints in RSML Specifications.. HASE, page 56-63. IEEE Computer Society, (1997)Your "What" Is My "How": Iteration and Hierarchy in System Design., , , , , and . IEEE Software, 30 (2): 54-60 (2013)Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints., , and . Requir. Eng., 7 (4): 225-242 (2002)The Risks of Coverage-Directed Test Case Generation., , , and . IEEE Trans. Software Eng., 41 (8): 803-819 (2015)On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate., , , and . SEW, page 75. IEEE Computer Society, (2003)