Full contract verification for ATL using symbolic execution von Oakes, Bentley James, Troya, Javier, Lúcio, Levi, Wimmer, Manuel

Volltext

Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State of the Practice von Oakes, Bentley James, Famelis, Michalis, Sahraoui, Houari

Volltext

Rationale Dataset and Analysis for the Commit Messages of the Linux Kernel Out-of-Memory Killer von Dhaouadi, Mouna, Bentley James Oakes, Famelis, Michalis

Volltext

Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis von Oakes, Bentley James, Troya, Javier, Galasso, Jessie, Wimmer, Manuel

Volltext

End-to-End Rationale Reconstruction von Dhaouadi, Mouna, Bentley James Oakes, Famelis, Michalis

Volltext

Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice von Bentley James Oakes, Famelis, Michalis, Sahraoui, Houari

Volltext

A Digital Twin Description Framework and its Mapping to Asset Administration Shell von Bentley James Oakes, Parsai, Ali, Meyers, Bart, Istvan, David, Simon Van Mierlo, Demeyer, Serge, Denil, Joachim, De Meulenaere, Paul, Vangheluwe, Hans

Volltext

Optimizing Fault Injection in FMI Co-Simulation through Sensitivity Partitioning von Moradi, Mehrdad, Gomes, Cláudio, Bentley James Oakes, Denil, Joachim

Volltext bestellen

Machine Learning-Based Fault Injection for Hazard Analysis and Risk Assessment von Oakes, Bentley James, Moradi, Mehrdad, Van Mierlo, Simon, Vangheluwe, Hans, Denil, Joachim

Volltext

HintCO – Hint-Based Configuration of Co-Simulations von Gomes, Cláudio, Bentley James Oakes, Moradi, Mehrdad, Gámiz, Alejandro Torres, Mendo, Juan Carlos, Dutré, Stefan, Denil, Joachim, Vangheluwe, Hans

Volltext bestellen

Towards Understanding and Analyzing Rationale in Commit Messages using a Knowledge Graph Approach von Dhaouadi, Mouna, Oakes, Bentley James, Famelis, Michalis

Volltext bestellen

Hint-Based Configuration of Co-simulations with Algebraic Loops von Oakes, Bentley James, Gomes, Cláudio, Holzinger, Franz Rudolf, Benedikt, Martin, Denil, Joachim, Vangheluwe, Hans

Volltext

Exploring Validity Frames in Practice von Van Mierlo, Simon, Oakes, Bentley James, Van Acker, Bert, Eslampanah, Raheleh, Denil, Joachim, Vangheluwe, Hans

Volltext

Towards Understanding and Analyzing Rationale in Commit Messages using a Knowledge Graph Approach von Dhaouadi, Mouna, Bentley James Oakes, Famelis, Michalis

Volltext

Foundational Concepts for Digital Twins of Cyber-Physical Systems von Gomes, Cláudio, Oakes, Bentley James, Fitzgerald, John, Larsen, Peter Gorm

Volltext

Case Studies in Digital Twins von Oakes, Bentley James, Zhang, Houxiang, Hatledal, Lars Ivar, Feng, Hao, Frasheri, Mirgita, Sandberg, Michael, Gil, Santiago, Gomes, Cláudio

Volltext

Future Directions and Challenges von Larsen, Peter Gorm, Fitzgerald, John, Gomes, Cláudio, Woodcock, Jim, Basagiannis, Stylianos, Ulisse, Alessandro, Esterle, Lukas, Rötter, Daniel Enrique Lucani, Hansen, Simon Thrane, Oakes, Bentley James

Volltext

Whole-genome sequencing provides new insights into the clonal architecture of Barrett's esophagus and esophageal adenocarcinoma von Ross-Innes, Caryn S, Becq, Jennifer, Warren, Andrew, Cheetham, R Keira, Northen, Helen, O'Donovan, Maria, Malhotra, Shalini, di Pietro, Massimiliano, Ivakhno, Sergii, He, Miao, Weaver, Jamie M J, Lynch, Andy G, Kingsbury, Zoya, Ross, Mark, Humphray, Sean, Bentley, David, Fitzgerald, Rebecca C

Volltext

Incidence of accidental awareness during general anaesthesia in obstetrics: a multicentre, prospective cohort study von Odor, P. M., Amarasekara, L., Anandakrishnan, S., Babio‐Galan, M., Banks, S., Barnes, L., Birch, S., Birts, W., Blightman, O., Brown, H., Bykar, H., Calvert, C., Chen, P., Chowdhury, P., Crooks, J., Crowther, E., Curtis, A., Dannatt, P., Duckham, E., Dunn, L., Eapen, S., Eason, S., El‐Amin, O., Everett, M., Fulton, L., Funnell, S., Hancock, H., Harris, G., Herbert, L., Higgins, N., Hilton, J., Hindmoor, C., Tiller, A., Jackson, M., Kainth, R., Kelliot, S., Kelly, J., Kessack, L., Khaku, M., Khan, S., Lane, K., Latif, H., Laycock, H., Light, K., Lowe, J., Machavarapu, K., Mackenzie, M., Magee, D., Manso, K., Masters, J., McAllister, T., McDougall, S., McMonagle, M., McNamara, H., McRae, L., Mohamed, M., Morgan, E., Moser, C., Mount, M., Nicholson, A., Oliver, K., Onslow, J., Orr, T., Osagie, O., Owston, H., Patel, J., Patel, R., Prenter, A., Rajput, Z., Ranatunga, K., Routley, C., Salberg, A., Sellick, J., Senbeto, S., Sharafudeen, S., Sharieff, I., Sibug, S., Sinha, A., Smith, E., Smith, L., Smyth, C., Spence, E., Stafford, H., Straughan, B., Swarbrick, C., Theron, S., Thomas, M., Topham, C., Venkaya, J., Veronica, I., Vincent, R., Waters, G., Winslow, L., Man Wong, J., Wu, J., Young, E., Zeinali, D., Grover, V., Hopkins, P., Martin, D.

Volltext

Specification and Verification of Graph-Based Model Transformation Properties von Selim, Gehan M. K., Lúcio, Levi, Cordy, James R., Dingel, Juergen, Oakes, Bentley J.

Volltext