The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
2015 (36) 2016 (30) 2017 (32) 2018 (32) 2019 (27)
Publication types (Num. hits)
inproceedings(152) proceedings(5)
Venues (Conferences, Journals, ...)
NFM(157)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 157 publication records. Showing 157 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Anitha Murugesan, Mohammad Moghadamfalahi, Arunabh Chattopadhyay Formal Methods Assisted Training of Safe Reinforcement Learning Agents. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Aman Goel, Karem A. Sakallah Model Checking of Verilog RTL Using IC3 with Syntax-Guided Abstraction. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule, Benjamin Kiesl, Armin Biere Clausal Proofs of Mutilated Chessboards. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chris Casinghino, J. T. Paasch, Cody Roux, John Altidor, Michael Dixon, Dustin Jamner Using Binary Analysis Frameworks: The Case for BAP and angr. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohsen Lesani Transaction Protocol Verification with Labeled Synchronization Logic. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hakan Metin, Souheib Baarir, Fabrice Kordon Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Eleftherios Ioannidis, M. Frans Kaashoek, Nickolai Zeldovich Extracting and Optimizing Formally Verified Code for Systems Programming. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Julia M. Badger, Kristin Yvonne Rozier (eds.) NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Amjad Ibrahim, Severin Kacianka, Alexander Pretschner, Charles Hartsell, Gabor Karsai Practical Causal Models for Cyber-Physical Systems. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yash Vardhan Pant, Rhudii A. Quaye, Houssam Abbas, Akarsh Varre, Rahul Mangharam Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mathias Claus Jensen, Anders Mariegaard, Kim Guldstrand Larsen Symbolic Model Checking of Weighted PCTL Using Dependency Graphs. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mathias Fleury Optimizing a Verified SAT Solver. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rocco Salvia, Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz, Zvonimir Rakamaric A Mixed Real and Floating-Point Solver. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Christian Burghard, Robert Korosec Learning-Based Testing of an Industrial Measurement Device. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sudeep Kanav, Levi Lúcio, Christian Hilden, Thomas Schuetz Design and Runtime Verification Side-by-Side in eTrice. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Masaki Waga, Étienne André Online Parametric Timed Pattern Matching with Automata-Based Skipping. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Laura R. Humphrey, Jana Tumova, Ufuk Topcu Structured Synthesis for Probabilistic Systems. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rylo Ashmore, Arie Gurfinkel, Richard J. Trefler Local Reasoning for Parameterized First Order Protocols. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens MLν: A Distributed Real-Time Modal Logic. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Allan Blanchard, Frédéric Loulergue, Nikolai Kosmatov Towards Full Proof Automation in Frama-C Using Auto-active Verification. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1David E. Narváez Formalizing CNF SAT Symmetry Breaking in PVS. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Suda Bharadwaj, Steven Carr, Natasha Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu Traffic Management for Urban Air Mobility. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matteo Busi, Pierpaolo Degano, Letterio Galletta Using Standard Typing Algorithms Incrementally. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Benoît Barbot, Nicolas Basset, Thao Dang Generation of Signals Under Temporal Constraints for CPS Testing. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jürgen König, Heike Wehrheim Data Independence for Software Transactional Memory. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist Towards a Two-Layer Framework for Verifying Autonomous Vehicles. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jannik Dunkelau, Sebastian Krings, Joshua Schmidt Automated Backend Selection for ProB Using Deep Learning. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marco A. Feliú, Mariano M. Moscato Towards a Formal Safety Framework for Trajectories. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor Incremental Construction of Realizable Choreographies. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saksham Chand, Yanhong A. Liu Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga Model-Based Testing for General Stochastic Time. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Flavio M. de Paula, Arvind Haran, Brad Bingham An Efficient Rewriting Framework for Trace Coverage of Symmetric Systems. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bruno Dutertre, Dejan Jovanovic, Jorge A. Navas Verification of Fault-Tolerant Protocols with Sally. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hendrik Maarand, Tarmo Uustalu Certified Foata Normalization for Generalized Traces. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Radha Nakade, Eric Mercer, Peter Aldous, Jay McCarthy Model-Checking Task Parallel Programs for Data-Race. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren Tuning Permissiveness of Active Safety Monitors for Autonomous Systems. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios E. Fainekos, Sriram Sankaranarayanan Experience Report: Application of Falsification Methods on the UxAS System. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alfons Laarman Optimal Storage of Combinatorial State Spaces. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ansgar Fehnker, Kaylash Chaudhary, Vinay Mehta An Even Better Approach - Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ansgar Fehnker, Kaylash Chaudhary Twenty Percent and a Few Days - Optimising a Bitcoin Majority Attack. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky An Executable Formal Framework for Safety-Critical Human Multitasking. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen, Guowei Yang Using Test Ranges to Improve Symbolic Execution. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aaron Dutle, César A. Muñoz, Anthony Narkawicz (eds.) NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrew Ireland, Maria Teresa Llano, Simon Colton The Use of Automated Theory Formation in Support of Hazard Analysis. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alfons Laarman Stubborn Transaction Reduction. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philipp Körner, Jens Bendisposto Distributed Model Checking Using ProB. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jeroen Meijer, Jaco van de Pol Sound Black-Box Checking in the LearnLib. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Siddhartha Bhattacharyya, Thomas C. Eskridge, Natasha A. Neogi, Marco M. Carvalho, Milton Stafford Formal Assurance for Cooperative Intelligent Autonomous Agents. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari Output Range Analysis for Deep Feedforward Neural Networks. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Charles Zhuo Chen, Werner Dietl Don't Miss the End: Preventing Unsafe End-of-File Comparisons. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1András Vörös 0001, Márton Búr, István Ráth, Ákos Horváth 0001, Zoltán Micskei, László Balogh, Bálint Hegyi, Benedek Horváth, Zsolt Mázló, Dániel Varró MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman Strategy Synthesis for Autonomous Agents Using PRISM. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aymeric Fromherz, Abdelraouf Ouadjaout, Antoine Miné Static Value Analysis of Python Programs by Abstract Interpretation. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1César Ochoa Escudero, Rémi Delmas, Thomas Bochot, Matthieu David, Virginie Wiels Automatic Generation of DO-178 Test Procedures. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Marconi, Giovanni Quattrocchi, Luciano Baresi, Marcello M. Bersani, Matteo Rossi On the Timed Analysis of Big-Data Applications. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Miguel Romero 0005, Camilo Rocha Symbolic Execution and Reachability Analysis Using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with Extrusion. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Colin F. Snook, Thai Son Hoang, Michael J. Butler Analysing Security Protocols Using Refinement in iUML-B. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kim Völlinger, Samira Akili Verifying a Class of Certifying Distributed Programs. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hugo Illous, Matthieu Lemerre, Xavier Rival A Relational Shape Abstract Domain. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yulia Demyanova, Philipp Rümmer, Florian Zuleger Systematic Predicate Abstraction Using Variable Roles. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Silvia Bonfanti, Marco Carissoni, Angelo Gargantini, Atif Mashkoor Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Brandon Shapiro, Chris Casinghino specgen: A Tool for Modeling Statecharts in CSP. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar SPEN: A Solver for Separation Logic. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu Model-Counting Approaches for Nonlinear Numerical Constraints. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Claire Dross, Yannick Moy Auto-Active Proof of Red-Black Trees in SPARK. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Susmit Jha, Vasumathi Raman, Alessandro Pinto, Tuhin Sahai, Michael Francis On Learning Sparse Boolean Formulae for Explaining AI Decisions. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem Improved Learning for Stochastic Timed Models by State-Merging Algorithms. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthieu Martel Floating-Point Format Inference in Mixed-Precision. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hadar Frenkel, Orna Grumberg, Sarai Sheinvald An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Benjamin F. Jones, Lee Pike Modular Model-Checking of a Byzantine Fault-Tolerant Protocol. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Martin Tappler Learning from Faults: Mutation Testing in Active Automata Learning - Mutation Testing in Active Automata Learning. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saeed Darabi, Stefan C. C. Blom, Marieke Huisman A Verification Technique for Deterministic Parallel Programs. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marie-Christine Jakobs, Heike Wehrheim Compact Proof Witnesses. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Seth Ahrenbach Reasoning About Safety-Critical Information Flow Between Pilot and Computer. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Arechiga Input Space Partitioning to Enable Massively Parallel Proof. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun 0001 Parametric Model Checking Timed Automata Under Non-Zenoness Assumption. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lucas G. Wagner, Alain Mebsout, Cesare Tinelli, Darren D. Cofer, Konrad Slind Qualification of a Model Checker for Avionics Software Verification. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens Multi-timed Bisimulation for Distributed Timed Automata. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Misty Davies, Temesghen Kahsai (eds.) NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Gleirscher, Stefan Kugele From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hugo Daniel Macedo, Alessandro Fantechi, Anne Elisabeth Haxthausen Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Levi Lúcio, Salman Rahman, Chih-Hong Cheng, Alistair Mavin Just Formal Enough? Automated Analysis of EARS Requirements. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Arnaud Dieumegard, Ning Ge 0002, Eric Jenn Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aaron W. Fifarek, Lucas G. Wagner, Jonathan A. Hoffman, Benjamin D. Rodes, M. Anthony Aiello, Jennifer A. Davis SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jeroen Meijer, Jaco van de Pol Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis. Search on Bibsonomy NFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yi-Chin Wu, Vasumathi Raman, Stéphane Lafortune, Sanjit A. Seshia Obfuscator Synthesis for Privacy and Utility. Search on Bibsonomy NFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1César A. Muñoz, Anthony Narkawicz Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft. Search on Bibsonomy NFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig Assisted Coverage Closure. Search on Bibsonomy NFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Néstor Cataño, Victor Rivera EventB2Java: A Code Generator for Event-B. Search on Bibsonomy NFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiène Tahar Hierarchical Verification of Quantum Circuits. Search on Bibsonomy NFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Clément Fumex, Claire Dross, Jens Gerlach, Claude Marché Specification and Proof of High-Level Functional Properties of Bit-Level Programs. Search on Bibsonomy NFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jing Liu, John D. Backes, Darren D. Cofer, Andrew Gacek From Design Contracts to Component Requirements Verification. Search on Bibsonomy NFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Muhammad Usama Sardar, Nida Afaq, Khaza Anuarul Hoque, Taylor T. Johnson, Osman Hasan Probabilistic Formal Verification of the SATS Concept of Operation. Search on Bibsonomy NFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 157 (100 per page; Change: )
Pages: [1][2][>>]
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