rmittal

• 

  9/13/2024

  Experiments as First-Class Citizens

• 

  3/6/2024

  Traceability of Data for Valid Use and Re-use of Simulation Models

• 

  3/4/2024

  Samatulyata2: Validation of Code Optimizing Transformations Involving Loops for Petri Net Based Models of Programs

• 

  3/4/2024

  Translation Validation of Scheduled Conditional Behavior using Petri Net based Program Models

• 

  3/4/2024

  Validating Extended Feature Model Configurations using Petri Nets

• 

  3/4/2024

  Translation Validation of Thread-Level Parallelizing Transformations using Color Petri Nets

• 

  3/4/2024

  The Instance Model View-Update Problem in AADL

• 

  2/7/2024

  Vishm Jwar

• 

  2/7/2024

  Toad Road

• 

  2/7/2024

  Elysium

• 

  2/7/2024

  Bhopal’s Golden Heart

• 

  2/7/2024

  Bhopal

• 

  2/6/2024

  The Dead Tree of Life

• 

  2/6/2024

  Breaking In Or Breaking Out