Rakshit Mittal
Mail
LinkedIn
Spotify
YouTube
Antwerp, BE
Cloud
Cinema
Git
Torrent
Diagrams
Vault
Inventory
Todo
Monitor
Feed
Library
Posters
Reasoning for Design and Management of (Simulation) Experiments
Experiments as First-Class Citizens
Traceability of Data for Valid Use and Re-use of Simulation Models
Samatulyata2: Validation of Code Optimizing Transformations Involving Loops for Petri Net Based Models of Programs
Translation Validation of Scheduled Conditional Behavior using Petri Net based Program Models
Validating Extended Feature Model Configurations using Petri Nets
Translation Validation of Thread-Level Parallelizing Transformations using Color Petri Nets
The Instance Model View-Update Problem in AADL
