Thomas Weigert

45 papers A* 1A 1B 7Journal 4Unranked 26

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