• 学术搜索
  • 科研智能体
    • Research Labs
    • AI 阅读
    • AI 文库
    • 深度研究
    • 学者亮点
  • 学术资源
    • AI2000
    • 期刊/会议
    • 学者库
    • 学术API
      MCP&Skill
    • 溯源树
    • 数据集
  • 知识沉淀
    • 学术空间
订阅小程序
旧版功能
aminer vip
开通会员低至0.73元/天
一次搞定AI科研
立即登录
  • English
    • 联系方式
    Leveraging Applications of Formal Methods

    Leveraging Applications of Formal Methods

    Conference

    年发文量

    研究主题

    论文（1134）

    排序
    1DAOMod: A Modeling Method for Decentralized Autonomous Organization Development.
    Sowelu Avanzo, Daniele Pautasso, Irene Domenicale,Alex Norta,Claudio Schifanella,Marie Hattingh, Daniel Sami Mitwalli
    2024
    引用
    AI阅读
    加入学术空间
    2Unintended Consequences of Large Language Models and Their Impact on Society.
    Ursula Coester, Dominik Adler, Christian Böttger, Norbert Pohlmann
    2024
    引用
    AI阅读
    加入学术空间
    3Towards X-as-Models in the Context of CI/CD.
    Sebastian Teumert,Tim Tegeler
    2024
    引用
    AI阅读
    加入学术空间
    4Accelerating Graphical DSL Development: Live Metamodeling in Cinco Cloud.
    Daniel Sami Mitwalli
    2024
    引用
    AI阅读
    加入学术空间
    5Towards Test-Driven Conflict Resolution.
    Jonas Schürmann,Bernhard Steffen
    2024
    引用
    AI阅读
    加入学术空间
    立即登录，查看全部 1134 篇论文

    高被引作者

    作者引用发文
    Axel Legay61730
    Bernhard Steffen52325
    Bernhard Steffen48832
    Falk Howar41523
    Tiziana Margaria35318
    Gerardo Schneider26613
    Tiziana Margaria25718
    Dirk Beyer24311
    Frits Willem Vaandrager2365
    Lothar Thiele2322

    高产作者

    作者引用发文
    Bernhard Steffen48832
    Axel Legay61730
    Bernhard Steffen52325
    Falk Howar41523
    Ina Schaefer22722
    Tiziana Margaria25718
    Tiziana Margaria35318
    Alessandro Fantechi19417
    Reiner Hähnle14116
    Martin Wirsing18016

    相关期刊

    Formal Aspects of Computing
    International Journal on Software Tools for Technology Transfer
    Science of Computer Programming
    Software Engineering for Adaptive and Self-Managing Systems
    Theoretical Aspects of Software Engineering
    International Symposium on Formal Methods
    Fundamental Approaches to Software Engineering
    Formal Techniques for Safety-Critical Systems
    NASA Formal Methods
    Runtime Verification