I agree that this site is using cookies. You can find further informations here.
X
Tegeler, Tim
13  results:
Search for persons X
?
1

Value-driven industry transformation: Leveraging open-sourc..:

Steffen, Barbara ; Duparc, Estelle ; Tegeler, Tim..
ITM Web of Conferences.  62 (2024)  - p. 05001 , 2024
Link: https://doi.org/10.1051/..
 
?
2

DIME Days (ISoLA 2022 Track Introduction):

, In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science,
Margaria, Tiziana ; Wirkner, Dominic ; Busch, Daniel... - p. 367-373 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Discussing the Future Role of Documentation in the Context ..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science,
Havelund, Klaus ; Tegeler, Tim ; Smyth, Steven. - p. 3-9 , 2022
Link: https://doi.org/10.1007/..
 
?
4

Evaluation of Graphical Modeling of CI/CD Workflows with Ri:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science,
Teumert, Sebastian ; Tegeler, Tim ; Schürmann, Jonas.. - p. 374-388 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Executable Documentation: From Documentation Languages to P..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science,
Tegeler, Tim ; Boßelmann, Steve ; Schürmann, Jonas... - p. 174-192 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Agile Business Engineering: From Transformation Towards Con..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation,
Steffen, Barbara ; Howar, Falk ; Tegeler, Tim. - p. 77-94 , 2021
Link: https://doi.org/10.1007/..
 
?
7

An Introduction to Graphical Modeling of CI/CD Workflows wi..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation,
Tegeler, Tim ; Teumert, Sebastian ; Schürmann, Jonas... - p. 3-17 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Aligned, Purpose-Driven Cooperation: The Future Way of Syst..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation,
Zweihoff, Philip ; Tegeler, Tim ; Schürmann, Jonas.. - p. 426-449 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Guaranteeing Type Consistency in Collective Adaptive System:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science,
Schürmann, Jonas ; Tegeler, Tim ; Steffen, Bernhard - p. 311-328 , 2020
Link: https://doi.org/10.1007/..
 
?
10

Product Line Verification via Modal Meta Model Checking:

, In: From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science,
Tegeler, Tim ; Murtovi, Alnis ; Frohme, Markus. - p. 313-337 , 2019
Link: https://doi.org/10.1007/..
 
?
11

A lingualization strategy for knowledge sharing in large-sc..:

Tegeler, Tim
http://hdl.handle.net/2003/41823.  , 2023
Link: http://hdl.handle.net/20..
 
?
12

Open label, randomized, crossover pilot trial of high‐resol..:

Tegeler, Charles H. ; Kumar, Sandhya R. ; Conklin, Dave...
Brain and Behavior.  2 (2012)  6 - p. 814-824 , 2012
Link: https://doi.org/10.1002/..
 
?
13

Open label, randomized, crossover pilot trial of high-resol..:

Tegeler, Charles H ; Kumar, Sandhya R ; Conklin, Dave...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3500468.  , 2012
Link: http://www.ncbi.nlm.nih...
 
1-13