Publications
Preprint · arXiv · May 1, 2014
On Formalisms for Dynamic Reconfiguration of Dependable Systems
Anirban Bhattacharyya, Andrey Mokhov, Ken G. Pierce, Manuel Mazzara
Abstract
Three formalisms of different kinds - VDM, Maude, and basic CCSdp - are evaluated for their suitability for the modelling and verification of dynamic software reconfiguration using as a case study the dynamic reconfiguration of a simple office workflow for order processing. The research is ongoing, and initial results are reported.
Advanced Software Engineering MethodologiesModel-Driven Software Engineering TechniquesDistributed systems and fault tolerancedependable systemsformal modelingformal verification
More by Manuel Mazzara
- Anchored Rank-Adversarial Fine-Tuning Pretrained Visual Place Recognition ModelsarXiv · 2026
- See the Future, Classify the Present: Stochastic Latent World Modeling for Hyperspectral ImagesarXiv · 2026
- Autoresearch with Coding Agents: Generalizers and Metric-Maximizers on Quran Recitation DataLecture notes in computer science · 2026 · Citations: 1
- What Counts as a Mistake? Annotating Recitation Events in Quran Memorization TranscriptsarXiv · 2026