The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
2005 (41) 2006 (46) 2008 (33) 2009 (54) 2011 (33) 2012 (39) 2014 (50) 2015 (44) 2016 (51) 2018 (47)
Publication types (Num. hits)
inproceedings(428) proceedings(10)
Venues (Conferences, Journals, ...)
FM(438)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 180 occurrences of 124 keywords

Results
Found 438 publication records. Showing 438 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Cosimo Laneve A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Florent Avellaneda, Alexandre Petrenko FSM Inference from Long Traces. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen 20 Years of Real Real Time Model Validation. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink Deadlock Detection for Actor-Based Coroutines. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez Statistical Model Checking of LLVM Code. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Davide Giacomo Cavezza, Dalal Alrajeh, András György A Weakness Measure for GR(1) Formulae. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Kästner, Laurent Mauborgne, Christian Ferdinand On Software Safety, Security, and Abstract Interpretation. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu 0003, Alwen Tiu, Shang-Wei Lin, Jun Sun 0001 Compositional Reasoning for Shared-Variable Concurrent Programs. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chuchu Fan, Zhenqi Huang, Sayan Mitra Approximate Partial Order Reduction. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sander de Putter, Anton Wijs To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ian J. Hayes, Larissa A. Meinicke Encoding Fairness in a Synchronous Concurrent Program Algebra. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Ivan Stojic, Stefano Tonetta Formal Specification and Verification of Dynamic Parametrized Architectures. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva 0001 SDN-Actors: Modeling and Verification of SDN Programs. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thierry Lecomte Disruptive Innovations for the Development and the Deployment of Fault-Free Software. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dhriti Khanna, Subodh Sharma, César Rodríguez, Rahul Purandare Dynamic Symbolic Verification of MPI Programs. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Natasha Fernandes, Mark Dras, Annabelle McIver Processing Text for Privacy: An Information Flow Perspective. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock Combining Tools for Optimization and Analysis of Floating-Point Computations. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jingyi Wang, Jun Sun 0001, Yifan Jia, Shengchao Qin, Zhiwu Xu Towards 'Verifying' a Water Treatment System. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanni Bacci 0001, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ernie Cohen Object-Oriented Security Proofs. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Ferrère The Compound Interest in Relaxing Punctuality. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Claudio Menghi, Sergio García 0002, Patrizio Pelliccione, Jana Tumova Multi-robot LTL Planning Under Uncertainty. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Schnetzer Fava, Martin Steffen, Volker Stolz Operational Semantics of a Weak Memory Model with Channel Synchronization. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Jan Peleska 0001, Bill Roscoe, Erik P. de Vink (eds.) Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet Modular Verification of Programs with Effects and Effect Handlers in Coq. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi CompoSAT: Specification-Guided Coverage for Model Finding. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, François Bobot A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Signe Geisler, Anne Elisabeth Haxthausen Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arthur Américo, Mário S. Alvim, Annabelle McIver An Algebraic Approach for Reasoning About Information Flow. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Raúl Pardo, César Sánchez, Gerardo Schneider Timed Epistemic Knowledge Bases for Social Networks. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tewodros A. Beyene, Harald Ruess Evidential and Continuous Integration of Software Verification Tools. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1César A. Muñoz, Anthony Narkawicz, Aaron Dutle From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pavel Avgustinov, Kevin Backhouse, Man Yue Mo Variant Analysis with QL. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jörg Brauer, Uwe Schulze Model-Based Testing for Avionics Systems. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan IPL: An Integration Property Language for Multi-model Cyber-physical Systems. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer Vector Barrier Certificates and Comparison Systems. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gavin Lowe View Abstraction for Systems with Component Identities. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Robert J. Colvin, Graeme Smith A Wide-Spectrum Language for Verification of Programs on Weak Memory Models. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arne Borälv Interlocking Design Automation Using Prover Trident. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rongjie Yan, Di Zhu, Fan Zhang, Yiqi Lv, Junjie Yang, Kai Huang 0001 Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simon Busard, Charles Pecheur Producing Explanations for Rich Logics. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Shibashis Guha, Orna Kupferman Timed Vacuity. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner Z3 and SMT in Industrial R&D. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis Danger Invariants. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lönn Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson A Generic Logic for Proving Linearizability. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christoph-Simon Senjak, Martin Hofmann 0001 An Implementation of Deflate in Coq. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rajdeep Mukherjee, Saurabh Joshi 0001, Andreas Griesmayer, Daniel Kroening, Tom Melham Equivalence Checking of a Floating-Point Unit Against a High-Level C Model. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yuqi Chen 0001, Christopher M. Poskitt, Jun Sun 0001 Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bat-Chen Rothenberg, Orna Grumberg Sound and Complete Mutation-Based Program Repair. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe Tighter Reachability Criteria for Deadlock-Freedom Analysis. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Sergio Mover, Mirko Sessa From Electrical Switched Networks to Hybrid Automata. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, Dennis Guck, Johann Schumann Exploring Model Quality for ACAS X. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Claudio Menghi, Paola Spoletini, Carlo Ghezzi Dealing with Incompleteness in Automata-Based Model Checking. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek A Model Checking Approach to Discrete Bifurcation Analysis. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pingfan Kong, Yi Li 0010, Xiaohong Chen 0002, Jun Sun 0001, Meng Sun 0002, Jingyi Wang Towards Concolic Testing for Hybrid Systems. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhe Hou, David Sanán, Alwen Tiu, Yang Liu 0003, Koh Chuen Hoa An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan Approximate Bisimulation and Discretization of Hybrid CSP. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden Refactoring Refinement Structure of Event-B Machines. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson Decoupling Abstractions of Non-linear Ordinary Differential Equations. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ian J. Hayes, Robert J. Colvin, Larissa A. Meinicke, Kirsten Winter, Andrius Velykis An Algebra of Synchronous Atomic Steps. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies Error Invariants for Concurrent Traces. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhengfeng Yang, Chao Huang, Xin Chen 0027, Wang Lin, Zhiming Liu 0001 A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski Finding Suitable Variability Abstractions for Family-Based Analysis. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Adel Djoudi, Sébastien Bardin, Éric Goubault Recovering High-Level Conditions from Binary Programs. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Antonio Flores-Montoya Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Han Liu, Yu Jiang 0001, Huafeng Zhang, Ming Gu 0001, Jiaguang Sun Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stanislav Böhm, Ondrej Meca, Petr Jancar State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yu Jiang 0001, Han Liu, Houbing Song, Hui Kong, Ming Gu 0001, Jiaguang Sun, Lui Sha Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gudmund Grov, Yuhui Lin, Vytautas Tumas Mechanised Verification Patterns for Dafny. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata 0001, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ori Lahav, Viktor Vafeiadis Explaining Relaxed Memory Models with Program Transformations. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess Compositional Parameter Synthesis. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep Counter-Example Guided Program Verification. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Li Li 0044, Jun Sun 0001, Jin Song Dong Automated Verification of Timed Security Protocols with Clock Drift. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saksham Chand, Yanhong A. Liu, Scott D. Stoller Formal Verification of Multi-Paxos for Distributed Consensus. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan Validated Simulation-Based Verification of Delayed Differential Dynamics. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ofer Strichman, Maor Veitsman Regression Verification for Unbalanced Recursive Functions. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Amirhossein Vakili, Nancy A. Day Finite Model Finding Using the Logic of Equality with Uninterpreted Functions. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bjørnar Luteberget, Christian Johansen, Claus Feyling, Martin Steffen Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Néron, Benjamin Morin SpecCert: Specifying and Verifying Hardware-Based Security Enforcement. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Victor B. F. Gomes, Georg Struth Modal Kleene Algebra Applied to Program Correctness. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yusuke Kawamoto 0001, Fabrizio Biondi, Axel Legay Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Miran Hasanagic, Peter W. V. Tran-Jørgensen, Kenneth Lausdahl, Peter Gorm Larsen Formalising and Validating the Interface Description in the FMI Standard. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Heinrich Ody, Martin Fränzle, Michael R. Hansen Discounted Duration Calculus. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan Peleska 0001, Wen-ling Huang Industrial-Strength Model-Based Testing of Safety-Critical Systems. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roberto Cavada, Alessandro Cimatti, Luigi Crema, Mattia Roccabruna, Stefano Tonetta Model-Based Design of an Energy-System Embedded Controller Using Taste. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Georgios Giantamidis, Stavros Tripakis Learning Moore Machines from Input-Output Traces. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, Anna Philippou (eds.) FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem Local Planning of Multiparty Interactions with Bounded Horizons. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anton Wijs, Thomas Neele, Dragan Bosnacki GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin Automated Mutual Explicit Induction Proof in Separation Logic. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcál, Gilles Nies, Marvin Stenger Battery-Aware Scheduling in Low Orbit: The GomX-3 Case. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter H. Schmitt, Mattias Ulbrich Axiomatization of Typed First-Order Logic. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bharti Chimdyalwar, Priyanka Darke, Anooj Chavda, Sagar Vaghani, Avriti Chauhan Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 438 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license