|
|
Venues (Conferences, Journals, ...)
|
|
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 |
57 | Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat |
XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers, pp. 208-228, 2003, Springer, 3-540-21974-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Real-Time Java (RTJ), Distributed RTJ, Static Analysis Environment, Distributed Run-Time Environment, High-Integrity Systems |
55 | Luke St. Clair, Joshua Schiffman, Trent Jaeger, Patrick D. McDaniel |
Establishing and Sustaining System Integrity via Root of Trust Installation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 23rd Annual Computer Security Applications Conference (ACSAC 2007), December 10-14, 2007, Miami Beach, Florida, USA, pp. 19-29, 2007, IEEE Computer Society, 0-7695-3060-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Jagun Kwon, Andy J. Wellings, Steve King 0001 |
Ravenscar-Java: a high integrity profile for real-time Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, Seattle, Washington, USA, November 3-5, 2002, pp. 131-140, 2002, ACM, 1-58113-599-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
profile, real-time Java, high integrity systems |
46 | Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente |
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings, pp. 16-29, 2009, Springer, 978-3-642-01923-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
distributed systems, real-time systems, Ada 2005, high-integrity systems, Ravenscar profile |
40 | Richard F. Paige, Howard Chivers, John A. McDermid, Zoë R. Stephenson |
High-integrity extreme programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1518-1523, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
extreme programming, agile development, high-integrity systems |
40 | Steve Michell, Mark Saaltink |
Guidance on the Use of Ada95 in High Integrity Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '98, 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings, pp. 276-287, 1998, Springer, 3-540-64536-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
HRG, Ada, critical systems, predictable systems, high integrity systems |
35 | Matteo Bordin, Thanassis Tsiodras, Maxime Perrotin |
Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, pp. 171-184, 2008, Springer, 978-3-540-68621-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Model-driven Integration, High-Integrity Systems, Automated Code Generation |
30 | Li Jiang, Lingdi Ping, Xuezeng Pan |
Handling Dynamic Information Release. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2007, 10th International Conference, Seoul, Korea, November 29-30, 2007, Proceedings, pp. 64-76, 2007, Springer, 978-3-540-76787-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
languages, Computer security, information flow, security-type systems |
29 | Susan Stepney |
Incremental Development of a High Integrity Compiler: Experience from an Industrial Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 13-14 November 1998, Washington, D.C, USA, Proceedings, pp. 142-149, 1998, IEEE Computer Society, 0-8186-9221-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Brian Dobbing, Alan Burns 0001 |
The Ravenscar Tasking Profile for High Integrity Real-Time Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, SIGAda 1998, Washington, DC, USA, November 8-12, 1998, pp. 1-6, 1998, ACM, 1-58113-033-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Ravenscar, Ada, Ada, tasking, safety-critical, high-integrity |
28 | Mário de Sousa |
Restricting IEC 61131-3 programming languages for use on high integrity applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany, pp. 361-368, 2008, IEEE, 1-4244-1505-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Roderick Chapman, Robert Dewar |
Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, pp. 39-51, 1999, Springer, 3-540-66093-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Ada Language and Tools, High Integrity Systems |
25 | Xinwen Zhang, Onur Aciiçmez, Jean-Pierre Seifert |
Building Efficient Integrity Measurement and Attestation for Mobile Phone Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiSec ![In: Security and Privacy in Mobile Information and Communication Systems, First International ICST Conference, MobiSec 2009, Turin, Italy, June 3-5, 2009, Revised Selected Papers, pp. 71-82, 2009, Springer, 978-3-642-04433-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Divya Muthukumaran, Anuj Sawani, Joshua Schiffman, Brian M. Jung, Trent Jaeger |
Measuring integrity on mobile phone systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 13th ACM Symposium on Access Control Models and Technologies, SACMAT 2008, Estes Park, CO, USA, June 11-13, 2008, Proceedings, pp. 155-164, 2008, ACM, 978-1-60558-129-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
mobile phones, SELinux, integrity measurement |
25 | Sagar Chaki |
Bounded model checking of high-integrity software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 9-10, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Nikolaj S. Bjørner |
Satisfiability modulo theories for high integrity development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 5-6, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Jérôme Hugues, Bechir Zalila, Laurent Pautet |
Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 7-9 May 2007, Santorini Island, Greece, pp. 307-312, 2007, IEEE Computer Society, 0-7695-2765-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Santiago 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](Pics/bibsonomy.png) |
DIPES ![In: Distributed Embedded Systems: Design, Middleware and Resources, IFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy, pp. 151-160, 2008, Springer, 978-0-387-09660-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Shige Wang |
Model Transformation for High-Integrity Software Development in Derivative Vehicle Control System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA, pp. 227-234, 2007, IEEE Computer Society, 0-7695-3043-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes |
An Integrated Approach to High Integrity Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 36(4), pp. 379-410, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
static analysis, SPARK, program proof, proof planning |
24 | Alejandro 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](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, pp. 357-366, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Ragib Hasan, Marianne Winslett |
Trustworthy vacuuming and litigation holds in long-term high-integrity records retention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: EDBT 2010, 13th International Conference on Extending Database Technology, Lausanne, Switzerland, March 22-26, 2010, Proceedings, pp. 621-632, 2010, ACM, 978-1-60558-945-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | William Currie Colket |
Code analysis of saftey-critical and real-time software using ASIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings ACM SIGAda Annual International Conference, SIGAda 1999, The Engineering of Industrial Strength Real-Time Software & Distributed Systems: Using Ada and Related Technologie, Redondo Beach, CA, USA, October 17-21, 1999., pp. 67-76, 1999, ACM, 1-58113-127-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
real-time, tasking, safety-critical, code analysis, ASIS, high integrity, Ada language, Ravenscar profile |
22 | Peter Lindsey, Yaowei Liu, Owen Traynor |
A Generic Model for Fine Grained Configuration Management Including Version Control and Traceability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 1997 Australian Software Engineering Conference (ASWEC '97), 28 September - 2 October 1997, Sydney, Australia, pp. 27-, 1997, IEEE Computer Society, 0-8186-8081-4. The full citation details ...](Pics/full.jpeg) |
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 |
20 | Li Jiang, Lingdi Ping, Xuezeng Pan |
Combining robust declassification and intransitive noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMSCCS ![In: Proceeding of the Second International Multi-Symposium of Computer and Computational Sciences (IMSCCS 2007), August 13-15, 2007, The University of Iowa, Iowa City, Iowa, USA, pp. 465-471, 2007, IEEE Computer Society, 0-7695-3039-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Alessandro Zovi, Tullio Vardanega |
Requirements on the Target Programming Language for High-Integrity MDE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings, pp. 1-15, 2009, Springer, 978-3-642-01923-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke |
Towards Agile Engineering of High-Integrity Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings, pp. 30-43, 2008, Springer, 978-3-540-87697-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Bechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet |
Generating Distributed High Integrity Applications from Their Architectural Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings, pp. 155-167, 2007, Springer, 978-3-540-73229-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Matteo Bordin, Tullio Vardanega |
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings, pp. 114-127, 2007, Springer, 978-3-540-73229-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Model-Driven Architecture, Metamodelling, Correctness by construction, Ravenscar Profile |
18 | Alek Radjenovic, Richard F. Paige |
Architecture Description Languages for High-Integrity Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 23(2), pp. 71-79, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
software architecture, architecture description languages, safety-critical systems, modeling methodologies, model development |
18 | Santiago 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](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Santiago 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](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings, pp. 215-226, 2006, Springer, 3-540-34663-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Robyn R. Lutz, Ines Carmen Mikulski |
Ongoing Requirements Discovery in High-Integrity Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 21(2), pp. 19-25, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
requirements/specifications management, maintenance and enhancement, software and system safety, error processing, distribution, product metrics |
18 | Jagun Kwon, Andy J. Wellings, Steve King 0001 |
Assessment of the Java programming language for use in high integrity systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 38(4), pp. 34-46, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Peter P. Puschner, Andy J. Wellings |
A Profile for High-Integrity Real-Time Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2-4 May 2001, Magdeburg, Germany, pp. 15-22, 2001, IEEE Computer Society, 0-7695-1089-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Alan Burns 0001, Brian Dobbing, George Romanski |
The Ravenscar Tasking Profile for High Integrity Real-Time Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '98, 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings, pp. 263-275, 1998, Springer, 3-540-64536-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | W. L. Yeung |
Semantics-Based Support Tools for High Integrity Ada Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings, pp. 100-111, 1997, Springer, 3-540-63114-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Rod Chapman |
Correctness by construction: putting engineering (back) into software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007, pp. 100, 2007, ACM, 978-1-59593-876-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Brendan 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](Pics/bibsonomy.png) |
DSN ![In: 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings, pp. 298-307, 2005, IEEE Computer Society, 0-7695-2282-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Kelvin Nilsen |
Ada-Java middleware for legacy software modernization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010, pp. 85-94, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
mixed-language development, software modernization, Java, real-time, Ada, safety-critical, object oriented development, high-integrity systems, mission-critical |
17 | Benjamin M. Brosgol |
From strawman to Ada 2005: a socio-technical retrospective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008, pp. 13-14, 2008, ACM, 978-1-60558-274-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
security, software engineering, design, reliability, ada, software, safety, languages, systems, assurance, high integrity |
17 | Joyce L. Tokar |
30 years after steelman, does DoD still have a software crisis? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008, pp. 9-10, 2008, ACM, 978-1-60558-274-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
security, software engineering, design, reliability, ada, software, safety, languages, systems, assurance, high integrity |
17 | John W. McCormick |
MA1: Ada for real-time and parallel processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008, pp. 5-6, 2008, ACM, 978-1-60558-274-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
software engineering, design, reliability, real-time, parallel processing, ada, software, safety, languages, systems, assurance, high integrity |
17 | Benjamin M. Brosgol |
MP1: languages for safety-critical software: issues and assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008, pp. 7-8, 2008, ACM, 978-1-60558-274-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
do-178, security, software engineering, design, reliability, ada, object-oriented, software, safety, languages, systems, assurance, safety-critical, high integrity |
17 | Ricky E. Sward |
SP1: service oriented architecture (SOA) concepts and implementations for Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008, pp. 3-4, 2008, ACM, 978-1-60558-274-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
software engineering, service oriented architecture, reliability, ada, software, languages, systems, web server, enterprise service bus, high integrity |
17 | Jean-Pierre Rosen |
The Ada paradox(es). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008, pp. 11-12, 2008, ACM, 978-1-60558-274-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
security, software engineering, design, reliability, ada, software, safety, languages, systems, assurance, high integrity |
17 | Santiago 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](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, pp. 1-14, 2008, Springer, 978-3-540-68621-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Ravenscar Ada, integrated modular avionics, embedded systems, hard real-time, high-integrity |
17 | Tom Grosman |
Hibachi: the eclipse ada development toolset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007, pp. 99, 2007, ACM, 978-1-59593-876-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
reliability, ada, software, safety, languages, eclipse, development environment, high integrity |
17 | Paul E. Black |
Static analysis summit II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007, pp. 101-107, 2007, ACM, 978-1-59593-876-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
security, evaluation, software engineering, design, reliability, ada, metrics, tool, safety, languages, assurance, high integrity, tool evaluation, software assurance |
17 | Ricky E. Sward, Mark Gerken |
Developing safety critical software for an unmanned aerial vehicle situational awareness tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, Albuquerque, New Mexico, USA, November 12-16, 2006, pp. 45-50, 2006, ACM, 1-59593-563-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
formal methods, UAV, unmanned aerial vehicle, safety critical, SPARK, high integrity |
17 | Peter Amey, Roderick Chapman |
Industrial strength exception freedom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2002 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2002, Houston, Texas, USA, December 8-12, 2002, pp. 1-9, 2002, ACM, 1-58113-611-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
DO178B, exception freedom, run-time errors, security, Ada, safety, common criteria, SPARK, high-integrity systems |
17 | Steven P. Miller |
Specifying the mode logic of a flight guidance system in CoRE and SCR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSP ![In: Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA, pp. 44-53, 1998, ACM, 0-89791-954-8. The full citation details ...](Pics/full.jpeg) |
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 |
16 | Hao Cai, Andy J. Wellings |
Supporting Mixed Criticality Applications in a Ravenscar-Java Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings, pp. 278-291, 2004, Springer, 3-540-23664-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Bruce Christianson, Jean Fiona Snook |
Shrink-Wrapped Optimism: The DODA Approach to Distributed Document Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security Protocols Workshop ![In: Security Protocols, 10th International Workshop, Cambridge, UK, April 17-19, 2002, Revised Papers, pp. 74-95, 2002, Springer, 3-540-20830-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Benoît Dupont de Dinechin |
Consolidating High-Integrity, High-Performance, and Cyber-Security Functions on a Manycore Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019, Las Vegas, NV, USA, June 02-06, 2019, pp. 154, 2019, ACM, 978-1-4503-6725-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Trent Jaeger, Reiner Sailer, Xiaolan Zhang 0001 |
Resolving constraint conflicts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 9th ACM Symposium on Access Control Models and Technologies, SACMAT 2004, Yorktown Heights, New York, USA, June 2-4, 2004, Proceedings, pp. 105-114, 2004, ACM, 1-58113-872-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
access control models, constraint models, policy design |
12 | Jingbo 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](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 16(1), pp. 118, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Alwyn E. Goodloe, Klaus Havelund |
High-Integrity Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 57(4), pp. 37-45, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Joelle Al Hage, Nicolò Salvatico, Philippe Bonnifait |
High Integrity Localization of Intelligent Vehicles with Student's t Filtering and Fault Exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITSC ![In: 25th IEEE International Conference on Intelligent Transportation Systems, ITSC 2022, Macau, China, October 8-12, 2022, pp. 1341-1348, 2023, IEEE, 978-1-6654-6880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Tim 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](Pics/bibsonomy.png) |
PLANS ![In: IEEE/ION Position, Location and Navigation Symposium, PLANS 2023, Monterey, CA, USA, April 24-27, 2023, pp. 793-804, 2023, IEEE, 978-1-6654-1772-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Hassina 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](Pics/bibsonomy.png) |
Int. J. Syst. Assur. Eng. Manag. ![In: Int. J. Syst. Assur. Eng. Manag. 13(4), pp. 1932-1954, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Daniela Cancila |
From high-integrity embedded systems to resiliant autonomous cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
12 | Xiying 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](Pics/bibsonomy.png) |
Ad Hoc Networks ![In: Ad Hoc Networks 122, pp. 102612, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Suraj Bijjahalli, Roberto Sabatini |
A High-Integrity and Low-Cost Navigation System for Autonomous Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Intell. Transp. Syst. ![In: IEEE Trans. Intell. Transp. Syst. 22(1), pp. 356-369, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Yuval R. Zelnik, Yair Mau, Moshe Shachak, Ehud Meron |
High-integrity human intervention in ecosystems: Tracking self-organization modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 17(9), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Gianluca 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](Pics/bibsonomy.png) |
DSD ![In: 24th Euromicro Conference on Digital System Design, DSD 2021, Virtual Event / Palermo, Sicily, Italy, September 1-3, 2021, pp. 123-130, 2021, IEEE, 978-1-6654-2703-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Jeremy Giesen, Enrico Mezzetti, Jaume Abella 0001, Francisco J. Cazorla |
PRL: Standardizing Performance Monitoring Library for High-Integrity Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 39th IEEE International Conference on Computer Design, ICCD 2021, Storrs, CT, USA, October 24-27, 2021, pp. 344-348, 2021, IEEE, 978-1-6654-3219-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Thierry 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.07191, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Edoardo 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](Pics/bibsonomy.png) |
IV ![In: IEEE Intelligent Vehicles Symposium, IV 2020, Las Vegas, NV, USA, October 19 - November 13, 2020, pp. 1873-1878, 2020, IEEE, 978-1-7281-6673-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Gary Nathan Green, Todd E. Humphreys |
Data-Driven Generalized Integer Aperture Bootstrapping for High-Integrity Positioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Aerosp. Electron. Syst. ![In: IEEE Trans. Aerosp. Electron. Syst. 55(2), pp. 757-768, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Mohamad 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](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 68(11), pp. 4590-4599, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Joelle Al Hage, Philippe Xu, Philippe Bonnifait |
High Integrity Localization With Multi-Lane Camera Measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 2019 IEEE Intelligent Vehicles Symposium, IV 2019, Paris, France, June 9-12, 2019, pp. 1232-1238, 2019, IEEE, 978-1-7281-0560-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Nathan Levigne, Charles Puskar, Dennis M. Akos |
Enabling High-Integrity Vehicular Satellite Navigation Operations via Automatic Gain Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Fall ![In: 90th IEEE Vehicular Technology Conference, VTC Fall 2019, Honolulu, HI, USA, September 22-25, 2019, pp. 1-5, 2019, IEEE, 978-1-7281-1220-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Sergi Alcaide, Leonidas Kosmidis, Carles Hernández 0001, Jaume Abella 0001 |
High-Integrity GPU Designs for Critical Real-Time Automotive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019, pp. 824-829, 2019, IEEE, 978-3-9819263-2-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Matina Maria Trompouki, Leonidas Kosmidis |
BRASIL: A High-Integrity GPGPU Toolchain for Automotive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 37th IEEE International Conference on Computer Design, ICCD 2019, Abu Dhabi, United Arab Emirates, November 17-20, 2019, pp. 660-663, 2019, IEEE, 978-1-5386-6648-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Enrico 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](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 38(1), pp. 56-65, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Donguk 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](Pics/bibsonomy.png) |
Sensors ![In: Sensors 18(11), pp. 3654, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Gabriel Frisch, Philippe Xu, Emmanuel Stawiarski |
High Integrity Lane Level Localization Using Multiple Lane Markings Detection and Horizontal Protection Levels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 15th International Conference on Control, Automation, Robotics and Vision, ICARCV 2018, Singapore, November 18-21, 2018, pp. 1496-1501, 2018, IEEE, 978-1-5386-9582-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Timothy G. Needham, Michael S. Braasch |
Gravity model error considerations for high-integrity GNSS-aided INS operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLANS ![In: IEEE/ION Position, Location and Navigation Symposium, PLANS 2018, Monterey, CA, USA, April 23-26, 2018, pp. 822-832, 2018, IEEE, 978-1-5386-1647-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Roderick Chapman, Neil White, Jim Woodcock 0001 |
What can agile methods bring to high-integrity software development? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 60(10), pp. 38-41, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Daniel Welch 0001 |
Scaling Up Automated Verification: A Case Study and Formal-IDE for the Construction of High Integrity Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2017, Seattle, WA, USA, March 8-11, 2017, pp. 785-786, 2017, ACM, 978-1-4503-4698-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Luke J. W. Martin, Alexander B. Romanovsky |
An Approach for Designing Knowledge-Based Systems for High-Integrity Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: 13th European Dependable Computing Conference, EDCC 2017, Geneva, Switzerland, September 4-8, 2017, pp. 107-110, 2017, IEEE Computer Society, 978-1-5386-0602-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
12 | S. Tucker Taft, Florian Schanda, Yannick Moy |
High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016, pp. 238-239, 2016, IEEE Computer Society, 978-1-4673-9913-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Amine 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](Pics/bibsonomy.png) |
AIM ![In: IEEE International Conference on Advanced Intelligent Mechatronics, AIM 2016, Banff, AB, Canada, July 12-15, 2016, pp. 1216-1221, 2016, IEEE, 978-1-5090-2065-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Gary Nathan Green, Martin King, Todd E. Humphreys |
Data-driven generalized integer aperture bootstrapping for real-time high integrity applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLANS ![In: IEEE/ION Position, Location and Navigation Symposium, PLANS 2016, Savannah, GA, USA, April 11-14, 2016, pp. 272-285, 2016, IEEE, 978-1-5090-2042-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Fang-Cheng Chan, Mathieu Joerger, Boris Pervan |
Stochastic modeling of atomic receiver clock for high integrity gps navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Aerosp. Electron. Syst. ![In: IEEE Trans. Aerosp. Electron. Syst. 50(3), pp. 1749-1764, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Sergio 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](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 25(3), pp. 583-598, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Michael 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](Pics/bibsonomy.png) |
HILT ![ACM, 978-1-4503-3217-0 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Andrea Baldovin |
Operating System Contribution to Composable Timing Behaviour in High-Integrity Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
12 | Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen |
Resolute: an assurance case language for architecture models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 19-28, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Ehsan 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](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 29-38, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Robert 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](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 105-106, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | David Crocker |
Can C++ be made as safe as SPARK? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 5-12, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Jérôme Hugues, Christophe Garion |
Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 39-46, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Ed Seidewitz |
UML with meaning: executable modeling in foundational UML and the Alf action language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 61-68, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Robert L. Bocchino, Edward B. Gamble, Kim P. Gostelow, Raphael R. Some |
Spot: a programming language for verified flight software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 97-102, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz |
mbeddr: extensible languages for embedded software development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 13-16, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Peter H. Feiler |
AADL and model-based engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 17-18, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Anya Helene Bagge, Magne Haveraaen |
Specification of generic APIs, or: why algebraic may be better than pre/post. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 71-80, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Brian R. Larson |
Formal semantics for the PACEMAKER system specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 47-60, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 310 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|