Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Manuel Oriol
Map detail
Manuel Oriol7 visible / 7 total nodes / 6 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipManuel OriolAManuel OriolResearcherClass Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated SupportWClass Schema Evolution ...preprint / 2012Execution Time Analysis for Industrial Control ApplicationsWExecution Time Analysis...preprint / 2014Improving Counterexample Quality from Failed Program VerificationWImproving Counterexampl...preprint / 2022The Search for the Laws of Automatic Random TestingWThe Search for the Laws...preprint / 2012Stochastic Contracts for Runtime Checking of Component-based Real-time SystemsWStochastic Contracts fo...preprint / 2015C to O-O Translation: Beyond the Easy StuffWC to O-O Translation: B...preprint / 2013
Person6 links

Manuel Oriol

Researcher