|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8688 occurrences of 3331 keywords
|
|
|
Results
Found 31108 publication records. Showing 31108 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
28 | Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe |
An Intelligent Safety Verification Based on a Paraconsistent Logic Program. |
KES (2) |
2005 |
DBLP DOI BibTeX RDF |
EVALPSN (Extended Vector Annotated Logic Program with Strong Negation), paraconsistent logic program, intelligent control, safety verification |
28 | Aristotelis B. Alexopoulos, Nikolaos Konstantopoulos |
New elements in international maritime standards: Developing a safety case approach for the treatment of tanker incidents. |
Oper. Res. |
2004 |
DBLP DOI BibTeX RDF |
Tanker incidents, risk-based techniques, new rule-making culture, safety case approach |
28 | Qing Xu 0007, Tony K. Mak, Jeff Ko, Raja Sengupta 0002 |
Vehicle-to-vehicle safety messaging in DSRC. |
Vehicular Ad Hoc Networks |
2004 |
DBLP DOI BibTeX RDF |
communications (DSRC), dedicated short range, vehicle safety systems, medium access control, ad-hoc wireless networks |
28 | Jürgen Dingel, Hongzhi Liang |
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
TXL, VeriSoft, past-time linear temporal logic, software model checking, safety analysis, source code transformation, run-time monitoring |
28 | Philippe A. Palanque, Floor Koornneef, Chris W. Johnson 0001, Gerd Szwillus, Peter C. Wright |
Safety-critical interaction: usability in incidents and accidents. |
CHI Extended Abstracts |
2004 |
DBLP DOI BibTeX RDF |
usability, reliability, safety critical systems, human error |
28 | Eran Yahav, G. Ramalingam |
Verifying safety properties using separation and heterogeneous abstractions. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
typestate verification, verification, program analysis, abstract interpretation, safety properties |
28 | Jorge Rady de Almeida Jr., João Batista Camargo Jr., Bruno Abrantes Basseto, Sérgio Miranda Paz |
Best Practices in Code Inspection for Safety-Critical Software. |
IEEE Softw. |
2003 |
DBLP DOI BibTeX RDF |
inspection checklist, safety-critical software, code inspection |
28 | Koushik Sen, Grigore Rosu, Gul Agha |
Runtime safety analysis of multithreaded programs. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
JMPaX, Java, runtime monitoring, safety analysis, LTL, vector clock, multithreaded program, predictive analysis |
28 | Giuseppe Mantovani, Luciano Gamberini, Massimiliano Martinelli, Diego Varotto |
Exploring the Suitability of Virtual Environments for Safety Training: Signals, Norms and Ambiguity in a Simulated Emergency Escape. |
Cogn. Technol. Work. |
2001 |
DBLP DOI BibTeX RDF |
Virtual environments, Training, Safety, Signals, Social norms |
28 | Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo |
An Automatic SPIN Validation of a Safety Critical Railway Control System. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
dependable protocols, model checking, formal verification, safety-critical systems |
28 | Masakazu Soshi |
Safety Analysis of the Dynamic-Typed Access Matrix Model. |
ESORICS |
2000 |
DBLP DOI BibTeX RDF |
access matrix model, safety problem, computational complexity, access control, decidability |
28 | Raghu Singh |
A Systematic Approach to Software Safety. |
APSEC |
1999 |
DBLP DOI BibTeX RDF |
security, reliability, safety, Quality attributes, quality metrics, quality factors, quality criteria |
28 | Norman E. Fenton, Martin Neil |
A Strategy for Improving Safety Related Software Engineering Standards. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
IEC1508, measurement, prediction, Standards, assessment, safety-critical |
28 | David Abrahams |
Exception-Safety in Generic Components. |
Generic Programming |
1998 |
DBLP DOI BibTeX RDF |
exception-safety, C++, exceptions, STL |
28 | Gerald Kotonya, Ian Sommerville |
Integrating safety analysis and requirements engineering. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
viewpoint-based, formal specification, requirements engineering, safety analysis, system requirements, system failures |
28 | Jean-Luis Dufour |
Safety computations in integrated circuits. |
VTS |
1996 |
DBLP DOI BibTeX RDF |
safety computations, software-based railway control systems, MATRA TRANSPORT, signature checking, coded processor, reliability, fault tolerant computing, logic testing, redundancy, integrated circuit testing, error correction codes, automatic testing, application specific integrated circuits, ASICs, integrated circuits, coprocessors, arithmetic coding, integrated circuit reliability |
28 | Jonathan Jacky |
Specifying a Safety-Critical Control System in Z. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
cyclotron, Formal specification, safety, Z, process control, medical applications, radiation therapy |
28 | Laura K. Dillon |
Verifying General Safety Properties of Ada Tasking Programs. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
safety properties verification, Ada tasking programs, isolation approach, automating partial correctness proofs, Ada, program verification, concurrent programs, deadlock, mutual exclusion, symbolic execution, multiprocessing programs |
27 | Cindy Eisner, Dana Fisman, John Havlicek |
A topological characterization of weakness. |
PODC |
2005 |
DBLP DOI BibTeX RDF |
safety component, semantically weak and strong formulas, syntactically weak and strong formulas, temporal weakness and strength, weak and strong components, safety, liveness |
27 | Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer |
CCured in the real world. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
compatibility with library code, run-time type information, C, type safety, memory safety |
27 | Luke Emmet, George Cleland |
Graphical notations, narratives and persuasion: a Pliant Systems approach to Hypertext Tool Design. |
Hypertext |
2002 |
DBLP DOI BibTeX RDF |
hypertext argumentation, pliant systems, safety related systems, usability, technology adoption, field experience, graphical notation, safety cases |
27 | Henrik Theiling |
Extracting safe and precise control flow from binaries. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
safe precise control flow extraction, binary executables, instruction sequence clustering, branch targets, block boundaries, safety-critical real-time systems, graph approximation, entry points, instruction blocks, instruction routines, real-time systems, uncertainties, sequences, safety-critical software, program diagnostics, control flow graph, program control structures, static program analysis, flow graphs, bottom-up approach |
27 | Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor |
Formal Methods Pilot Project. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
safety-related software development, SVRC Cogito methodology, mathematical consistency checks, formal specification, formal specification, formal methods, validation, hazard analysis, collaborative project, safety requirements, pilot project |
27 | Radu Negulescu, Janusz A. Brzozowski |
Relative liveness: from intuition to automated verification. |
ASYNC |
1995 |
DBLP DOI BibTeX RDF |
relative liveness, finite trace theory, safety condition, hierarchical verification theorems, program verification, safety, multiprocessing systems, automata, finite automata, liveness, equivalence, multiprocessing programs, automated verification |
26 | Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta |
Runtime Verification of C Memory Safety. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Chang-an Shao, Qiang Wu, Guan Xin |
The Research on Safety Monitoring System of Coal Mine Based on Spatial Data Mining. |
WKDD |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Alexei Sharpanskykh, Sybert H. Stroeve |
An Agent-Based Approach to Modeling and Analysis of Safety Culture in Air Traffic. |
CSE (4) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Julien Delange, Laurent Pautet, Peter H. Feiler |
Validating Safety and Security Requirements for Partitioned Architectures. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Dominik Domis, Mario Trapp |
Component-Based Abstraction in Fault Tree Analysis. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Jennifer Black, Philip Koopman |
Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems. |
PRDC |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Rudolf Ertlmeier, Paul Spannaus |
Expanding design process of the Airbag Control Unit ACU - Connection of Active and Passive Safety by using vehicles dynamics for rollover and side crash detection. |
WISES |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Lucio Flavio Vismari, João Batista Camargo Jr. |
An Absolute-Relative Risk Assessment Methodology Approach to Current Safety Critical Systems and its Application to the ADS-B based Air Traffic Control System. |
SRDS |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Alberto Pasquini, Simone Pozzi, Luca Save |
The Wrong Question to the Right People. A Critical View of Severity Classification Methods in ATM Experimental Projects. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Benjamin M. Brosgol |
SA2: languages for safety-critical software: issues and assessment. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
|
26 | David Aspinall 0001, Patrick Maier 0001, Ian Stark |
Safety Guarantees from Explicit Resource Management. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Wei Li |
Research on the Knowledge-based Decision Support System for the Safety of Rockets. |
SNPD (2) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Benjamin M. Brosgol |
Languages for Safety-Critical Software: Issues and Assessment. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Tariq Mahmood, Edmund Kazmierczak |
A Knowledge-based Approach for Safety Analysis Using System Interactions. |
APSEC |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Aniket Murarka, Joseph Modayil, Benjamin Kuipers |
Building Local Safety Maps for a Wheelchair Robot using Vision and Lasers. |
CRV |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Todd A. DeLong, D. Todd Smith, Barry W. Johnson |
Dependability metrics to assess safety-critical systems. |
IEEE Trans. Reliab. |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Yasuyuki Tsukada |
Interactive and Probabilistic Proof of Mobile Code Safety. |
Autom. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
software verification, proof-carrying code, interactive proof system |
26 | Paul Mason |
On Traceability for Safety Critical Systems Engineering. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Tony K. Mak, Kenneth P. Laberteaux, Raja Sengupta 0002 |
A multi-channel VANET providing concurrent safety and commercial services. |
Vehicular Ad Hoc Networks |
2005 |
DBLP DOI BibTeX RDF |
dedicated short range communication (DSRC), wireless LAN, broadcast, medium access control (MAC), multi-channels, PCF |
26 | G. Niklas Norén, Roland Orre, Andrew Bate |
A hit-miss model for duplicate detection in the WHO drug safety database. |
KDD |
2005 |
DBLP DOI BibTeX RDF |
hit-miss model, mixture models, duplicate detection |
26 | Jing Liu, Josh Dehlinger, Robyn R. Lutz |
Safety Analysis of Software Product Lines Using State-Based Modeling. |
ISSRE |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Malay K. Ganai, Aarti Gupta, Pranav Ashar |
Beyond safety: customized SAT-based model checking. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
circuit cofactoring, unbounded model checking, formal verification, SAT, liveness, bounded model checking, LTL |
26 | Dirk Beyer 0001, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Checking Memory Safety with Blast. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Samia Nefti, Mourad Oussalah 0002 |
A neural network approach for railway safety prediction. |
SMC (4) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | William H. Winsborough, Ninghui Li |
Safety in Automated Trust Negotiation. |
S&P |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Isabelle Bichindaritz, Carol Moinpour, Emin Kansu, Gary Donaldson, Nigel Bush, Keith M. Sullivan |
Case Based Reasoning for Medical Decision-Support in a Safety Critical Environment. |
AIME |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Panagiotis Manolios, Richard J. Trefler |
A lattice-theoretic characterization of safety and liveness. |
PODC |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Wolfgang A. Halang |
Automated Control Systems for the Safety Integrity Levels 3 and 4. |
WORDS Fall |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Alan C. Tribble |
Software Safety. |
IEEE Softw. |
2002 |
DBLP DOI BibTeX RDF |
|
26 | M. Edwin Johnson |
Model Checking Safety Properties of Servo-Loop Control Systems. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Fan Guo, Yiyun Chen, RongGui Hu |
Machine Code Type Safety. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Shlomi Dolev, Frank A. Stomp |
Safety Assurance via On-Line Monitoring. |
ISADS |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Kaisa Sere, Elena Troubitsyna |
Safety Analysis in Formal Specification. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Bert Knegtering, Aarnout Brombacher |
Conceptual Comparison of Two Commonly Used Safeguarding Principles. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
26 | J. Boulanger, V. Delebarre, Stéphane Natkin, J. Ozello |
Deriving Safety Properties of Critical Software from the System Risk Analysis Application to Ground Transportation Systems. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Bernd J. Krämer |
A Case Study in Developing Complex Safety Critical Systems. |
HICSS (5) |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis |
Safety for Branching Time Semantics. |
ICALP |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Ravi Krishnamurthy, Raghu Ramakrishnan 0001, Oded Shmueli |
A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract). |
SIGMOD Conference |
1988 |
DBLP DOI BibTeX RDF |
DATALOG |
26 | Thomas Gruber 0004, Egbert Althammer, Erwin Schoitsch |
Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
RAMSS, co-operative traffic management, traffic telematics, HMI dependability, human factors, dependability analysis, road safety |
26 | Sophie Humbert, Christel Seguin, Charles Castel, Jean-Marc Bosc |
Deriving Safety Software Requirements from an AltaRica System Model. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
System safety requirements, software functional requirement, failure propagation models, AltaRica languages and tools, system control of helicopter turboshaft engines |
26 | Peter Dencker, Herbert Klenk, Hubert B. Keller, Erhard Plödereder (eds.) |
Automotive - Safety & Security 2017 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Stuttgart, Germany, Mai 30-31, 2017 |
Automotive - Safety & Security |
2017 |
DBLP BibTeX RDF |
|
26 | Marko Wolf, Robert Lambert |
Hacking Trucks - Cybersecurity Risks and Effective Cybersecurity Protection for Heavy Duty Vehicles. |
Automotive - Safety & Security |
2017 |
DBLP BibTeX RDF |
|
26 | Christof Ebert |
Risk-Oriented Security Engineering. |
Automotive - Safety & Security |
2017 |
DBLP BibTeX RDF |
|
26 | Asim Abdulkhaleq, Stefan Wagner 0001, Daniel Lammering, Hagen Boehmert, Pierre Blueher |
Using STPA in Compliance with ISO 26262 for Developing a Safe Architecture for Fully Automated Vehicles. |
Automotive - Safety & Security |
2017 |
DBLP BibTeX RDF |
|
26 | Norman A. Rink, Jerónimo Castrillón |
Extending a Compiler Backend for Complete Memory Error Detection. |
Automotive - Safety & Security |
2017 |
DBLP BibTeX RDF |
|
26 | Andreas Schwierz, Georg Seifert, Sebastian Hiergeist |
Funktionale Sicherheit in Automotive und Avionik: Ein Staffellauf. |
Automotive - Safety & Security |
2017 |
DBLP BibTeX RDF |
|
26 | Benjamin Lesage, David Griffin 0002, Iain Bate, Frank Soboczenski |
Exploring and Understanding Multicore Interference from Observable Factors. |
Automotive - Safety & Security |
2017 |
DBLP BibTeX RDF |
|
26 | Konstantin Zichler, Steffen Helke |
Ontologiebasierte Abhängigkeitsanalyse im Projektlastenheft. |
Automotive - Safety & Security |
2017 |
DBLP BibTeX RDF |
|
26 | Christopher Corbett, Tobias Basic, Thomas Lukaseder, Frank Kargl |
A Testing Framework Architecture for Automotive Intrusion Detection Systems. |
Automotive - Safety & Security |
2017 |
DBLP BibTeX RDF |
|
26 | Paul Chomicz, Armin Müller-Lerwe, Götz-Philipp Wegner, Rainer Busch, Stefan Kowalewski |
Towards the Use of Controlled Natural Languages in Hazard Analysis and Risk Assessment. |
Automotive - Safety & Security |
2017 |
DBLP BibTeX RDF |
|
26 | Herbert Klenk, Hubert B. Keller, Erhard Plödereder, Peter Dencker (eds.) |
Automotive - Safety & Security 2014 (2015), Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Tagung, 21.-22.04.2015, Stuttgart, Germany |
Automotive - Safety & Security |
2014 |
DBLP BibTeX RDF |
|
26 | Ralf Küsters |
E-Voting Systems. |
Software Systems Safety |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Gerwin Klein, Tobias Nipkow |
Applications of Interactive Proof to Data Flow Analysis and Security. |
Software Systems Safety |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Georg Weissenbacher, Pramod Subramanyan, Sharad Malik |
Boolean Satisfiability: Solvers and Extensions. |
Software Systems Safety |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Helmut Seidl, Kalmer Apinis, Vesal Vojdani |
Frameworks for Interprocedural Analysis of Concurrent Programs. |
Software Systems Safety |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Eran Yahav |
Practical Software Synthesis. |
Software Systems Safety |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Bart van Delft, Niklas Broberg, David Sands 0001 |
Programming in Paragon. |
Software Systems Safety |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Orna Grumberg, Sharon Shoham, Yakir Vizel |
SAT-based Model Checking: Interpolation, IC3, and Beyond. |
Software Systems Safety |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Marta Z. Kwiatkowska, Chris Thachuk |
Probabilistic Model Checking for Biology. |
Software Systems Safety |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Sumit Gulwani |
Program Synthesis. |
Software Systems Safety |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Rupak Majumdar |
Foundations of Infinite-State Verification. |
Software Systems Safety |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Patrice Godefroid |
May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification. |
Software Systems Safety |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Marco Weiskopf, Christoph Wohlfahrt, Albrecht Schmidt 0001 |
Absicherung eines Radarsensors im Systemverbund mit der Hardware-in-the-Loop Testtechnologie. |
Automotive - Safety & Security |
2014 |
DBLP BibTeX RDF |
|
26 | Antje Gieraths |
Umsetzung der Anforderungen aus der ISO 26262 bei der Entwicklung eines Steuergeräts aus dem Fahrerinformationsbereich. |
Automotive - Safety & Security |
2014 |
DBLP BibTeX RDF |
|
26 | Christian Wenzel-Benner, Daniel Wasserrab |
Kryptographische Hashfunktionen: Historie, Angriffe und aktuell sichere Standards. |
Automotive - Safety & Security |
2014 |
DBLP BibTeX RDF |
|
26 | Stephanie Bayer, Thomas Enderle, Dennis Kengo Oka, Marko Wolf |
Security Crash Test - Practical Security Evaluations of Automotive Onboard IT Components. |
Automotive - Safety & Security |
2014 |
DBLP BibTeX RDF |
|
26 | Stefan Kaufmann 0003 |
Implementation and adaptation of the Pseudonymous PKI for Ubiquitous Computing for Car-2-Car Communication. |
Automotive - Safety & Security |
2014 |
DBLP BibTeX RDF |
|
26 | Benjamin Glas, Jens Gramm, Priyamvadha Vembar |
Towards an Information Security Framework for the Automotive Domain. |
Automotive - Safety & Security |
2014 |
DBLP BibTeX RDF |
|
26 | Erhard Plödereder, Peter Dencker, Herbert Klenk, Hubert B. Keller, Silke Spitzer (eds.) |
Automotive - Safety & Security 2012, Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 14.-15. November 2012, Karlsruhe, Proceedings |
Automotive - Safety & Security |
2012 |
DBLP BibTeX RDF |
|
26 | Rupak Majumdar |
Lecture Notes on Software Model Checking. |
Software Safety and Security |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Bruno Blanchet |
Mechanizing Game-Based Proofs of Security Protocols. |
Software Safety and Security |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Hedin, Andrei Sabelfeld |
A Perspective on Information-Flow Control. |
Software Safety and Security |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Tobias Nipkow |
Interactive Proof: Introduction to Isabelle/HOL. |
Software Safety and Security |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Jason Koenig, K. Rustan M. Leino |
Getting Started with Dafny: A Guide. |
Software Safety and Security |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Georg Weissenbacher, Sharad Malik |
Boolean Satisfiability Solvers: Techniques and Extensions. |
Software Safety and Security |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Marta Z. Kwiatkowska, David Parker 0001 |
Advances in Probabilistic Model Checking. |
Software Safety and Security |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 31108 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|