The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "iFM"( http://dblp.L3S.de/Venues/iFM )

URL (DBLP): http://dblp.uni-trier.de/db/conf/ifm

Publication years (Num. hits)
1999 (25) 2000 (25) 2002 (22) 2004 (29) 2005 (23) 2007 (34) 2009 (25) 2010 (24) 2012 (25) 2013 (30) 2014 (24) 2016 (34) 2017 (29) 2018 (24) 2019 (36) 2020 (25) 2022 (26) 2023 (22) 2024 (1)
Publication types (Num. hits)
inproceedings(465) proceedings(18)
Venues (Conferences, Journals, ...)
IFM(483)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 249 occurrences of 167 keywords

Results
Found 483 publication records. Showing 483 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Paula Herber, Anton Wijs (eds.) iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings Search on Bibsonomy iFM The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
1Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl Scalable and Precise Refinement Types for Imperative Languages. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina CHC Model Validation with Proof Guarantees. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Lukas Armborst, Sophie Lathouwers, Marieke Huisman Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Mengwei Xu, Thibault Rivoalen, Blair Archibald, Michele Sevegnani CAN-verify: A Verification Tool For BDI Agents. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Artur Graczyk, Marialena Hadjikosti, Andrei Popescu 0001 A Framework for Verifying the Collision Freeness of Collaborative Robots (Work in Progress). Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez, Téo Bernier Towards Formal Verification of a TPM Software Stack. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Lara Bargmann, Heike Wehrheim Lifting the Reasoning Level in Generic Weak Memory Verification. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, József Kovács, Anne Remke SMT: Something You Must Try. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Marco Paganoni, Carlo A. Furia Reasoning About Exceptional Behavior at the Level of Java Bytecode. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Jannik Dunkelau, Michael Leuschel Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif Refinement and Separation: Modular Verification of Wandering Trees. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Marcel Moosbrugger, Julian Müllner, Laura Kovács Automated Sensitivity Analysis for Probabilistic Loops. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen Formal Modelling and Analysis of a Self-Adaptive Robotic System. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni Symbolic Model Checking of Relative Safety LTL Properties. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Miroslav N. Velev Automatic Formal Verification of RISC-V Pipelined Microprocessors with Fault Tolerance by Spatial Redundancy at a High Level of Abstraction. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill Reinforcement Learning Under Partial Observability Guided by Learned Environment Models. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Gidon Ernst, Alexander Weigl Verify This: Memcached - A Practical Long-Term Challenge for the Integration of Formal Methods. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Horatiu Cirstea, Stephan Merz Extending PlusCal for Modeling Distributed Algorithms. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw Analysis and Formal Specification of OpenJDK's BitSet. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Marie-Christine Jakobs, Tim Pollandt diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Luc Edixhoven Shuffling Posets on Trajectories. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Jenna Elwing, Laura Gamboa-Guzman, Jeremy Sorkin, Chiara Travesset, Zili Wang, Kristin Yvonne Rozier Mission-Time LTL (MLTL) Formula Validation via Regular Expressions. Search on Bibsonomy iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Akhila Bairy Modeling Explanations in Autonomous Vehicles. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Conor Reynolds, Rosemary Monahan Machine-Assisted Proofs for Institutions in Coq. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Marie Farrell, Nikos Mavrakis, Angelo Ferrando 0001, Clare Dixon, Yang Gao 0002 Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Alexander Kolchin, Stepan Potiyenko Extending Data Flow Coverage to Test Constraint Refinements. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Oisín Sheridan, Rosemary Monahan, Matt Luckcuck A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Joana Parreira Simple Dependent Types for OSTRICH. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler Learning Finite State Models fromRecurrent Neural Networks. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Alen Arslanagic, Pavle Subotic, Jorge A. Pérez 0001 Scalable Typestate Analysis for Low-Latency Environments. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe, Nils Gruschka A Policy Language to Capture Compliance of Data Protection Requirements. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Louise A. Dennis Verifying Autonomous Systems. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall Certified Verification of Relational Properties. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Marcelo Forets, Christian Schilling 0001 Conservative Time Discretization: A Comparative Study. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Eduardo Geraldo SNITCH: A Platform for Information Flow Control. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Nicklas S. Johansen, Lasse B. Kær, Andreas L. Madsen, Kristian Ø. Nielsen, Jirí Srba, Rasmus G. Tollund Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Yliès Falcone, Gwen Salaün, Ahang Zuo Probabilistic Model Checking of BPMN Processes at Runtime. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Neda Saeedloei, Feliks Kluzniak Untangling the Graphs of Timed Automata to Decrease the Number of Clocks. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Carolina Carreira Studying Users' Willingness to Use a Formally Verified Password Manager. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung 0003, Mattias Ulbrich, Alexander Weigl Formal Specification and Verification of JDK's Identity Hash Map Implementation. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Rosemary Monahan (eds.) Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Yamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh 0001 Empowering the Event-B Method Using External Theories. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Marie-Christine Jakobs Reusing Predicate Precision in Value Analysis. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Michael Leuschel Operation Caching and State Compression for Model Checking of High-Level Models - How to Have Your Cake and Eat It. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Miguel Grilo, João Campos, João F. Ferreira 0001, José Bacelar Almeida, Alexandra Mendes Verified Password Generation from Password Composition Policies. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh 0001, Paulius Stankaitis Reachability Analysis and Simulation for Hybridised Event-B Models. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Luís Carvalho 0003 A Dialogue Interface for Low Code Program Evolution. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour HyperPCTL Model Checking by Probabilistic Decomposition. Search on Bibsonomy IFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh 0001 An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Julian Brunner 0001 Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Akram Idani Meeduse: A Tool to Build and Run Proved DSLs. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Søren Debois, Hugo A. López 0001, Tijs Slaats, Amine Abbad Andaloussi, Thomas T. Hildebrandt Chain of Events: Modular Process Models for the Law. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Safouan Taha, Burkhart Wolff, Lina Ye Philosophers May Dine - Definitively! Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Sara Belluccini, Rocco De Nicola, Barbara Re 0001, Francesco Tiezzi 0001 PALM: A Technique for Process ALgebraic Specification Mining. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman Formal Methods for GPGPU Programming: Is the Demand Met? Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Malte Mues, Till Schallau, Falk Howar Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone Tight Error Analysis in Fixed-Point Arithmetic. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Laura Titolo, Mariano M. Moscato, Marco A. Feliú, César A. Muñoz Automatic Generation of Guard-Stable Floating-Point Code. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Stéphane Jacquet, Sylvain Hallé Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw History-Based Specification and Verification of Java Collections in KeY. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Mohsen Safari, Marieke Huisman A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Sander de Putter, Anton Wijs Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Brijesh Dongol, Elena Troubitsyna (eds.) Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits Grey-Box Learning of Register Automata. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Tim Meywerk, Marcel Walter, Daniel Große, Rolf Drechsler Clustering-Guided SMT($\mathcal {L\!R\!A}$) Learning. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Thibault Martin, Nikolai Kosmatov, Virgile Prevosto, Matthieu Lemerre Detection of Polluting Test Objectives for Dataflow Criteria. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun Active Objects with Deterministic Behaviour. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Milad Kazemi, Sadegh Soudjani Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Neda Saeedloei, Feliks Kluzniak Synthesizing Clock-Efficient Timed Automata. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Michael Leuschel Fast and Effective Well-Definedness Checking. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Sanjeevan Sritharan, Thai Son Hoang Towards Generating SPARK from Event-B Models. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Andreas Humenberger, Nikolaj S. Bjørner, Laura Kovács Algebra-Based Loop Synthesis. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Wytse Oortwijn, Marieke Huisman Practical Abstractions for Automated Verification of Message Passing Concurrency. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rui Wang 0048, Cyrille Artho, Lars Michael Kristensen, Volker Stolz Visualization and Abstractions for Execution Paths in Model-Based Software Testing. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa (eds.) Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bjørnar Luteberget, Koen Claessen, Christian Johansen Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre Dynamic Reconfigurations in Frequency Constrained Data Flow. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yakoub Nemouchi, Simon Foster 0001, Mario Gleirscher, Tim Kelly Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi 0001, Adenilso da Silva Simão Learning to Reuse: Adaptive Model Learning for Evolving Systems. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ruggero Lanotte, Simone Tini Computing Bisimilarity Metrics for Probabilistic Timed Automata. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tuur Benoit, Bart Jacobs 0002 Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sebastian Krings, Michael Leuschel Embedding SMT-LIB into B for Interactive Proof and Constraint Solving. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safránek Accelerating Parameter Synthesis Using Semi-algebraic Constraints. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lina Marsso, Radu Mateescu 0001, Ioannis Parissis, Wendelin Serwe Asynchronous Testing of Synchronous Components in GALS Systems. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Renáta Hodován, Dániel Vince, Ákos Kiss 0001 Fuzzing JavaScript Environment APIs with Interdependent Function Calls. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chiao Hsieh, Sayan Mitra Dione: A Protocol Verification System Built with Dafny for I/O Automata. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matteo Camilli, Angelo Gargantini, Rosario Madaudo, Patrizia Scandurra HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bernhard Gleiss, Laura Kovács, Lena Schnedlitz Interactive Visualization of Saturation Attempts in Vampire. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Frank S. de Boer, Hans-Dieter A. Hiep Axiomatic Characterization of Trace Reachability for Concurrent Objects. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marek Chalupa, Jan Strejcek Evaluation of Program Slicing in Software Verification. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hélène Coullon, Claude Jard, Didier Lime Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tiziana Margaria, Alexander Schieweck The Digital Thread in Industry 4.0. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christian Johansen, Olaf Owe Summary of: Dynamic Structural Operational Semantics. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar A Program Logic for Dependence Analysis. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani Summary of: An Evaluation of Interaction Paradigms for Active Objects. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 483 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license