Marius Bozga

1. Modeling Heterogeneous Real-time Components in BIP
   2008/01/01 by Ananda Basu, Basu, Ananda, Marius Bozga +3 · 2 citations
   Computer Science · #Code generation #Component based construction #Distributed and Parallel Computing Systems #Distributed systems and fault tolerance #Heterogeneous systems #Modeling and simulation #Service-Oriented Architecture and Web Services
2. Rigorous Component-Based System Design Using the BIP Framework
   2011/05/01 by Ananda Basu, Bensalem Bensalem, Marius Bozga +4 · 1 citation
3. Verification of Component-based Systems with Recursive Architectures
   2021/12/15 by Marius Bozga, Bozga, Marius, Radu Iosif +3 · 1 citation
   Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques