„Programming Languages, Compilers, Interpreters.“

Suchergebnisse

6.476 Treffer

• Distinguishing extended finite state machine configurations using predicate abstraction
  El-Fakih, Khaled ; Yevtushenko, Nina ; Bozga, Marius ; Bensalem, Saddek
• Automated synthesis of local time requirement for service composition
  André, Étienne ; Tan, Tian Huat ; Chen, Manman ; Liu, Shuang ; Sun, Jun ; Liu, Yang ; Dong, Jin Song
• IHP: a dynamic heterogeneous parallel scheme for iterative or time-step methods—image denoising as case study
  Laso, Ruben ; Cabaleiro, José C. ; Fernández-Rivera, Francisco ; Muñiz, M. Carmen ; Álvarez-Dios, José A.
• Runtime Verification – 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings
  Könighofer, Bettina ; Torfah, Hazem 2026 Springer Nature Switzerland, Imprint: Springer
• Live process modeling with the BPMN Sketch Miner
  Ivanchikj, Ana ; Serbout, Souhaila ; Pautasso, Cesare
• Hybrid learning scenario path selection and abstraction framework for smart verification of complex SoCs
  Sharma, Gaurav ; Bhargava, Lava ; Kumar, Vinod
• Editorial
  Gaston, Christophe ; Kosmatov, Nikolai ; Gall, Pascale Le
• Foreword to the Special Issue on Configurable Systems
  Duchien, Laurence ; Grünbacher, Paul ; Thüm, Thomas
• Guest Editorial: Special issue on quality of adaptive software systems
  Peischl, Bernhard ; Eberhardinger, Benedikt
• Foreword to the Special Issue in Empirical Software Engineering: Best Papers of REFSQ 2019
  Knauss, Eric ; Goedicke, Michael ; Grünbacher, Paul
• Guest Editorial: Special Issue on Predictive Models and Data Analytics in Software Engineering
  Tosun, Ayse ; McIntosh, Shane ; Minku, Leandro ; Turhan, Burak
• Guest Editorial: Special Issue on Software Engineering for Mobile Applications
  Panichella, Sebastiano ; Palomba, Fabio ; Lo, David ; Nagappan, Meiyappan
• Guest Editorial: Special issue on Testing Software and Systems
  Yenigun, Husnu ; Evtušenko, Nina ; Cavalli, Ana Rosa
• Guest Editorial: Special Section on Mining Software Repositories
  Tan, Lin ; Hindle, Abram
• Editorial
  Danvy, Olivier ; Talcott, Carolyn
• Foreword to the special issue on empirical research in requirements engineering
  Grünbacher, Paul ; Perini, Anna
• Guest Editorial: Special section on mining software repositories
  Robbes, Romain ; Hill, Emily ; Bird, Christian
• Guest Editorial: Mining software repositories
  Robbes, Romain ; Kamei, Yasutaka ; Pinzger, Martin
• Foreword to the special section on negative results in software engineering
  Paige, Richard F. ; Cabot, Jordi ; Ernst, Neil A.
• Editorial
  France, Robert B. ; Rumpe, Bernhard