The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase high-integrity (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1981-1994 (15) 1995-1997 (15) 1998-1999 (15) 2000-2002 (23) 2003-2004 (27) 2005 (17) 2006 (19) 2007 (22) 2008 (26) 2009-2010 (24) 2011-2012 (34) 2013 (22) 2014 (21) 2016-2019 (17) 2020-2024 (13)
Publication types (Num. hits)
article(49) book(4) incollection(2) inproceedings(241) phdthesis(11) proceedings(3)
Venues (Conferences, Journals, ...)
HILT(62) Ada-Europe(35) SIGAda(19) ISORC(10) HASE(9) SAFECOMP(5) IRTAW(4) RTCSA(4) CoRR(3) DSN(3) ICFEM(3) IEEE Softw.(3) JTRES(3) Microprocess. Microsystems(3) OTM Workshops(3) PLANS(3) More (+10 of total 117)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 287 occurrences of 152 keywords

Results
Found 310 publication records. Showing 310 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
57Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment. Search on Bibsonomy RTCSA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Real-Time Java (RTJ), Distributed RTJ, Static Analysis Environment, Distributed Run-Time Environment, High-Integrity Systems
55Luke St. Clair, Joshua Schiffman, Trent Jaeger, Patrick D. McDaniel Establishing and Sustaining System Integrity via Root of Trust Installation. Search on Bibsonomy ACSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
53Jagun Kwon, Andy J. Wellings, Steve King 0001 Ravenscar-Java: a high integrity profile for real-time Java. Search on Bibsonomy Java Grande The full citation details ... 2002 DBLP  DOI  BibTeX  RDF profile, real-time Java, high integrity systems
46Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems. Search on Bibsonomy Ada-Europe The full citation details ... 2009 DBLP  DOI  BibTeX  RDF distributed systems, real-time systems, Ada 2005, high-integrity systems, Ravenscar profile
40Richard F. Paige, Howard Chivers, John A. McDermid, Zoë R. Stephenson High-integrity extreme programming. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF extreme programming, agile development, high-integrity systems
40Steve Michell, Mark Saaltink Guidance on the Use of Ada95 in High Integrity Systems. Search on Bibsonomy Ada-Europe The full citation details ... 1998 DBLP  DOI  BibTeX  RDF HRG, Ada, critical systems, predictable systems, high integrity systems
35Matteo Bordin, Thanassis Tsiodras, Maxime Perrotin Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems. Search on Bibsonomy Ada-Europe The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model-driven Integration, High-Integrity Systems, Automated Code Generation
30Li Jiang, Lingdi Ping, Xuezeng Pan Handling Dynamic Information Release. Search on Bibsonomy ICISC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF languages, Computer security, information flow, security-type systems
29Susan Stepney Incremental Development of a High Integrity Compiler: Experience from an Industrial Development. Search on Bibsonomy HASE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
29Brian Dobbing, Alan Burns 0001 The Ravenscar Tasking Profile for High Integrity Real-Time Programs. Search on Bibsonomy SIGAda The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Ravenscar, Ada, Ada, tasking, safety-critical, high-integrity
28Mário de Sousa Restricting IEC 61131-3 programming languages for use on high integrity applications. Search on Bibsonomy ETFA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Roderick Chapman, Robert Dewar Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT. Search on Bibsonomy Ada-Europe The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Ada Language and Tools, High Integrity Systems
25Xinwen Zhang, Onur Aciiçmez, Jean-Pierre Seifert Building Efficient Integrity Measurement and Attestation for Mobile Phone Platforms. Search on Bibsonomy MobiSec The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Divya Muthukumaran, Anuj Sawani, Joshua Schiffman, Brian M. Jung, Trent Jaeger Measuring integrity on mobile phone systems. Search on Bibsonomy SACMAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF mobile phones, SELinux, integrity measurement
25Sagar Chaki Bounded model checking of high-integrity software. Search on Bibsonomy HILT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
25Nikolaj S. Bjørner Satisfiability modulo theories for high integrity development. Search on Bibsonomy HILT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Jérôme Hugues, Bechir Zalila, Laurent Pautet Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems. Search on Bibsonomy ISORC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Santiago Urueña, Juan Zamorano, José Antonio Pulido, Juan Antonio de la Puente Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements. Search on Bibsonomy DIPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Shige Wang Model Transformation for High-Integrity Software Development in Derivative Vehicle Control System Design. Search on Bibsonomy HASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes An Integrated Approach to High Integrity Software Verification. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF static analysis, SPARK, program proof, proof planning
24Alejandro Alonso 0001, Roberto López, Tullio Vardanega, Juan Antonio de la Puente Using Object Orientation in High Integrity Applications: A Case Study. Search on Bibsonomy Ada-Europe The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Ragib Hasan, Marianne Winslett Trustworthy vacuuming and litigation holds in long-term high-integrity records retention. Search on Bibsonomy EDBT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
22William Currie Colket Code analysis of saftey-critical and real-time software using ASIS. Search on Bibsonomy SIGAda The full citation details ... 1999 DBLP  DOI  BibTeX  RDF real-time, tasking, safety-critical, code analysis, ASIS, high integrity, Ada language, Ravenscar profile
22Peter Lindsey, Yaowei Liu, Owen Traynor A Generic Model for Fine Grained Configuration Management Including Version Control and Traceability. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 1997 DBLP  DOI  BibTeX  RDF fine grained configuration management, trusted support, high-integrity software development, formal specification, consistency, requirements, object-oriented database, completeness, traceability, configuration management, version control, prototype system, design documents
20Li Jiang, Lingdi Ping, Xuezeng Pan Combining robust declassification and intransitive noninterference. Search on Bibsonomy IMSCCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Alessandro Zovi, Tullio Vardanega Requirements on the Target Programming Language for High-Integrity MDE. Search on Bibsonomy Ada-Europe The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke Towards Agile Engineering of High-Integrity Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Bechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet Generating Distributed High Integrity Applications from Their Architectural Description. Search on Bibsonomy Ada-Europe The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Matteo Bordin, Tullio Vardanega Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach. Search on Bibsonomy Ada-Europe The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Model-Driven Architecture, Metamodelling, Correctness by construction, Ravenscar Profile
18Alek Radjenovic, Richard F. Paige Architecture Description Languages for High-Integrity Real-Time Systems. Search on Bibsonomy IEEE Softw. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF software architecture, architecture description languages, safety-critical systems, modeling methodologies, model development
18Santiago Urueña, Juan Zamorano, Daniel Berjón, José Antonio Pulido, Juan Antonio de la Puente Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems. Search on Bibsonomy IPDPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
18Santiago Urueña, Juan Zamorano, Daniel Berjón, José Antonio Pulido, Juan Antonio de la Puente The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems. Search on Bibsonomy Ada-Europe The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
18Robyn R. Lutz, Ines Carmen Mikulski Ongoing Requirements Discovery in High-Integrity Systems. Search on Bibsonomy IEEE Softw. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF requirements/specifications management, maintenance and enhancement, software and system safety, error processing, distribution, product metrics
18Jagun Kwon, Andy J. Wellings, Steve King 0001 Assessment of the Java programming language for use in high integrity systems. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
18Peter P. Puschner, Andy J. Wellings A Profile for High-Integrity Real-Time Java Programs. Search on Bibsonomy ISORC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
18Alan Burns 0001, Brian Dobbing, George Romanski The Ravenscar Tasking Profile for High Integrity Real-Time Programs. Search on Bibsonomy Ada-Europe The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
18W. L. Yeung Semantics-Based Support Tools for High Integrity Ada Software. Search on Bibsonomy Ada-Europe The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
17Rod Chapman Correctness by construction: putting engineering (back) into software. Search on Bibsonomy SIGAda The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Brendan Hall, Kevin Driscoll 0001, Michael Paulitsch, Samar Dajani-Brown Ringing out Fault Tolerance. A New Ring Network for Superior Low-Cost Dependability. Search on Bibsonomy DSN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Kelvin Nilsen Ada-Java middleware for legacy software modernization. Search on Bibsonomy JTRES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF mixed-language development, software modernization, Java, real-time, Ada, safety-critical, object oriented development, high-integrity systems, mission-critical
17Benjamin M. Brosgol From strawman to Ada 2005: a socio-technical retrospective. Search on Bibsonomy SIGAda The full citation details ... 2008 DBLP  DOI  BibTeX  RDF security, software engineering, design, reliability, ada, software, safety, languages, systems, assurance, high integrity
17Joyce L. Tokar 30 years after steelman, does DoD still have a software crisis? Search on Bibsonomy SIGAda The full citation details ... 2008 DBLP  DOI  BibTeX  RDF security, software engineering, design, reliability, ada, software, safety, languages, systems, assurance, high integrity
17John W. McCormick MA1: Ada for real-time and parallel processing. Search on Bibsonomy SIGAda The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software engineering, design, reliability, real-time, parallel processing, ada, software, safety, languages, systems, assurance, high integrity
17Benjamin M. Brosgol MP1: languages for safety-critical software: issues and assessment. Search on Bibsonomy SIGAda The full citation details ... 2008 DBLP  DOI  BibTeX  RDF do-178, security, software engineering, design, reliability, ada, object-oriented, software, safety, languages, systems, assurance, safety-critical, high integrity
17Ricky E. Sward SP1: service oriented architecture (SOA) concepts and implementations for Ada. Search on Bibsonomy SIGAda The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software engineering, service oriented architecture, reliability, ada, software, languages, systems, web server, enterprise service bus, high integrity
17Jean-Pierre Rosen The Ada paradox(es). Search on Bibsonomy SIGAda The full citation details ... 2008 DBLP  DOI  BibTeX  RDF security, software engineering, design, reliability, ada, software, safety, languages, systems, assurance, high integrity
17Santiago Urueña, José Antonio Pulido, Jorge López, Juan Zamorano, Juan Antonio de la Puente A New Approach to Memory Partitioning in On-Board Spacecraft Software. Search on Bibsonomy Ada-Europe The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Ravenscar Ada, integrated modular avionics, embedded systems, hard real-time, high-integrity
17Tom Grosman Hibachi: the eclipse ada development toolset. Search on Bibsonomy SIGAda The full citation details ... 2007 DBLP  DOI  BibTeX  RDF reliability, ada, software, safety, languages, eclipse, development environment, high integrity
17Paul E. Black Static analysis summit II. Search on Bibsonomy SIGAda The full citation details ... 2007 DBLP  DOI  BibTeX  RDF security, evaluation, software engineering, design, reliability, ada, metrics, tool, safety, languages, assurance, high integrity, tool evaluation, software assurance
17Ricky E. Sward, Mark Gerken Developing safety critical software for an unmanned aerial vehicle situational awareness tool. Search on Bibsonomy SIGAda The full citation details ... 2006 DBLP  DOI  BibTeX  RDF formal methods, UAV, unmanned aerial vehicle, safety critical, SPARK, high integrity
17Peter Amey, Roderick Chapman Industrial strength exception freedom. Search on Bibsonomy SIGAda The full citation details ... 2002 DBLP  DOI  BibTeX  RDF DO178B, exception freedom, run-time errors, security, Ada, safety, common criteria, SPARK, high-integrity systems
17Steven P. Miller Specifying the mode logic of a flight guidance system in CoRE and SCR. Search on Bibsonomy FMSP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF flight guidance, formal specification, formal methods, requirements engineering, requirements, safety critical systems, CoRE, avionics, high integrity systems, SCR, flight control
16Hao Cai, Andy J. Wellings Supporting Mixed Criticality Applications in a Ravenscar-Java Environment. Search on Bibsonomy OTM Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Bruce Christianson, Jean Fiona Snook Shrink-Wrapped Optimism: The DODA Approach to Distributed Document Processing. Search on Bibsonomy Security Protocols Workshop The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Benoît Dupont de Dinechin Consolidating High-Integrity, High-Performance, and Cyber-Security Functions on a Manycore Processor. Search on Bibsonomy DAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
15Trent Jaeger, Reiner Sailer, Xiaolan Zhang 0001 Resolving constraint conflicts. Search on Bibsonomy SACMAT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF access control models, constraint models, policy design
12Jingbo Zhao, Ping Huang, Baoguo Yu, Lei Wang 0045, Yao Wang, Chuanzhen Sheng, Qingwu Yi, Jianlei Yang Optimized Integer Aperture Bootstrapping for High-Integrity CDGNSS Applications. Search on Bibsonomy Remote. Sens. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
12Alwyn E. Goodloe, Klaus Havelund High-Integrity Runtime Verification. Search on Bibsonomy Computer The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
12Joelle Al Hage, Nicolò Salvatico, Philippe Bonnifait High Integrity Localization of Intelligent Vehicles with Student's t Filtering and Fault Exclusion. Search on Bibsonomy ITSC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
12Tim Barford, Jean-Baptiste Lacambre, Robert Greer Optimizing GNSS Time-Differenced Carrier Phase Measurements for High-Integrity Inertial Navigation + GNSS Sensor Fusion without Ambiguity Resolution. Search on Bibsonomy PLANS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
12Hassina Metatla, Mounira Rouainia Functional and dysfunctional analysis of a safety instrumented system (SIS) through the common cause failures (CCFs) assessment. Case of high integrity protection pressure system (HIPPS). Search on Bibsonomy Int. J. Syst. Assur. Eng. Manag. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
12Daniela Cancila From high-integrity embedded systems to resiliant autonomous cyber-physical systems. Search on Bibsonomy 2022   RDF
12Xiying Fan, Yuekun Lu, Baolin Liu, Di Liu, Shaojie Wen, Bin Fu High-integrity based cooperative file transmission at urban intersections using pure V2V communication. Search on Bibsonomy Ad Hoc Networks The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
12Suraj Bijjahalli, Roberto Sabatini A High-Integrity and Low-Cost Navigation System for Autonomous Vehicles. Search on Bibsonomy IEEE Trans. Intell. Transp. Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
12Yuval R. Zelnik, Yair Mau, Moshe Shachak, Ehud Meron High-integrity human intervention in ecosystems: Tracking self-organization modes. Search on Bibsonomy PLoS Comput. Biol. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
12Gianluca Martino, Arne Grünhagen, Julien Branlard, Annika Eichler, Görschwin Fey, Holger Schlarb Comparative Evaluation of Semi-Supervised Anomaly Detection Algorithms on High-Integrity Digital Systems. Search on Bibsonomy DSD The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
12Jeremy Giesen, Enrico Mezzetti, Jaume Abella 0001, Francisco J. Cazorla PRL: Standardizing Performance Monitoring Library for High-Integrity Real-Time Systems. Search on Bibsonomy ICCD The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
12Thierry Lecomte, David Déharbe, Denis Sabatier, Étienne Prun, Patrick Péronne, Emmanuel Chailloux, Steven Varoumas, Adilla Susungi, Sylvain Conchon Low Cost High Integrity Platform. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
12Edoardo Bernardi, Stefano Masi, Philippe Xu, Philippe Bonnifait High Integrity Lane-level Occupancy Estimation of Road Obstacles Through LiDAR and HD Map Data Fusion. Search on Bibsonomy IV The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
12Gary Nathan Green, Todd E. Humphreys Data-Driven Generalized Integer Aperture Bootstrapping for High-Integrity Positioning. Search on Bibsonomy IEEE Trans. Aerosp. Electron. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
12Mohamad Daher, Joelle Al Hage, Maan El Badaoui El Najjar, Ahmad Diab, Mohamad Ali Khalil, François Charpillet Toward High Integrity Personal Localization System Based on Informational Formalism. Search on Bibsonomy IEEE Trans. Instrum. Meas. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
12Joelle Al Hage, Philippe Xu, Philippe Bonnifait High Integrity Localization With Multi-Lane Camera Measurements. Search on Bibsonomy IV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
12Nathan Levigne, Charles Puskar, Dennis M. Akos Enabling High-Integrity Vehicular Satellite Navigation Operations via Automatic Gain Control. Search on Bibsonomy VTC Fall The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
12Sergi Alcaide, Leonidas Kosmidis, Carles Hernández 0001, Jaume Abella 0001 High-Integrity GPU Designs for Critical Real-Time Automotive Systems. Search on Bibsonomy DATE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
12Matina Maria Trompouki, Leonidas Kosmidis BRASIL: A High-Integrity GPGPU Toolchain for Automotive Systems. Search on Bibsonomy ICCD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
12Enrico Mezzetti, Leonidas Kosmidis, Jaume Abella 0001, Francisco J. Cazorla High-Integrity Performance Monitoring Units in Automotive Chips for Reliable Timing V&V. Search on Bibsonomy IEEE Micro The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
12Donguk Kim 0004, Junesol Song, Sunkyoung Yu, Changdon Kee, Moonbeom Heo A New Algorithm for High-Integrity Detection and Compensation of Dual-Frequency Cycle Slip under Severe Ionospheric Storm Conditions. Search on Bibsonomy Sensors The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
12Gabriel Frisch, Philippe Xu, Emmanuel Stawiarski High Integrity Lane Level Localization Using Multiple Lane Markings Detection and Horizontal Protection Levels. Search on Bibsonomy ICARCV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
12Timothy G. Needham, Michael S. Braasch Gravity model error considerations for high-integrity GNSS-aided INS operations. Search on Bibsonomy PLANS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
12Roderick Chapman, Neil White, Jim Woodcock 0001 What can agile methods bring to high-integrity software development? Search on Bibsonomy Commun. ACM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
12Daniel Welch 0001 Scaling Up Automated Verification: A Case Study and Formal-IDE for the Construction of High Integrity Software. Search on Bibsonomy SIGCSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
12Luke J. W. Martin, Alexander B. Romanovsky An Approach for Designing Knowledge-Based Systems for High-Integrity Applications. Search on Bibsonomy EDCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
12S. Tucker Taft, Florian Schanda, Yannick Moy High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
12Amine Meziou, Taoufik Wassar, Majdi Chaari, Matthew A. Franchek, Reza Tafreshi Model-based design and analysis of a subsea high integrity pressure protection system (HIPPS). Search on Bibsonomy AIM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
12Gary Nathan Green, Martin King, Todd E. Humphreys Data-driven generalized integer aperture bootstrapping for real-time high integrity applications. Search on Bibsonomy PLANS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
12Fang-Cheng Chan, Mathieu Joerger, Boris Pervan Stochastic modeling of atomic receiver clock for high integrity gps navigation. Search on Bibsonomy IEEE Trans. Aerosp. Electron. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
12Sergio Alberto Rodriguez Florez, Vincent Frémont, Philippe Bonnifait, Véronique Cherfaoui Multi-modal object detection and localization for high integrity driving assistance. Search on Bibsonomy Mach. Vis. Appl. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
12Michael B. Feldman, S. Tucker Taft (eds.) Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014 Search on Bibsonomy HILT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
12Andrea Baldovin Operating System Contribution to Composable Timing Behaviour in High-Integrity Real-Time Systems. Search on Bibsonomy 2014   RDF
12Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen Resolute: an assurance case language for architecture models. Search on Bibsonomy HILT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
12Ehsan Ahmad, Brian R. Larson, Stephen C. Barrett, Naijun Zhan, Yunwei Dong Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling. Search on Bibsonomy HILT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
12Robert Bocchino, Nicholas D. Matsakis, S. Tucker Taft, Brian Larson, Ed Seidewitz Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling. Search on Bibsonomy HILT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
12David Crocker Can C++ be made as safe as SPARK? Search on Bibsonomy HILT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
12Jérôme Hugues, Christophe Garion Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models. Search on Bibsonomy HILT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
12Ed Seidewitz UML with meaning: executable modeling in foundational UML and the Alf action language. Search on Bibsonomy HILT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
12Robert L. Bocchino, Edward B. Gamble, Kim P. Gostelow, Raphael R. Some Spot: a programming language for verified flight software. Search on Bibsonomy HILT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
12Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz mbeddr: extensible languages for embedded software development. Search on Bibsonomy HILT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
12Peter H. Feiler AADL and model-based engineering. Search on Bibsonomy HILT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
12Anya Helene Bagge, Magne Haveraaen Specification of generic APIs, or: why algebraic may be better than pre/post. Search on Bibsonomy HILT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
12Brian R. Larson Formal semantics for the PACEMAKER system specification. Search on Bibsonomy HILT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 310 (100 per page; Change: )
Pages: [1][2][3][4][>>]
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