Shaukat Ali
@shukat-ali.bsky.social
MODELS 2025's foundation and practice track deadline is approaching soon:
Abstract: March 27; Full paper: April 3 (AoE)
conf.researchr.org/track/models...
Looking forward to your submissions! @modelsconf.bsky.social
Abstract: March 27; Full paper: April 3 (AoE)
conf.researchr.org/track/models...
Looking forward to your submissions! @modelsconf.bsky.social
MODELS 2025 - Research Papers - MODELS 2025
About MODELS is the premier conference series for model-based software and systems engineering. Since 1998 MODELS has covered all aspects of modeling, from languages and methods to tools and applicati...
conf.researchr.org
March 14, 2025 at 1:42 AM
MODELS 2025's foundation and practice track deadline is approaching soon:
Abstract: March 27; Full paper: April 3 (AoE)
conf.researchr.org/track/models...
Looking forward to your submissions! @modelsconf.bsky.social
Abstract: March 27; Full paper: April 3 (AoE)
conf.researchr.org/track/models...
Looking forward to your submissions! @modelsconf.bsky.social
Congratulations to Asmar Muqeet for getting his paper: "QUIET: A Tool for Sampling-Based Quantum Noise Error Mitigation," accepted at IEEE Software. It is a very practical and useful error mitigation tool for quantum software engineering
January 17, 2025 at 8:02 PM
Congratulations to Asmar Muqeet for getting his paper: "QUIET: A Tool for Sampling-Based Quantum Noise Error Mitigation," accepted at IEEE Software. It is a very practical and useful error mitigation tool for quantum software engineering
Reposted by Shaukat Ali
Noah Oldfield just had his first PhD paper "Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements" accepted in ACM TOSEM. Wuhu, very well done 🙌🎉💪🔥 (with @shukat-ali.bsky.social and Tao, @simularesearch.bsky.social)
doi.org/10.48550/arX...
doi.org/10.48550/arX...
Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements
Quantum computing promises polynomial and exponential speedups in many domains, such as unstructured search and prime number factoring. However, quantum programs yield probabilistic outputs from expon...
doi.org
December 30, 2024 at 4:31 PM
Noah Oldfield just had his first PhD paper "Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements" accepted in ACM TOSEM. Wuhu, very well done 🙌🎉💪🔥 (with @shukat-ali.bsky.social and Tao, @simularesearch.bsky.social)
doi.org/10.48550/arX...
doi.org/10.48550/arX...
Congratulations to Hassan Sartaj on getting his paper accepted at TOSEM, MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning. This is cool and fun work done with Oslo City!
December 3, 2024 at 1:04 PM
Congratulations to Hassan Sartaj on getting his paper accepted at TOSEM, MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning. This is cool and fun work done with Oslo City!