Implementing the dynamic conservation of elm genetic resources in Europe: case studies and perspectives von Collin, Eric, Bozzano, Michele

Volltext

The VALU3S ECSEL project: Verification and validation of automated systems safety and security von Agirre, J.A., Etxeberria, L., Barbosa, R., Basagiannis, S., Giantamidis, G., Bauer, T., Ferrari, E., Labayen Esnaola, M., Orani, V., Öberg, J., Pereira, D., Proença, J., Schlick, R., Smrčka, A., Tiberti, W., Tonetta, S., Bozzano, M., Yazici, A., Sangchoolie, B.

Volltext

A future EU overall strategy for agriculture and forest genetic resources management: Finding consensus through policymakers’ participation von Lovrić, N., Fraccaroli, C., Bozzano, M.

Volltext

Family structure and the education gender gap: Evidence from Italian provinces von Bertocchi, Graziella, Bozzano, Monica

Volltext

Safety, Dependability and Performance Analysis of Extended AADL Models von Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V. Y., Noll, T., Roveri, M.

Volltext

COMPASTA: Integrating COMPASS Functionality into TASTE von Bombardelli, A., Bonizzi, A., Bozzano, M., Cavada, R., Cimatti, A., Griggio, A., Nazaria, M., Nicolodi, E., Tonetta, S., Zampedri, G.

Volltext

Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform von Bozzano, Marco, Villafiorita, Adolfo

Volltext

Dynamic Conservation of Forest Genetic Resources in 33 European Countries von LEFÈVRE, FRANÇOIS, KOSKELA, JARKKO, HUBERT, JASON, KRAIGHER, HOJKA, LONGAUER, ROMAN, OLRIK, DITTE C., SCHÜLER, SILVIO, BOZZANO, MICHELE, ALIZOTI, PARASKEVI, BAKYS, REMIGIJUS, BALDWIN, CATHLEEN, BALLIAN, DALIBOR, BLACK-SAMUELSSON, SANNA, BEDNAROVA, DAGMAR, BORDÁCS, SÁNDOR, COLLIN, ERIC, DE CUYPER, BART, DE VRIES, SVEN M. G., EYSTEINSSON, THRÖSTUR, FRÝDL, JOSEF, HAVERKAMP, MICHAELA, IVANKOVIC, MLADEN, KONRAD, HEINO, KOZIOL, CZESŁAW, MAATEN, TIIT, NOTIVOL PAINO, EDUARDO, ÖZTÜRK, HIKMET, PANDEVA, IVANOVA DENITSA, PARNUTA, GHEORGHE, PILIPOVIČ, ANDREJ, POSTOLACHE, DRAGOS, RYAN, CATHAL, STEFFENREM, ARNE, VARELA, MARIA CAROLINA, VESSELLA, FEDERICO, VOLOSYANCHUK, ROMAN T., WESTERGREN, MARJANA, WOLTER, FRANK, YRJÄNÄ, LEENA, ZARIŊA, INGA

Volltext

Formal Design and Safety Analysis of AIR6110 Wheel Brake System von Bozzano, M., Cimatti, A., Fernandes Pires, A., Jones, D., Kimberly, G., Petri, T., Robinson, R., Tonetta, S.

Volltext

An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic von Bozzano, Marco, Bruttomesso, Roberto, Cimatti, Alessandro, Junttila, Tommi, van Rossum, Peter, Schulz, Stephan, Sebastiani, Roberto

Volltext

Improving Safety Assessment of Complex Systems: An Industrial Case Study von Bozzano, Marco, Cavallo, Antonella, Cifaldi, Massimo, Valacca, Laura, Villafiorita, Adolfo

Volltext

Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols von Bozzano, Marco, Delzanno, Giorgio

Volltext

Beyond Parameterized Verification von Bozzano, Marco, Delzanno, Giorgio

Volltext

The MathSAT 3 System von Bozzano, Marco, Bruttomesso, Roberto, Cimatti, Alessandro, Junttila, Tommi, van Rossum, Peter, Schulz, Stephan, Sebastiani, Roberto

Volltext

Model checking linear logic specifications von BOZZANO, MARCO, DELZANNO, GIORGIO, MARTELLI, MAURIZIO

Volltext

An effective fixpoint semantics for linear logic programs von BOZZANO, MARCO, DELZANNO, GIORGIO, MARTELLI, MAURIZIO

Volltext

The VALU3S ECSEL project: Verification and validation of automated systems safety and security von Agirre, J.A, Etxeberria, L, Barbosa, R, Basagiannis, S, Giantamidis, G, Bauer, Thomas, Ferrari, E, Labayen Esnaola, M, Orani, V, Öberg, J, Pereira, D, Proença, J, Schlick, R, Smrčka, A, Tiberti, W, Tonetta, S, Bozzano, M, Yazici, A, Sangchoolie, B

Volltext bestellen

Multi-agent systems development as a software engineering enterprise von BOZZANO, M, DELZANNO, G, MARTELLI, M, MASCARDI, V, ZINI, F

Volltext

An Effective Bottom-Up Semantics for First-Order Linear Logic Programs von Bozzano, Marco, Delzanno, Giorgio, Martelli, Maurizio

Volltext

System-Software Co-Engineering: Dependability and Safety Perspective von Yushtein, Y., Bozzano, M., Cimatti, A., Katoen, J., Nguyen, V. Y., Noll, Th, Olive, X., Roveri, M.

Volltext bestellen