Ultrasonically assisted extraction (UAE) and microwave assisted extraction (MAE) of functional compounds from plant materials von Vinatoru, M., Mason, T.J., Calinescu, I.

Volltext

A reactor designed for the ultrasonic stimulation of enzymatic esterification von Calinescu, I., Vartolomei, A., Gavrila, I.-A., Vinatoru, M., Mason, T.J.

Volltext

From Featured Transition Systems to Modal Transition Systems with Variability Constraints von ter Beek, Maurice H., Damiani, Ferruccio, Gnesi, Stefania, Mazzanti, Franco, Paolini, Luca

Volltext

A new ion beam facility based on a 3 MV Tandetron™ at IFIN-HH, Romania von Burducea, I., Straticiuc, M., Ghiță, D.G., Moșu, D.V., Călinescu, C.I., Podaru, N.C., Mous, D.J.W., Ursu, I., Zamfir, N.V.

Volltext

A new and compact system at the AMS laboratory in Bucharest von Stan-Sion, C., Enachescu, M., Petre, A.R., Simion, C.A., Calinescu, C.I., Ghita, D.G.

Volltext

Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection von Meinke, Karl, Nycander, Peter

Volltext

Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings von Calinescu, Radu, Di Giandomenico, Felicita

Volltext

Task Planning of Cyber-Human Systems von Sukkerd, Roykrong, Garlan, David, Simmons, Reid

Volltext

Refining Privacy-Aware Data Flow Diagrams von Alshareef, Hanaa, Stucki, Sandro, Schneider, Gerardo

Volltext

Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter von De Nicola, Rocco, Maggi, Alessandro, Petrocchi, Marinella, Spognardi, Angelo, Tiezzi, Francesco

Volltext

Towards Automatic Decision Support for Bike-Sharing System Design von ter Beek, Maurice H., Gnesi, Stefania, Latella, Diego, Massink, Mieke

Volltext

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

Volltext

Cardiovascular Safety of Testosterone-Replacement Therapy von Lincoff, A. Michael, Bhasin, Shalender, Flevaris, Panagiotis, Mitchell, Lisa M., Basaria, Shehzad, Boden, William E., Cunningham, Glenn R., Granger, Christopher B., Khera, Mohit, Thompson, Ian M., Wang, Qiuqing, Wolski, Kathy, Davey, Deborah, Kalahasti, Vidyasagar, Khan, Nader, Miller, Michael G., Snabes, Michael C., Chan, Anna, Dubcenco, Elena, Li, Xue, Yi, Tingting, Huang, Bidan, Pencina, Karol M., Travison, Thomas G., Nissen, Steven E.

Volltext

Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper) von Stefanakos, Ioannis

Volltext

Fault-Tolerant IoT: A Systematic Mapping Study von Moghaddam, Mahyar Tourchi, Muccini, Henry

Volltext

Toward Testing Self-organizations in Multi-Embedded-Agent Systems von Baudet, Arthur, Aktouf, Oum-El-Kheir, Mercier, Annabelle, Jamont, Jean-Paul

Volltext

Modelling Autonomous Resilient Multi-robotic Systems von Vistbakka, Inna, Troubitsyna, Elena

Volltext

Process Mining as a Modelling Tool: Beyond the Domain of Business Process Management von Cerone, Antonio

Volltext

On Integrating Social and Sensor Networks for Emergency Management von Shams, Farshad, Cerone, Antonio, De Nicola, Rocco

Volltext

Exploring the Role of Logic and Formal Methods in Information Systems Education von Zamansky, Anna, Farchi, Eitan

Volltext