Pablo Oliveira Antonino de Assis

Formação complementar

Áreas de atuação

Organização de eventos

Participação em eventos

Orientou

Produções bibliográficas

• LEITE, ANA ISABELLA MUNIZ ; LAGOA, LUCAS ; LOPES, SAMUEL ; BRAGA, ROSANA ; ANTONINO, Pablo Oliveira ; NAKAGAWA, Elisa Yumi . An Investigation of Knowledge Gaps of Graduate Students Regarding Safety-Critical Systems Development: A Controlled Experiment. IEEE TRANSACTIONS ON EDUCATION , v. 65, p. 64-72, 2022.

• NAKAGAWA, Elisa Yumi ; ANTONINO, Pablo Oliveira ; SCHNICKE, FRANK ; KUHN, THOMAS ; LIGGESMEYER, PETER . Continuous Systems and Software Engineering for Industry 4.0: A disruptive view. INFORMATION AND SOFTWARE TECHNOLOGY , v. 1, p. 106562, 2021.

• NAKAGAWA, Elisa Yumi ; ANTONINO, Pablo Oliveira ; SCHNICKE, FRANK ; CAPILLA, RAFAEL ; KUHN, THOMAS ; LIGGESMEYER, PETER . Industry 4.0 Reference Architectures: State of the Art and Future Trends. COMPUTERS & INDUSTRIAL ENGINEERING , v. 1, p. 107241, 2021.

• MUELLER-ZHANG, ZAI ; Oliveira Antonino, Pablo ; KUHN, THOMAS . Integrated Planning and Scheduling for Customized Production using Digital Twins and Reinforcement Learning. IFAC-PAPERSONLINE , v. 54, p. 408-413, 2021.

• ALLIAN, ANA PAULA ; SCHNICKE, F. ; ANTONINO, Pablo Oliveira ; ROMBACH, DIETER ; NAKAGAWA, Elisa Yumi . ArchitectureDrivers for Trustworthy Interoperability in Industry 4.0. IEEE Systems Journal , v. x, p. 1-10, 2020.

• KUHN, THOMAS ; SADIKOW, SIWARA ; ANTONINO, Pablo . A Service-Based Production Ecosystem Architecture for Industrie 4.0. KI - KÜNSTLICHE INTELLIGENZ , v. 1, p. 1-7, 2019.

• OYA, I FÜßLING, M ANTONINO, P O ARAYA, M BORKOWSKI, J BULGARELLI, A CASTROVIEJO, J COLOMÉ, J CONFORTI, V GARCIA-PIQUER, A GUÁRDIA, J HAGGE, L LYARD, E MORGENSTERN, A MAYER, M MELKUMYAN, D MURACH, T PIZARRO, L SADEH, I SCHMIDT, T SCHWANKE, U SPENGLER, G SCHWARZ, J TOSTI, G WALTER, R , et al. WEGNER, P ; Designing and prototyping the control system for the Cherenkov Telescope Array. JOURNAL OF PHYSICS. CONFERENCE SERIES (ONLINE) , v. 1085, p. 032045, 2018.

• LANA, CRISTIANE APARECIDA ; GUESSI, MILENA ; ANTONINO, Pablo Oliveira ; ROMBACH, DIETER ; NAKAGAWA, Elisa Yumi . A Systematic Identification of Formal and Semi-Formal Languages and Techniques for Software-Intensive Systems-of-Systems Requirements Modeling. IEEE Systems Journal , v. 1, p. 1-12, 2018.

• GAYER, SEBASTIAN ; HERRMANN, ANDREA ; KEULER, THORSTEN ; RIEBISCH, MATTHIAS ; ANTONINO, Pablo Oliveira . Lightweight Traceability for the Agile Architect. Computer (Long Beach, Calif. Print) , v. 49, p. 64-71, 2016.

• ANTONINO, Pablo Oliveira ; MORGENSTERN, ANDREAS ; KUHN, THOMAS . Embedded-Software Architects: It's Not Only about the Software. IEEE Software , v. 33, p. 56-62, 2016.

• ANTONINO, Pablo Oliveira ; VELASCO MONCADA, DAVID SANTIAGO ; SCHNEIDER, DANIEL ; TRAPP, MARIO ; REICH, JAN . I-SafE: An integrated Safety Engineering Tool. IFAC-PapersOnLine , v. 48, p. 23-28, 2015.

• NAKAGAWA, Elisa Yumi ; ANTONINO, Pablo Oliveira ; BECKER, MARTIN ; Maldonado, José C. ; STORF, HOLGER ; VILLELA, KARINA B. ; ROMBACH, DIETER . Relevance and perspectives of AAL in Brazil. The Journal of Systems and Software , v. 86, p. 985-996, 2013.

• KANNOTH, S. ; HERMANN, J. ; DAMM, M. ; RUBEL, P. ; RUSIN, D. ; JACOBI, M. ; MITTELSDORF, B. ; KUHN, T. ; ANTONINO, Pablo Oliveira . Enabling SMEs to Industry 4.0 Using the BaSyx Middleware: A Case Study. Software Architecture. 1ed.: , 2021, v. 1, p. 277-294.

• Jahi¿, Jasmin ; Bauer, Thomas ; KUHN, THOMAS ; Wehn, Norbert ; ANTONINO, Pablo Oliveira . FERA: A Framework for Critical Assessment of Execution Monitoring Based Approaches for Finding Concurrency Bugs. Advances in Intelligent Systems and Computing. 1ed.: Springer International Publishing, 2020, v. , p. 54-74.

• SCHNICKE, FRANK ; KUHN, THOMAS ; ANTONINO, Pablo Oliveira . Enabling Industry 4.0 Service-Oriented Architecture Through Digital Twins. Communications in Computer and Information Science. 1ed.: Springer International Publishing, 2020, v. , p. 490-503.

• KUHN, THOMAS ; ANTONINO, Pablo Oliveira ; Bachorek, Adam . A Simulator Coupling Architecture for the Creation of Digital Twins. Communications in Computer and Information Science. 1ed.: Springer International Publishing, 2020, v. , p. 326-339.

• KUHN, THOMAS ; ANTONINO, Pablo Oliveira ; SCHNICKE, FRANK . Industrie 4.0 Virtual Automation Bus Architecture. Communications in Computer and Information Science. 1ed.: Springer International Publishing, 2020, v. , p. 477-489.

• KUHN, THOMAS ; ANTONINO, Pablo Oliveira ; MORGENSTERN, ANDREAS . Automated Scenario-Based Evaluation of Embedded Software and System Architectures. Advances in Intelligent Systems and Computing. 1ed.: Springer International Publishing, 2019, v. , p. 452-469.

• KUHN, THOMAS ; ANTONINO, Pablo Oliveira ; MORGENSTERN, ANDREAS . Virtual Testbeds with Meta-data Propagation. Advances in Intelligent Systems and Computing. 1ed.: Springer International Publishing, 2019, v. , p. 902-919.

• ANTONINO, Pablo Oliveira ; Jung, Matthias ; MORGENSTERN, ANDREAS ; Faßnacht, Florian ; Bauer, Thomas ; Bachorek, Adam ; KUHN, THOMAS ; NAKAGAWA, Elisa Yumi . Enabling Continuous Software Engineering for Embedded Systems Architectures with Virtual Prototypes. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. , p. 115-130.

• Boyer, Arnaud ; Tenbergen, Bastian ; Velasco, Santiago ; ANTONINO, Pablo ; Battram, Peter ; Buono, Suryo ; Kaiser, Bernhard ; Zander, Justyna ; Bizik, Kai ; Prohaska, Alexander ; Käßmeyer, Michael . Modular Safety Assurance. Advanced Model-Based Engineering of Embedded Systems. 1ed.: Springer International Publishing, 2016, v. , p. 169-196.

• ANTONINO, Pablo Oliveira ; TRAPP, MARIO ; BARBOSA, PAULO ; Gurjão, Edmar C. ; Rosário, Jeferson . The Safety Requirements Decomposition Pattern. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2015, v. 9337, p. 269-282.

• NAKAGAWA, Elisa Yumi ; Oliveira Antonino, Pablo ; BECKER, MARTIN . Reference Architecture and Product Line Architecture: A Subtle But Critical Difference. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2011, v. , p. 207-211.

• TREICHEL, TAGLINE ; ANTONINO, Pablo Oliveira ; SANTOS, FILIPE SILVA ; ROSA, LEONARDO SILVA . Simulation-as-a-Service: a simulation platform for cyber-physical systems. In: 2021 IEEE 18th International Conference on Software Architecture Companion (ICSAC), 2021, Stuttgart. 2021 IEEE 18th International Conference on Software Architecture Companion (ICSA-C), 2021. p. 155.

• KANNOTH, SUBASH ; SCHNICKE, FRANK ; ANTONINO, Pablo Oliveira . Enabling Industry 4.0 Communication Protocol Interoperability: An OPC UA Case Study. In: ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021, Novi Sad Serbia. 7th Conference on the Engineering of Computer Based Systems. New York: ACM, 2021. p. 1.

• SCHNICKE, FRANK ; ESPEN, DANIEL ; Oliveira Antonino, Pablo ; KUHN, THOMAS . Architecture Blueprint Enabling Distributed Digital Twins. In: ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021, Novi Sad Serbia. 7th Conference on the Engineering of Computer Based Systems. New York: ACM, 2021. p. 1.

• KUHN, THOMAS ; SCHNICKE, FRANK ; ANTONINO, Pablo Oliveira . Towards the Factory of the Future with Digital Twins and SOA : Towards the Factory of the Future with Digital Twins and SOA. In: 2020 IEEE International Conference on Software Architecture Companion (ICSAC), 2020, Salvador. 2020 IEEE International Conference on Software Architecture Companion (ICSA-C), 2020. p. 3.

• MULLER-ZHANG, ZAI ; ANTONINO, Pablo Oliveira ; KUHN, THOMAS . Dynamic Process Planning using Digital Twins and Reinforcement Learning. In: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020, Vienna. 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020. p. 1757.

• KUHN, THOMAS ; SCHNICKE, FRANK ; Oliveira Antonino, Pablo . Service-Based Architectures in Production Systems: Challenges, Solutions & Experiences. In: 2020 ITU Kaleidoscope: IndustryDriven Digital Transformation (ITU K), 2020, Ha Noi. 2020 ITU Kaleidoscope: Industry-Driven Digital Transformation (ITU K), 2020. p. 1.

• LEITE, ISABELLA MUNIZ ; ANTONINO, Pablo Oliveira ; NAKAGAWA, Elisa Yumi . From Safety Requirements to Just-Enough Safety-Centered Architectural Solutions in Agile Contexts. In: SBES '20: 34th Brazilian Symposium on Software Engineering, 2020, Natal Brazil. Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020. p. 766.

• JAHIC, JASMIN ; ENBRECHT, PETER ; MAYER, UWE ; ANTONINO, Pablo Oliveira . Mitigating the Influence of Embedded Software Development Environments and Toolsets (ESDT) on Software Architecture. In: 2019 IEEE International Conference on Software Architecture (ICSA), 2019, Hamburg. 2019 IEEE International Conference on Software Architecture (ICSA), 2019. p. 111.

• JAHIC, JASMIN ; KUMAR, VARUN ; ANTONINO, Pablo Oliveira ; WIRRER, GERHARD . Testing the Implementation of Concurrent AUTOSAR Drivers Against Architecture Decisions. In: 2019 IEEE International Conference on Software Architecture (ICSA), 2019, Hamburg. 2019 IEEE International Conference on Software Architecture (ICSA), 2019. p. 171.

• Bachorek, Adam ; SCHULTE-LANGFORTH, FELIX ; WITTON, ALEXANDER ; KUHN, THOMAS ; ANTONINO, Pablo Oliveira . Towards a Virtual Continuous Integration Platform for Advanced Driving Assistance Systems. In: 2019 IEEE International Conference on Software Architecture Companion (ICSAC), 2019, Hamburg. 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), 2019. p. 61.

• KALLWEIT, BENNO ; ANTONINO, Pablo Oliveira ; JAHIC, JASMIN ; KUHN, THOMAS ; LIGGESMEYER, PETER . Detection of conflicts and inconsistencies between architecture solutions. In: the 13th European Conference, 2019, Paris. Proceedings of the 13th European Conference on Software Architecture - ECSA '19 - volume 2. New York: ACM Press, 2019. p. 183.

• ANTONINO, Pablo Oliveira ; SCHNICKE, FRANK ; ZHANG, ZAI ; KUHN, THOMAS . Blueprints for architecture drivers and architecture solutions for Industry 4.0 shopfloor applications. In: the 13th European Conference, 2019, Paris. Proceedings of the 13th European Conference on Software Architecture - ECSA '19 - volume 2. New York: ACM Press, 2019. p. 261.

• PSCHORN, PATRICK ; Oliveira Antonino, Pablo ; MORGENSTERN, ANDREAS ; KUHN, THOMAS . A constraint modeling framework for domain-specific languages. In: the 17th ACM SIGPLAN International Workshop, 2019, Athens. Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling - DSM 2019. New York: ACM Press, 2019. p. 20.

• ANTONINO, Pablo Oliveira ; MORGENSTERN, ANDREAS ; KALLWEIT, BENNO ; BECKER, MARTIN ; KUHN, THOMAS . Straightforward Specification of Adaptation-Architecture-Significant Requirements of IoT-enabled Cyber-Physical Systems. In: 2018 IEEE International Conference on Software Architecture Companion (ICSAC), 2018, Seattle. 2018 IEEE International Conference on Software Architecture Companion (ICSA-C), 2018. p. 19.

• ANTONINO, Pablo Oliveira ; JAHIC, JASMIN ; KALLWEIT, BENNO ; MORGENSTERN, ANDREAS ; KUHN, THOMAS . Bridging the Gap between Architecture Specifications and Simulation Models. In: 2018 IEEE International Conference on Software Architecture Companion (ICSAC), 2018, Seattle. 2018 IEEE International Conference on Software Architecture Companion (ICSA-C), 2018. p. 77.

• KUHN, THOMAS ; ANTONINO, Pablo Oliveira ; DAMM, MARKUS ; MORGENSTERN, ANDREAS ; SCHULZ, DIRK ; ZIESCHE, CONSTANTIN ; MÜLLER, THORSTEN . Industrie 4.0 virtual automation bus. In: the 40th International Conference, 2018, Gothenburg. Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18. New York: ACM Press, 2018. p. 121.

• MORGENSTERN, ANDREAS ; ANTONINO, Pablo ; KUHN, THOMAS ; PSCHORN, PATRICK ; KALLWEIT, BENNO . Modeling embedded systems using a tailored view framework and architecture modeling constraints. In: the 11th European Conference, 2017, Canterbury. Proceedings of the 11th European Conference on Software Architecture Companion Proceedings - ECSA '17. New York: ACM Press, 2017. p. 180-186.

• OYA, I. ; FÜßLING, M. ; Antonino, P. O. ; CONFORTI, V. ; HAGGE, L. ; MELKUMYAN, D. ; MORGENSTERN, A. ; TOSTI, G. ; SCHWANKE, U. ; SCHWARZ, J. ; WEGNER, P. ; COLOMÉ, J. ; LYARD, E. . The software architecture to control the Cherenkov Telescope Array. In: SPIE Astronomical Telescopes + Instrumentation, 2016, Edinburgh. p. 991303.

• ANTONINO, Pablo Oliveira ; TRAPP, MARIO ; VENUGOPAL, ASHWIN . Automatic Detection of Incomplete and Inconsistent Safety Requirements. In: SAE 2015 World Congress & Exhibition, 2015.

• DOS SANTOS SATVANYI, ALINE CRISTINA ; Oliveira Antonino, Pablo . An Approach to Support FMEA Specification in Automotive Systems. In: SAE 2015 World Congress & Exhibition, 2015.

• ANTONINO, Pablo Oliveira ; TRAPP, MARIO ; BARBOSA, PAULO ; SOUSA, LUANA . The Parameterized Safety Requirements Templates. In: 2015 IEEE/ACM 8th International Symposium on Software and Systems Traceability (SST), 2015, Florence. 2015 IEEE/ACM 8th International Symposium on Software and Systems Traceability. p. 29.

• BARBOSA, PAULO ; LEITE, FABIO ; MENDONCA, RAPHAEL ; ANDRADE, M. ; SOUSA, L. ; ANTONINO, Pablo . RAwTIM ? Uma Ferramenta para Rastreabilidade da Informação em Análises de Riscos. In: Congresso Brasileiro de Software: Teoria e Prática (CBSoft), 2015, Belo Horizonte - MG. Proceeding of the CBSOFT 2015, 2015.

• Oliveira Antonino, Pablo ; VELASCO MONCADA, DAVID SANTIAGO ; KUHN, T. ; SCHNEIDER, DANIEL ; TRAPP, MARIO . Integrated Model-based Safety Engineering with I-SafE. In: Embedded Software Engineering Congress 2015 - ESE 2015, 2015, Sindelfinger, Germany. Embedded Software Engineering Congress 2015 - ESE 2015, 2015.

• ANTONINO, Pablo Oliveira ; KEULER, THORSTEN ; GERMANN, NICOLAS ; CRONAUER, BRIAN . A Non-invasive Approach to Trace Architecture Design, Requirements Specification and Agile Artifacts. In: 2014 23rd Australian Software Engineering Conference (ASWEC), 2014, Milsons Point. 2014 23rd Australian Software Engineering Conference, 2014. p. 220.

• KUHN, T. ; Antonino, Pablo O. . Model-Driven Development of Embedded Systems. In: Embedded Software Engineering Congress 2014 - ESE 2014, 2014, Sindelfinger, Germany. Proceeding of the ESE 2015, 2014.

• ANTONINO, Pablo ; TRAPP, MARIO . Improving Consistency Checks between Safety Concepts and View Based Architecture Design. In: 12th International Probabilistic Safety Assessment and Management Conference, PSAM 2014., 2014, Honolulu, Hawaii, USA. Proceeding of the PSAM 12, 2014, 2014.

• LEITE, FABIO ; ANTONINO, Pablo Oliveira ; BARBOSA, PAULO ; KEMMANN, SOEREN ; MENDONCA, RAPHAEL . Are the current architectural practices suitable for safety aspects of medical devices? An exploratory investigation. In: 2014 IEEE 16th International Conference on eHealth Networking, Applications and Services (Healthcom 2014), 2014, Natal-RN. 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom), 2014. p. 477.

• Carolina Albuquerque ; NAKAGAWA, Elisa Yumi ; ANTONINO, Pablo Oliveira . An Investigation into Agile Methods in Embedded Systems Development. In: 12th International Conference on Computational Science and Applications (ICCSA 2012), 2012, Salvador. Lecture Notes in Computer Science, 2012. v. 7335. p. 576-591.

• ANTONINO, Pablo Oliveira ; Thorsten Keuler ; NAKAGAWA, Elisa Yumi . Towards an Approach to Represent Safety Patterns. In: 7th International Conference on Software Engineering Advances (ICSEA 2012), 2012, Lisbon. Proceedings of the 7th International Conference on Software Engineering Advances (ICSEA 2012), 2012. p. 228-237.

• NAKAGAWA, Elisa Yumi ; ANTONINO, Pablo Oliveira ; BECKER, MARTIN . Exploring the use of reference architectures in the development of product line artifacts. In: the 15th International Software Product Line Conference, 2011, Munich. Proceedings of the 15th International Software Product Line Conference on - SPLC '11. New York: ACM Press. p. 1-8.

• ANTONINO, Pablo Oliveira ; Daniel Schneider ; Hofmann, C. ; NAKAGAWA, Elisa Yumi . Evaluation of AAL Platforms According to Architectural-Based Quality Attributes. In: International Joint Conference on Ambient Intelligence (AmI 11), 2011, Amsterdam. Lecture Notes in Computer Science, 2011. v. 7040. p. 264-274.

• ANTONINO, Pablo Oliveira ; Marius Orfgen ; Daniel Schneider ; Tanvir Hussain ; Martin Becker . Evaluating Adaptation Behavior of Adaptive Systems. In: V International Conference on Software Engineering Advances, 2010, Nice. Proc. of the Fifth International Conference on Software Engineering Advances (ICSEA), 2010., 2010. p. 488-493.

• ANTONINO, Pablo Oliveira ; Slawomir Duszynski ; Christian Jung ; Manuel Rudolph . Indicator-based architecture-level security evaluation in a service-oriented environment. In: International Workshop on Measurability of Security in Software Architectures, 2010, Copenhagen, Denmark. Proceedings of the Fourth European Conference on Software Architecture. New York, NY, USA: ACM, 2010. p. 59-62.

• MORENO, B. N. ; SOARES JUNIOR, A. ; ALMEIDA, C. N. ; ANTONINO, Pablo Oliveira . OOP, XML and Software Development Methodologies Applied on Water Resources Area. In: XXX Congresso Ibero-Latino-Americano de Métodos Computacionais em Engenharia, 2009, Armação dos Búzios. Anais do Congresso Ibero-Latino-Americano de Métodos Computacionais em Engenharia, 2009.

• BATT, T. ; EMDE, C. ; Oliveira Antonino, Pablo ; WILLERT, A. ; KOSCHKE, R. ; GANSSLE, J. . Panel: Embedded Software Engineering ? Wo geht die Reise hin?. 2014. (Apresentação de Trabalho/Conferência ou palestra).

• ANTONINO, Pablo Oliveira . Qualitätsmerkmale von AAL-Plattformen 2012 (Project Result Compilation).

Outras produções

Projetos de pesquisa

• 2012 - Atual

  Uma Contribuição ao Estabelecimento e Avaliação de Arquiteturas de Referência para Sistemas Embarcados, Descrição: Edital MCT/CNPq 14/2011 - Universal, Processo: 474720/2011-0.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Pablo Oliveira Antonino de Assis - Integrante / Martin Becker - Integrante / Elisa Yumi Nakagawa - Coordenador / Flavio Oquendo - Integrante / José Carlos Maldonado - Integrante.

• 2010 - Atual

  OptimAAL - Kompetenzplattform für die Entwicklung und Einführung von AAL-Lösungen, Descrição: Improvement of existing Reference Architectures of Ambient Assisted Living platforms.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Pablo Oliveira Antonino de Assis - Integrante / Martin Becker - Coordenador., Financiador(es): Bundesministeriur fur Bildung und Forschung - Outra.

• 2010 - Atual

  CESAR - Cost-efficient methods and processes for safety relevant embedded systems, Descrição: "The embedded safety-critical systems design and development industry is facing increasing complexity and variety of systems and devices, coupled with increasing regulatory constraints while costs, performances and time to market are constantly challenged. This has led to a profusion of enablers (new processes, methods and tools), which are neither integrated nor interoperable because they have been developed more or less independently, addressing only a part of the complexity issue, such as safety. The absence of internationally recognized open standards is a limiting factor in terms of industrial performance when companies have to select among these enablers. CESAR will bring significant and conclusive innovations in the two most improvable systems engineering disciplines: * Requirements engineering in particular through formalization of multi viewpoint, multi criteria and multi level requirements, * Component based engineering applied to design space exploration comprising multi-view, multi-criteria and multi level architecture trade-offs. Multi-viewpoint based development processes assure that not only functional aspects but also safety, costs, robustness, timeliness, etc. are captured and documented in a form allowing validation and verification to be performed. Multi-criteria based design processes allow for optimization of designs to multiple objectives functions for such extra-functional characteristics of designs, a key for achieving competitive products. Multi-level design flows cover all stages from initial concepts through requirements through specification to design and implementation, typically crossing multiple stages in supplier chains. The combination of these aspects will allow movement towards "first-time-right" designs, where the actual integration phases are free of negative surprises. In addition, CESAR intends to provide industrial companies with a breakthrough in system development by deployin. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Pablo Oliveira Antonino de Assis - Coordenador., Financiador(es): Artemis Joint Undertaken - Remuneração.

• 2010 - Atual

  Innovation Cluster for Digital Commercial Vehicle Technology, Descrição: Set up in close cooperation with leading industrial partners such as Robert Bosch, Daimler, John Deere, Haldex Brake, Keiper, Schmitz Cargobull, GE Transportation Systems and Volvo. The aim is to enhance the research and development skills of the industrial partners and enable them to improve their engineering processes for system reliability.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Pablo Oliveira Antonino de Assis - Integrante / Thorsten Keuler - Coordenador., Financiador(es): Fraunhofer Institute for Experimental Software Engineering IESE - Outra.

• 2009 - Atual

  HATS - Highly Adaptable and Trustworthy Software using Formal Models, Descrição: The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand on trustworthiness.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Pablo Oliveira Antonino de Assis - Integrante / Reiner Hähnle - Coordenador., Financiador(es): European Commission 7th Framework Programme - Outra.

• 2009 - Atual

  SiSOA - Sicherheit in Service-Orientierten Architekturen, Descrição: Address Security aspects in Service Oriented Arquitectures. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Pablo Oliveira Antonino de Assis - Integrante / Reinhard Schwarz - Coordenador., Financiador(es): Fraunhofer Institute for Experimental Software Engineering - Outra.

• 2009 - Atual

  AUDI ePerformance, Descrição: The goal of the research project ?ePerformance? is to design the electric drive train in a completely new way, to systematically optimize all electric components in a vehicle, and to increase efficiency. The ambitious project intentionally pushes the technological limits, and is thus aimed at high performance classes. The final result will be an automobile that is the product of a completely new development while being sportive in the way that is typical forAudi.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Pablo Oliveira Antonino de Assis - Integrante / Mario Trapp - Coordenador.

• 2007 - 2009

  Design Checker: Verificação e Rastreamento da Evolução de Desenhos de Software, Descrição: O objetivo deste projeto é desenvolver técnicas e ferramentas que suportem a verificação, o rastreamento da evolução e a avaliação dos impactos gerados por mudanças em desenhos de software no desenvolvimento. Tais ferramentas oferecerão suporte automatizado às fábricas de software da Unitech para o controle de qualidade dos produtos desenvolvidos.. , Situação: Desativado; Natureza: Pesquisa. , Integrantes: Pablo Oliveira Antonino de Assis - Integrante / Dalton Dario Serey Guerrero - Coordenador / Jorge Cesar Abrantes de Figueiredo - Integrante., Financiador(es): CPM Braxis Outsourcing - Auxílio financeiro.