Search results for "abstraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	David Feldcamp, Alan Wagner	Using the Parsec environment to implement a high-performance processor farm.	HICSS (2)	1995	DBLP DOI BibTeX RDF	Parsec, high-performance processor farm, multicomputer programs, context-sensitive configuration, hand-optimized implementations, declarative structural information, parallel application structure specification, performance evaluation, performance, user interfaces, user interface, scalability, parallel programming, parallel architectures, static analysis, message passing, reuse, abstraction, optimisation, programming environments, software reusability, parallel programming environment, communication primitives
14	Andreas L. Opdahl, Guttorm Sindre	Representing real-world processes.	HICSS (4)	1995	DBLP DOI BibTeX RDF	real-world process representation, real-world dynamics, static aspects, material processing, formal specification, information systems, information systems, aggregation, systems analysis, diagrams, association, dynamic models, modelling languages, information processing, generalisation, semantic data modelling, data flow diagrams, dynamic aspects, abstraction mechanisms
14	Ralf Diekmann, Reinhard Lüling, Burkhard Monien, Carsten Spräner	A parallel local-search algorithm for the k-partitioning problem.	HICSS (2)	1995	DBLP DOI BibTeX RDF	parallel local-search algorithm, k-partitioning problem, helpful sets, abstraction technique, runtime dynamic graph shrinking, MIMD systems, parallel algorithms, computational complexity, graph theory, heuristics, search problems, computation times, heuristic programming, stochastic methods, parallel efficiency, graph bisection, solution quality, processor numbers
14	Tim Collins, James C. Browne	MaTRiX++: an object-oriented environment for parallel high-performance matrix computations.	HICSS (2)	1995	DBLP DOI BibTeX RDF	MaTRiX+/sup +/, object-oriented environment, parallel high-performance matrix computations, hierarchical matrix algebra, recursive implementations, compilation model, distributed-memory parallel supercomputers, computation distribution, data-driven single-program, multiple-data processor programs, parallel programming, object-oriented programming, programming environments, rapid prototyping, object-oriented languages, matrix algebra, software prototyping, efficient implementations, language extensions, abstraction level, mathematics computing, parallelising compilers, hierarchical data, language interface
14	Richard Hofmann, Rainer Klar, Bernd Mohr, Andreas Quick, Markus Siegle	Distributed Performance Monitoring: Methods, Tools, and Applications.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	functional behavior, hybrid monitoring, parallel ray tracing program, common abstraction, SUPRENUM, performance evaluation, distributed systems, monitoring, debugging, distributed processing, program debugging, performance monitoring, tuning, system monitoring, dynamic behavior
14	Farnam Jahanian, Aloysius K. Mok	Modechart: A Specification Language for Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	Modechart, absolute timing, real-time clock, RTL formulas, RTL assertions, graphical implementation, SARTOR, real-time systems, real-time systems, semantics, specification languages, specification language, rapid prototyping, timing constraints, abstraction levels, logic programming languages, hierarchical organization, real-time logic
14	James M. Bieman, Linda M. Ott	Measuring Functional Cohesion.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	functional cohesion, data slice abstraction, data tokens, glue tokens, super-glue tokens, software measurement scale, abstract transformations, software metrics, data slices
14	Valdis Berzins, Luqi, Amiram Yehudai	Using Transformations in Specification-Based Prototyping.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software tool support, specification-based prototyping, system interfaces, externally observable behavior, chronological derivation sequences, formal specification, software evolution, process model, software prototyping, abstraction level, software transformations, system description
14	Kari Kuutti, Liam J. Bannon	Searching for unity among diversity: exploring the "interface" concept.	INTERCHI	1993	DBLP DOI BibTeX RDF	interface, activity theory, user interface management systems, abstraction levels
14	Bonnie J. Dorr	The use of lexical semantics in interlingual machine translation.	Mach. Transl.	1992	DBLP DOI BibTeX RDF	lexical conceptual structure, abstraction, compositionality, divergences, interlingua
14	Timothy J. Shimeall, Nancy G. Leveson	An Empirical Comparison of Software Fault Tolerance and Fault Elimination.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	fault elimination, run-time assertions, multiversion voting, stepwise abstraction, static data-flow analysis, project resources, fault tolerant computing, software reliability, software reliability, program testing, software fault tolerance, functional testing, structural testing, code reading
14	Shih-Ping Liou, Arnold H. Chiu, Ramesh C. Jain	A Parallel Technique for Signal-Level Perceptual Organization.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	scene interpretation, signal-level perceptual organization, abstraction process, pattern recognition, parallel algorithm, parallel algorithms, image segmentation, knowledge representation, picture processing, filtering, filtering and prediction theory, symbolic representations, gray-level
14	Gheorghe Tecuci, Ryszard S. Michalski	Input Understanding as a Basis for Multistrategy Task-Adaptive Learning.	ISMIS	1991	DBLP DOI BibTeX RDF	abstraction, knowledge acquisition, induction, analogy, abduction, explanation-based learning, multistrategy learning
14	R. K. Shyamasundar, James W. Thatcher	Language Constructs for Specifying Concurrency in CDL*.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	CDL* concurrency specification, dynamically allocating resources, CDL*, distributed programming languages, parallel programming, data integrity, data integrity, anonymity, specification languages, mutual exclusion, expressiveness, specification techniques, modular specification, language constructs, abstraction mechanisms, dynamic resource management
14	Robert A. Mueller, Michael R. Duda, Philip H. Sweany, Jack S. Walicki	Horizon: A Retargetable Compiler for Horizontal Microarchitectures.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	horizontal microarchitectures, vertical migration, complex application code, horizontal microcode, optimized microcode, concurrency, abstraction, timing, program compilers, microprogramming, retargetable compiler, assembly languages, Horizon
14	Jörg Desel, Agathe Merceron	P/T-systems as abstractions of C/E-systems.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	Relations between Condition/Event-systems and Place/Transition-systems, synchronic distance, simulation, abstraction
14	Karl-Hans Bläsius, Jörg H. Siekmann	Partial Unification for Graph Based Equational Reasoning.	CADE	1988	DBLP DOI BibTeX RDF	built-in equality, clause graphs with equality, planning in abstraction spaces, Unification
14	Patrick Bellot	Unformly Applicative Structures, A Theory of Computability and Polyadic Functions.	FSTTCS	1988	DBLP DOI BibTeX RDF	polyadicity, algorithmic, abstraction, computability, representability, recursive function, definability
14	Flaviu Cristian	Robust Data Types.	Program Specification	1981	DBLP DOI BibTeX RDF	Key-words and phrases Data Abstraction, Partial Operations, Total Operations, Software Engineering, Program Verification, Exception Handling
14	Lawrence A. Rowe, Kurt A. Shoens	Data Abstractions, Views and Updates in RIGEL.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF	relational data base systems, generators, programming languages, views, data abstraction
13	Jirí Simsa, Satnam Singh	Designing hardware with dynamic memory abstraction.	FPGA	2010	DBLP DOI BibTeX RDF	c to gates, high-level synthesis, parallel execution, dynamic memory, bluespec
13	Nicola Bombieri, Franco Fummi, Graziano Pravadelli	Abstraction of RTL IPs into embedded software.	DAC	2010	DBLP DOI BibTeX RDF	RTL IP reuse, embedded software generation
13		Set Abstraction.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
13		Implementation Abstraction.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
13		Localization Abstraction.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
13		Video Abstraction.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
13		Component Abstraction.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
13	Martino Ruggiero, Davide Bertozzi, Luca Benini, Michela Milano, Alexandru Andrei	Reducing the Abstraction and Optimality Gaps in the Allocation and Scheduling for Variable Voltage/Frequency MPSoC Platforms.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2009	DBLP DOI BibTeX RDF
13	Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady	An abstraction-based decision procedure for bit-vector arithmetic.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Decision-procedures, Bit-vector
13	Saswat Anand, Corina S. Pasareanu, Willem Visser	Symbolic execution with abstraction.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
13	Martin Monperrus, Antoine Beugnard, Joël Champeau	A Definition of "Abstraction Level" for Metamodels.	ECBS	2009	DBLP DOI BibTeX RDF
13	Tamás Vajk, Róbert Kereskényi, Tihamer Levendovszky, Ákos Lédeczi	Raising the Abstraction of Domain-Specific Model Translator Development.	ECBS	2009	DBLP DOI BibTeX RDF
13	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Zhang 0007	Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction.	ICFEM	2009	DBLP DOI BibTeX RDF
13	Matteo Palmonari, Carlo Batini	Abstract ERIA: a web language for conceptual metadata integration and abstraction in the large.	MEDES	2009	DBLP DOI BibTeX RDF
13	Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu	Automatic Construction of Complete Abstraction by Abstract Interpretation.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
13	Dominik Domis, Mario Trapp	Component-Based Abstraction in Fault Tree Analysis.	SAFECOMP	2009	DBLP DOI BibTeX RDF
13	Yael Meller, Orna Grumberg, Sharon Shoham	A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement.	ATVA	2009	DBLP DOI BibTeX RDF
13	Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang	Abstraction for Concurrent Objects.	ESOP	2009	DBLP DOI BibTeX RDF
13	Sourish Dasgupta, Satish Bhat, Yugyung Lee	An Abstraction Framework for Service Composition in Event-Driven SOA Systems.	ICWS	2009	DBLP DOI BibTeX RDF
13	Guido Boella, Souhila Kaci, Leendert W. N. van der Torre	Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension.	ECSQARU	2009	DBLP DOI BibTeX RDF
13	Raja Sooriamurthi	Introducing abstraction and decomposition to novice programmers.	ITiCSE	2009	DBLP DOI BibTeX RDF	programming case study, cs1/cs2
13	Kais Klai, Samir Tata, Jörg Desel	Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes.	BPM	2009	DBLP DOI BibTeX RDF
13	Jeffrey Allred, Jack Coyne, William Lynch, Vincent Natoli, Joseph Grecco, Joel Morrissette	Smith-Waterman implementation on a FSB-FPGA module using the Intel Accelerator Abstraction Layer.	IPDPS	2009	DBLP DOI BibTeX RDF
13	Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies	Abstraction Refinement for Quantified Array Assertions.	SAS	2009	DBLP DOI BibTeX RDF
13	Matthias Heizmann, Jochen Hoenicke, Andreas Podelski	Refinement of Trace Abstraction.	SAS	2009	DBLP DOI BibTeX RDF
13	Stefan Ratschan, Jan-Georg Smaus	Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate.	TAP@TOOLS	2009	DBLP DOI BibTeX RDF
13	Adriana Damasceno, Adalberto Farias, Alexandre Mota 0001	A Mechanized Strategy for Safe Abstraction of CSP Specifications.	SBMF	2009	DBLP DOI BibTeX RDF
13	Eli Arbel, Oleg Rokhlenko, Karen Yorav	SAT-based synthesis of clock gating functions using 3-valued abstraction.	FMCAD	2009	DBLP DOI BibTeX RDF
13	Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson 0001	Equality and hashing for (almost) free: Generating implementations from abstraction functions.	ICSE	2009	DBLP DOI BibTeX RDF
13	Ritu Arora, Purushotham V. Bangalore	A framework for raising the level of abstraction of explicit parallelization.	ICSE Companion	2009	DBLP DOI BibTeX RDF
13	Pankaj Goyal	The Virtual Business Services Fabric: An Integrated Abstraction of Services and Computing Infrastructure.	WETICE	2009	DBLP DOI BibTeX RDF
13	Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan	Constraint-Based Invariant Inference over Predicate Abstraction.	VMCAI	2009	DBLP DOI BibTeX RDF
13	Shinya Umeno	Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction.	FORMATS	2009	DBLP DOI BibTeX RDF
13	Richard A. McAllister, Rafal A. Angryk	An Abstraction-Based Data Model for Information Retrieval.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF
13	Damian W. I. Rouson, Robert Rosenberg, Xiaofeng Xu, Irene Moulitsas, Stavros C. Kassinos	A grid-free abstraction of the Navier-Stokes equations in Fortran 95/2003.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	coordinate-free programming, grid-free programming, complexity, Fortran, scientific computing, computational fluid dynamics, Navier-Stokes equations
13	Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou	A type safe state abstraction for coordination in Java -like languages.	Acta Informatica	2008	DBLP DOI BibTeX RDF
13	Venugopalan Ramasubramanian, Daniel Mossé	BRA: a bidirectional routing abstraction for asymmetric mobile ad hoc networks.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	unidirectional, routing, ad hoc network, asymmetry
13	Hao Zheng 0001, Jared Ahrens, Tian Xia	A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
13	Yang-Seok Choi, Siavash M. Alamouti	A Pragmatic PHY Abstraction Technique for Link Adaptation and MIMO Switching.	IEEE J. Sel. Areas Commun.	2008	DBLP DOI BibTeX RDF
13	Wei Feng 0005, Zhi-Qiang Liu	Region-Level Image Authentication Using Bayesian Structural Content Abstraction.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
13	Andreas Podelski	Verification, Least-Fixpoint Checking, Abstraction.	VSTTE	2008	DBLP DOI BibTeX RDF
13	Julie Tolmie	Diagrammatic Interrelationships between Global and Local Algebraic Visual Objects: Communicating the Visual Abstraction.	Diagrams	2008	DBLP DOI BibTeX RDF	visual object, diagrammatic notation, map, visualisation, immersion
13	Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang	A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study.	MEMOCODE	2008	DBLP DOI BibTeX RDF
13	Michael Backes 0001, Stefan Lorenz, Matteo Maffei, Kim Pecina	The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis.	CAV	2008	DBLP DOI BibTeX RDF
13	Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou	Automated Assume-Guarantee Reasoning by Abstraction Refinement.	CAV	2008	DBLP DOI BibTeX RDF
13	Bhargav S. Gulavani, Sumit Gulwani	A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis.	CAV	2008	DBLP DOI BibTeX RDF
13	Marco Aldinucci, Massimo Torquati, Marco Vanneschi, Pierfrancesco Zuccato	The VirtuaLinux Storage Abstraction Layer for Ef?cient Virtual Clustering.	PDP	2008	DBLP DOI BibTeX RDF	linux, high availability, virtual clusters, storage virtualization
13	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Monotonic Abstraction in Action.	ICTAC	2008	DBLP DOI BibTeX RDF
13	Cinzia Di Giusto, Maurizio Gabbrielli	Full Abstraction for Linda.	ESOP	2008	DBLP DOI BibTeX RDF
13	Martin Danek, Jiri Kadlec, Roman Bartosinski, Lukas Kohout	Increasing the level of abstraction in FPGA-based designs.	FPL	2008	DBLP DOI BibTeX RDF
13	Sebastian Adam, Jörg Dörr	The Role of Service Abstraction and Service Variability and Its Impact on Requirements Engineering for Service-Oriented Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	service oriented architecture, requirements engineering, product line engineering
13	Rui Wang 0024, Ming Gu 0001, Xiaoyu Song, Hehua Zhang	Verifying programmable logic controllers with abstraction.	SIES	2008	DBLP DOI BibTeX RDF
13	Kaushik Veeraraghavan, Edmund B. Nightingale, Jason Flinn, Brian D. Noble	quFiles: a unifying abstraction for mobile data management.	HotMobile	2008	DBLP DOI BibTeX RDF
13	Dattatraya Y. Gokhale, Sayandeep Sen, Kameswari Chebrolu, Bhaskaran Raman	On the Feasibility of the Link Abstraction in (Rural) Mesh Networks.	INFOCOM	2008	DBLP DOI BibTeX RDF
13	Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar	Testing for buffer overflows with length abstraction.	ISSTA	2008	DBLP DOI BibTeX RDF	length abstractions, underapproximation, buffer overflows, testing c programs, directed testing
13	Diego Macrini, Kaleem Siddiqi, Sven J. Dickinson	From skeletons to bone graphs: Medial abstraction for object recognition.	CVPR	2008	DBLP DOI BibTeX RDF
13	Walter Corno, Francesco Corcoglioniti, Irene Celino, Emanuele Della Valle	Exposing Heterogeneous Data Sources as SPARQL Endpoints through an Object-Oriented Abstraction.	ASWC	2008	DBLP DOI BibTeX RDF
13	Seth Holloway, Christine Julien 0001	ROCC: A Communication Overlay Abstraction for Wireless Users.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
13	Rayna Dimitrova, Andreas Podelski	Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?	VMCAI	2008	DBLP DOI BibTeX RDF
13	Anjum Iqbal, Mohd Aizaini Maarof, Safaai Deris	The Concept of Bio-fitness in Bio-inspired Computational Metaphor Abstraction.	IMTIC	2008	DBLP DOI BibTeX RDF	bio-fitness, computation, artificial immune system, metaphor
13	Michele Girolami, Stefano Lenzi, Francesco Furfari, Stefano Chessa	SAIL: A Sensor Abstraction and Integration Layer for Context Awareness.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
13	Jeff Kramer	Is abstraction the key to computing?	Commun. ACM	2007	DBLP DOI BibTeX RDF
13	Gustavo Carneiro 0001, Manuel Ricardo 0001	QoS abstraction layer in 4G access networks.	Telecommun. Syst.	2007	DBLP DOI BibTeX RDF	L2, QoS, Wireless, Cross-layer, 4G
13	Yi Lv, Huimin Lin, Hong Pan	Computing Invariants for Parameter Abstraction.	MEMOCODE	2007	DBLP DOI BibTeX RDF
13	Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav	Comparison Under Abstraction for Verifying Linearizability.	CAV	2007	DBLP DOI BibTeX RDF
13	Natasha Sharygina, Daniel Kröning	Model Checking with Abstraction for Web Services.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
13	Yongjian Li	Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols.	SAC	2007	DBLP DOI BibTeX RDF	parameterized verification, theorem proving, symmetry
13	Alexander Dreweke, Marc Wörlein, Ingrid Fischer, Dominic Schell, Thorsten Meinl, Michael Philippsen	Graph-Based Procedural Abstraction.	CGO	2007	DBLP DOI BibTeX RDF
13	Michael Backes 0001, Agostino Cortesi, Matteo Maffei	Causality-based Abstraction of Multiplicity in Security Protocols.	CSF	2007	DBLP DOI BibTeX RDF
13	William S. Evans, Christopher W. Fraser, Fei Ma	Clone Detection via Structural Abstraction.	WCRE	2007	DBLP DOI BibTeX RDF
13	Tomas Dedek, Tomas Marek, Tomás Martínek	High Level Abstraction Language as an Alternative to Embedded Processors for Internet Packet Processing in FPGA.	FPL	2007	DBLP DOI BibTeX RDF
13	Pablo Castro, Sergey Melnik 0001, Atul Adya	ADO.NET entity framework: raising the level of abstraction in data programming.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	ADO.NET, data programming, conceptual modeling
13	Montserrat Batet, Karina Gibert, Aïda Valls	The Data Abstraction Layer as Knowledge Provider for a Medical Multi-agent System.	K4CARE	2007	DBLP DOI BibTeX RDF	multi-agent systems, knowledge representation, knowledge engineering, home care
13	Adam Brown, James C. Browne, Calvin Lin	Early Results with Precision Abstraction: Using Data-flow Analysis to Improve the Scalability of Model Checking.	IPDPS	2007	DBLP DOI BibTeX RDF
13	Marko van Dooren, Eric Steegmans	A Higher Abstraction Level Using First-Class Inheritance Relations.	ECOOP	2007	DBLP DOI BibTeX RDF
13	Christopher M. Sadler, Margaret Martonosi	Dali: a communication-centric data abstraction layer for energy-constrained devices in mobile sensor networks.	MobiSys	2007	DBLP DOI BibTeX RDF	data search and storage, energy efficient communications, mobile ad hoc sensor networks
13	Luís Morgado, Graça Gaspar	Abstraction Level Regulation of Cognitive Processing Through Emotion-Based Attention Mechanisms.	WAPCV	2007	DBLP DOI BibTeX RDF
13	Saied Haidarian Shahri, Majid Nili Ahmadabadi	A Bayesian Approach to Attention Control and Concept Abstraction.	WAPCV	2007	DBLP DOI BibTeX RDF
13	Franck Binard, Amy P. Felty	An abstraction-based genetic programming system.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	genetic programming, polymorphism, types, lambda calculus
13	Kelvin Nilsen	Improving abstraction, encapsulation, and performance within mixed-mode real-time Java applications.	JTRES	2007	DBLP DOI BibTeX RDF	safety-critical certification, Java, RTSJ, DO-178B