1.4.01 Contributi in atti di convegno - Conference presentations

oppure torna alle liste di scorrimento su tutto Aisberg
Schede nella collezione (ordinate per data di archiviazione in ordine decrescente): 1.401 a 1.420 di 6.240 successivo > < precedente
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2021 Pour un dictionnaire historique et étymologique du vénitien D'Onghia, Luca; Tomasin, Lorenzo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2013 Identità precaria. Rappresentazioni, concezioni e ansie dei giovani con lavoro ‘atipico' Cataldi, Silvia; Sena, Barbara 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2022 Characterization and verification of the Shunt-LDO regulator and its protection circuits for serial powering of the ATLAS and CMS pixel detectors Kampkötter, Jeremias; Karagounis, Michael; Koukola, Dominik; Loddo, Flavio; Orfanelli, Stella; Luengo, Alvaro Pradas; Traversi, Gianluca; Kokozinski, Rainer 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2011 Happy child Sena, Barbara 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2011 La nuova impresa nel Mezzogiorno Sena, Barbara 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2009 Functional modeling for TRIZ-based evolutionary analyses Cascini, Gaetano; Rotini, Federico; Russo, Davide 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2021 ARCH-COMP 2021 Category Report: Falsification with Validation of Results Ernst, Gidon; Arcaini, Paolo; Bennani, Ismail; Chandratre, Aniruddh; Donze, Alexandre; Fainekos, Georgios; Frehse, Goran; Gaaloul, Khouloud; Inoue, Jun; Khandait, Tanmay; Mathesen, Logan; Menghi, Claudio; Pedrielli, Giulia; Pouzet, Marc; Waga, Masaki; Yaghoubi, Shakiba; Yamagata, Yoriyuki; Zhang, Zhenya 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 Verifying incomplete and evolving specifications Menghi, Claudio 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2019 MAPmAKER: Performing multi-robot LTL planning under uncertainty Garcia, Sergio; Menghi, Claudio; Pelliccione, Patrizio 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2020 ARCH-COMP 2020 category report: Falsification Ernst, G.; Arcaini, P.; Bennani, I.; Donze, A.; Fainekos, G.; Frehse, G.; Mathesen, L.; Menghi, Claudio; Pedrielli, G.; Pouzet, M.; Yaghoubi, S.; Yamagata, Y.; Zhang, Z. 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2021 Trace-checking CPS properties: Bridging the cyber-physical gap Menghi, Claudio; Viganò, Enrico; Bianculli, Domenico; Briand, Lionel 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2020 Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification Menghi, Claudio; Nejati, Shiva; Briand, Lionel; Parache, Yago Isasi 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2018 An Architecture for Decentralized, Collaborative, and Autonomous Robots Garcia, Sergio; Menghi, Claudio; Pelliccione, Patrizio; Berger, Thorsten; Wohlrab, Rebekka 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 Topology aware adaptive security Pasquale, Liliana; Ghezzi, Carlo; Menghi, Claudio; Tsigkanos, Christos; Nuseibeh, Bashar 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2013 On requirements verification for model refinements Ghezzi, Carlo; Menghi, Claudio; Sharifloo, Amir Molzam; Spoletini, Paola 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 Engineering topology aware adaptive security: Preventing requirements violations at runtime Tsigkanos, Christos; Pasquale, Liliana; Menghi, Claudio; Ghezzi, Carlo.; Nuseibeh, Bashar 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2015 A control-theoretic approach to self-adaptive systems and an application to cloud-based software Ghezzi, Carlo; Gibilisco, Giovanni Paolo; Menghi, Claudio; Miglierina, Marco 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2019 High-level mission specification for multiple robots Garcia, Sergio; Pelliccione, Patrizio; Menghi, Claudio; Berger, Thorsten; Bures, Tomas 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2017 Integrating Goal Model Analysis with Iterative Design Menghi, Claudio; Spoletini, Paola; Ghezzi, Carlo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2019 PsALM: Specification of dependable robotic missions Menghi, Claudio; Tsigkanos, Christos; Berger, Thorsten; Pelliccione, Patrizio 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
Schede nella collezione (ordinate per data di archiviazione in ordine decrescente): 1.401 a 1.420 di 6.240 successivo > < precedente
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile

Scopri
Tipologia
  • 1.4.01 Contributi in atti di convegno - Conference presentations6240
  • DIPSI Workshop 20123
  • GRASPA153
  • L&F by issue - Fascicoli della rivista L&F3
  • DIPSI Workshop 20192
  • DIPSI Workshop 20111
  • DIPSI Workshop 20231
Autore
  • PREVIDI, Fabio148
  • RIVA, Paolo143
  • GARGANTINI, Angelo Michele142
  • BELLERI, Andrea128
  • RE, Valerio126
  • RIZZI, Caterina118
  • GAIARDELLI, Paolo117
  • PEZZOTTA, Giuditta116
  • CAVALIERI, Sergio115
  • CARDACI, Alessio109
Data di pubblicazione
  • 2020 - 20261726
  • 2010 - 20193184
  • 2000 - 20091201
  • 1990 - 1999119
  • 1984 - 198910
Editore
  • Springer484
  • IEEE296
  • IEEE (Institute of Electrical and Electronics Engineers)249
  • Elsevier193
  • IEEE (Institute of Electric and Electronics Engineers)128
  • Institute of Electrical and Electronics Engineers Inc.77
  • Springer Nature Switzerland AG56
  • ASME (American Society of Mechanical Engineers)42
  • Trans Tech Publications41
  • ASME38
Rivista
  • ...SUMMER SCHOOL FRANCESCO TURCO. PROCEEDINGS52
  • POS PROCEEDINGS OF SCIENCE41
  • PROCEDIA STRUCTURAL INTEGRITY35
  • JOURNAL OF PHYSICS. CONFERENCE SERIES19
  • PROCEDIA COMPUTER SCIENCE17
  • FINANCIAL MANAGEMENT OF FIRMS AND FINANCIAL INSTITUTIONS15
  • IOP CONFERENCE SERIES: MATERIALS SCIENCE AND ENGINEERING14
  • PROCEDIA ENGINEERING14
  • MEMORIE GEOGRAFICHE12
  • SAE TECHNICAL PAPER9
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE138
  • IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY128
  • IFAC-PAPERSONLINE89
  • LECTURE NOTES IN COMPUTER SCIENCE58
  • PROCEDIA CIRP50
  • SOCIETÀ ITALIANA DI PEDAGOGIA41
  • KEY ENGINEERING MATERIALS40
  • CEUR WORKSHOP PROCEEDINGS38
  • LECTURE NOTES IN MECHANICAL ENGINEERING36
  • IFAC PROCEEDINGS VOLUMES34
Keyword
  • Sustainability44
  • TRIZ44
  • Industry 4.043
  • Electrical and Electronic Engineering36
  • Nuclear and High Energy Physics31
  • Control and Systems Engineering30
  • microelectronics29
  • CMOS28
  • sustainability28
  • Bergamo25
Lingua
  • eng4625
  • ita1463
  • fre57
  • ger47
  • spa38
  • rus32
  • mul12
  • lat5
  • chi3
  • cze2
Accesso al fulltext
  • reserved3276
  • no fulltext1721
  • open1194
  • partially open49
Settore disciplinare
  • Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni426
  • Settore ING-IND/17 - Impianti Industriali Meccanici330
  • Settore ING-INF/04 - Automatica198
  • Settore ING-IND/15 - Disegno e Metodi dell'Ingegneria Industriale187
  • Settore ICAR/09 - Tecnica delle Costruzioni179
  • Settore ING-IND/35 - Ingegneria Economico-Gestionale156
  • Settore ING-INF/01 - Elettronica142
  • Settore ING-IND/22 - Scienza e Tecnologia dei Materiali128
  • Settore M-PED/03 - Didattica e Pedagogia Speciale125
  • Settore ING-IND/16 - Tecnologie e Sistemi di Lavorazione114
Settore disciplinare (2024)
  • Settore IINF-05/A - Sistemi di elaborazione delle informazioni81
  • Settore IIND-05/A - Impianti industriali meccanici69
  • Settore IIND-03/B - Disegno e metodi dell'ingegneria industriale50
  • Settore IINF-04/A - Automatica50
  • Settore CEAR-07/A - Tecnica delle costruzioni32
  • Settore IIND-06/A - Macchine a fluido28
  • Settore IBIO-01/A - Bioingegneria27
  • Settore PAED-02/A - Didattica e pedagogia speciale25
  • Settore INFO-01/A - Informatica20
  • Settore CEAR-06/A - Scienza delle costruzioni18
Appartenenza
  • Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione2162
  • Dipartimento di Ingegneria e Scienze Applicate1805
  • Dipartimento di Scienze Umane e Sociali549
  • Dipartimento di Lingue, Letterature e Culture Straniere511
  • Dipartimento di Lettere, Filosofia, Comunicazione459
  • Universita' degli Studi di Bergamo424
  • Dipartimento di Scienze Economiche318
  • Dipartimento di Scienze Aziendali254
  • Scuola di Alta Formazione Dottorale187
  • Dipartimento di Giurisprudenza168