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.361 a 1.380 di 6.197 successivo > < precedente
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
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
1-gen-2018 Multi-robot LTL planning under uncertainty Menghi, Claudio; Garcia, Sergio; Pelliccione, Patrizio; Tumova, Jana 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2020 Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach Boufaied, Chaima; Menghi, Claudio; Bianculli, Domenico; 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-2017 From model checking to a temporal proof for partial models Bernasconi, Anna; Menghi, Claudio; Spoletini, Paola; Zuck, Lenore D; Ghezzi, Carlo 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.361 a 1.380 di 6.197 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 presentations6197
  • 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 Michele140
  • BELLERI, Andrea128
  • RE, Valerio126
  • RIZZI, Caterina118
  • GAIARDELLI, Paolo117
  • PEZZOTTA, Giuditta116
  • CAVALIERI, Sergio115
  • CARDACI, Alessio109
Data di pubblicazione
  • 2020 - 20261683
  • 2010 - 20193184
  • 2000 - 20091201
  • 1990 - 1999119
  • 1984 - 198910
Editore
  • Springer478
  • IEEE296
  • IEEE (Institute of Electrical and Electronics Engineers)249
  • Elsevier190
  • IEEE (Institute of Electric and Electronics Engineers)128
  • Institute of Electrical and Electronics Engineers Inc.76
  • Springer Nature Switzerland AG56
  • ASME (American Society of Mechanical Engineers)42
  • ASME38
  • Trans Tech Publications38
Rivista
  • ...SUMMER SCHOOL FRANCESCO TURCO. PROCEEDINGS52
  • POS PROCEEDINGS OF SCIENCE41
  • PROCEDIA STRUCTURAL INTEGRITY31
  • 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 SCIENCE134
  • IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY128
  • IFAC-PAPERSONLINE89
  • LECTURE NOTES IN COMPUTER SCIENCE58
  • PROCEDIA CIRP49
  • SOCIETÀ ITALIANA DI PEDAGOGIA41
  • KEY ENGINEERING MATERIALS40
  • CEUR WORKSHOP PROCEEDINGS38
  • IFAC PROCEEDINGS VOLUMES34
  • LECTURE NOTES IN MECHANICAL ENGINEERING34
Keyword
  • Sustainability44
  • TRIZ44
  • Industry 4.043
  • Electrical and Electronic Engineering36
  • Nuclear and High Energy Physics31
  • Control and Systems Engineering30
  • microelectronics29
  • CMOS28
  • sustainability28
  • Bergamo25
Lingua
  • eng4597
  • ita1449
  • fre57
  • ger47
  • spa37
  • rus32
  • mul12
  • lat5
  • chi3
  • cze2
Accesso al fulltext
  • reserved3262
  • no fulltext1721
  • open1165
  • partially open48
  • mixed1
Settore disciplinare
  • Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni427
  • 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 informazioni76
  • Settore IIND-05/A - Impianti industriali meccanici69
  • Settore IIND-03/B - Disegno e metodi dell'ingegneria industriale49
  • Settore IINF-04/A - Automatica49
  • Settore CEAR-07/A - Tecnica delle costruzioni32
  • Settore IIND-06/A - Macchine a fluido28
  • Settore IBIO-01/A - Bioingegneria24
  • Settore PAED-02/A - Didattica e pedagogia speciale23
  • Settore INFO-01/A - Informatica21
  • Settore CEAR-06/A - Scienza delle costruzioni17
Appartenenza
  • Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione2139
  • Dipartimento di Ingegneria e Scienze Applicate1793
  • Dipartimento di Scienze Umane e Sociali546
  • Dipartimento di Lingue, Letterature e Culture Straniere506
  • Dipartimento di Lettere, Filosofia, Comunicazione454
  • Universita' degli Studi di Bergamo424
  • Dipartimento di Scienze Economiche316
  • Dipartimento di Scienze Aziendali253
  • Scuola di Alta Formazione Dottorale176
  • Dipartimento di Giurisprudenza165