Thomas Weigert

Publication Activity (10 Years)

Years Active: 1989-2021
Publications (10 Years): 5

Top Topics

Mutation Testing

Top Venues

Autom. Softw. Eng.

Publications

Alexander Kolchin, Stepan Potiyenko, Thomas Weigert
Extending data flow coverage with redefinition analysis. IDT (2021)
Alexander Kolchin, Stepan Potiyenko, Thomas Weigert
Efficient Increasing of the Mutation Score During Model-Based Test Suite Generation. UkrPROG (2020)
Alexander Kolchin, Stepan Potiyenko, Thomas Weigert
Challenges for Automated, Model-Based Test Scenario Generation. ICIST (2019)
Thomas Weigert, Alexander Kolchin, Stepan Potiyenko, Oleg Gurenko, Aswin van den Berg, Valentyn Banas, Roman Chetvertak, Roman Yagodka, Vlad Volkov
Generating Test Suites to Validate Legacy Systems. SAM (2019)
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Thomas Weigert
Insertion Modeling and Symbolic Verification of Large Systems. SDL Forum (2015)
Oleksandr A. Letychevskyi, Thomas Weigert
Symbolic verification of requirements in VRS system. RE (2014)
Venkata Krishna Suhas Nerella, Swetha Surapaneni, Sanjay Kumar Madria, Thomas Weigert
Exploring optimization and caching for efficient collection operations. Autom. Softw. Eng. 21 (1) (2014)
Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert
Efficient Caching and Incrementalization of Object Queries on Collections in Programming Codes. COMPSAC (2014)
Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert
An Approach for Optimization of Object Queries on Collections Using Annotations. CSMR (2013)
Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert
Optimization of Object Queries on Collections Using Annotations for the String Valued Attributes. COMPSAC (2013)
Thomas Cottenier, Aswin van den Berg, Thomas Weigert
Modular reasoning about region composition. FOAL (2012)
Thomas Cottenier, Aswin van den Berg, Thomas Weigert
Architecture composition for concurrent systems. NEMARA@AOSD (2012)
Venkata Krishna Suhas Nerella, Sanjay Madria, Thomas Weigert
Exploring Compile Time Caching of Explicit Queries in Programming Codes. SRDS (2012)
Thomas Cottenier, Aswin van den Berg, Thomas Weigert
Management of feature interactions with transactional regions. AOSD (2012)
Thomas Cottenier, Aswin van den Berg, Thomas Weigert
Separation of Concerns with Transactional Regions. SDL Forum (2011)
Stefan Van Baelen, Sébastien Gérard, Ileana Ober, Thomas Weigert, Huáscar Espinoza, Iulian Ober
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011). MoDELS (Workshops) (2011)
Tolga Ovatman, Thomas Weigert, Feza Buzluca
Exploring implicit parallelism in class diagrams. J. Syst. Softw. 84 (5) (2011)
Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert
Performance Improvement for Collection Operations Using Join Query Optimization. COMPSAC (2011)
Sergey Baranov, Vsevolod Kotlyarov, Thomas Weigert
Verifiable Coverage Criteria for Automated Testing. SDL Forum (2011)
Swetha Surapaneni, Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert
Exploring caching for efficient collection operations. ASE (2011)
Tolga Ovatman, Feza Buzluca, Thomas Weigert
Applying Enhanced Graph Clustering to Software Dependency Analysis. SEDE (2010)
Alexander A. Letichevsky, Alexander Kolchin, Oleksandr Letychevskyy Jr., Stepan Potiyenko, Vladislav A. Volkov, Thomas Weigert
Formal Requirements Capturing using VRS system. WING@ETAPS/IJCAR (2010)
Venkata Krishna Suhas Nerella, Swetha Surapaneni, Sanjay Kumar Madria, Thomas Weigert
Exploring Query Optimization in Programming Codes by Reducing Run-Time Execution. COMPSAC (2010)
Stefan Van Baelen, Iulian Ober, Huáscar Espinoza, Thomas Weigert, Ileana Ober, Sébastien Gérard
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010). MoDELS (Workshops) (2010)
Stefan Van Baelen, Thomas Weigert, Ileana Ober, Huáscar Espinoza, Iulian Ober
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009). MoDELS (Workshops) (2009)
Gunter Mussbacher, Daniel Amyot, Thomas Weigert, Thomas Cottenier
Feature Interactions in Aspect-Oriented Scenario Models. ICFI (2009)
Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard
Model Based Architecting and Construction of Embedded Systems. MoDELS (Workshops) (2008)
Thomas Weigert, Frank Weil, Aswin van den Berg, Paul Dietz, Kevin Marth
Automated Code Generation for Industrial-Strength Systems. COMPSAC (2008)
Thomas Weigert, Frank Weil, Kevin Marth, Paul Baker, Clive Jervis, Paul Dietz, Yexuan Gui, Aswin van den Berg, Kim Fleer, David Nelson, Michael Wells, Brian E. Mastenbrook
Experiences in Deploying Model-Driven Engineering. SDL Forum (2007)
Thomas Weigert
Practical Experiences in Using Model-Driven Engineering to Develop Trustworthy Computing Systems. SUTC (1) (2006)
Alexander A. Letichevsky, Julia V. Kapitonova, A. A. Letichevsky Jr., Vladislav A. Volkov, Sergey Baranov, Thomas Weigert
Basic protocols, message sequence charts, and the verification of requirements specifications. Comput. Networks 49 (5) (2005)
G. Bhaskar Rao, Keerthi Timmaraju, Thomas Weigert
Network Element Testing Using TTCN-3: Benefits and Comparison. SDL Forum (2005)
Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert
Semantics of Message Sequence Charts. SDL Forum (2005)
Frank Weil, Thomas Weigert
Guidelines for Using SDL in Product Development. SAM (2004)
Thomas Weigert, Paul Dietz
Automated Generation of Marshaling Code from High-Level Specifications. SDL Forum (2003)
Thomas Weigert, David Garlan, John Knapman, Birger Møller-Pedersen, Bran Selic
Modeling of Architectures with UML (Panel). UML (2000)
Paul Dietz, Thomas Weigert, Frank Weil
Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications. WIFT (1998)
Jeffrey J. P. Tsai, Thomas Weigert
HCLIE: a logic-based requirement language for new software engineering paradigms. Softw. Eng. J. 6 (4) (1991)
Jeffrey J. P. Tsai, Thomas Weigert
Exploratory prototyping through the use of frames and production rules. COMPSAC (1989)