|
|
|
|
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.  |
RTCSA  |
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. |
ACSAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 53 | Jagun Kwon, Andy J. Wellings, Steve King 0001 |
Ravenscar-Java: a high integrity profile for real-time Java. |
Java Grande |
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. |
Ada-Europe |
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. |
SAC |
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. |
Ada-Europe |
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. |
Ada-Europe |
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. |
ICISC |
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. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 29 | Brian Dobbing, Alan Burns 0001 |
The Ravenscar Tasking Profile for High Integrity Real-Time Programs. |
SIGAda |
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. |
ETFA |
2008 |
DBLP DOI BibTeX RDF |
|
| 28 | Roderick Chapman, Robert Dewar |
Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT. |
Ada-Europe |
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. |
MobiSec |
2009 |
DBLP DOI BibTeX RDF |
|
| 25 | Divya Muthukumaran, Anuj Sawani, Joshua Schiffman, Brian M. Jung, Trent Jaeger |
Measuring integrity on mobile phone systems. |
SACMAT |
2008 |
DBLP DOI BibTeX RDF |
mobile phones, SELinux, integrity measurement |
| 25 | Sagar Chaki |
Bounded model checking of high-integrity software. |
HILT |
2013 |
DBLP DOI BibTeX RDF |
|
| 25 | Nikolaj S. Bjørner |
Satisfiability modulo theories for high integrity development. |
HILT |
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. |
ISORC |
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. |
DIPES |
2008 |
DBLP DOI BibTeX RDF |
|
| 24 | Shige Wang |
Model Transformation for High-Integrity Software Development in Derivative Vehicle Control System Design. |
HASE |
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. |
J. Autom. Reason. |
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. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
| 23 | Ragib Hasan, Marianne Winslett |
Trustworthy vacuuming and litigation holds in long-term high-integrity records retention. |
EDBT |
2010 |
DBLP DOI BibTeX RDF |
|
| 22 | William Currie Colket |
Code analysis of saftey-critical and real-time software using ASIS. |
SIGAda |
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. |
Australian Software Engineering Conference |
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. |
IMSCCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 18 | Alessandro Zovi, Tullio Vardanega |
Requirements on the Target Programming Language for High-Integrity MDE. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
| 18 | Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke |
Towards Agile Engineering of High-Integrity Systems. |
SAFECOMP |
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. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
| 18 | Matteo Bordin, Tullio Vardanega |
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach. |
Ada-Europe |
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. |
IEEE Softw. |
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. |
IPDPS |
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. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
| 18 | Robyn R. Lutz, Ines Carmen Mikulski |
Ongoing Requirements Discovery in High-Integrity Systems. |
IEEE Softw. |
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. |
ACM SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
| 18 | Peter P. Puschner, Andy J. Wellings |
A Profile for High-Integrity Real-Time Java Programs. |
ISORC |
2001 |
DBLP DOI BibTeX RDF |
|
| 18 | Alan Burns 0001, Brian Dobbing, George Romanski |
The Ravenscar Tasking Profile for High Integrity Real-Time Programs. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
| 18 | W. L. Yeung |
Semantics-Based Support Tools for High Integrity Ada Software. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
|
| 17 | Rod Chapman |
Correctness by construction: putting engineering (back) into software. |
SIGAda |
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. |
DSN |
2005 |
DBLP DOI BibTeX RDF |
|
| 17 | Kelvin Nilsen |
Ada-Java middleware for legacy software modernization. |
JTRES |
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. |
SIGAda |
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? |
SIGAda |
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. |
SIGAda |
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. |
SIGAda |
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. |
SIGAda |
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). |
SIGAda |
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. |
Ada-Europe |
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. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
reliability, ada, software, safety, languages, eclipse, development environment, high integrity |
| 17 | Paul E. Black |
Static analysis summit II. |
SIGAda |
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. |
SIGAda |
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. |
SIGAda |
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. |
FMSP |
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. |
OTM Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 16 | Bruce Christianson, Jean Fiona Snook |
Shrink-Wrapped Optimism: The DODA Approach to Distributed Document Processing. |
Security Protocols Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
| 15 | Benoît Dupont de Dinechin |
Consolidating High-Integrity, High-Performance, and Cyber-Security Functions on a Manycore Processor. |
DAC |
2019 |
DBLP DOI BibTeX RDF |
|
| 15 | Trent Jaeger, Reiner Sailer, Xiaolan Zhang 0001 |
Resolving constraint conflicts. |
SACMAT |
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. |
Remote. Sens. |
2024 |
DBLP DOI BibTeX RDF |
|
| 12 | Alwyn E. Goodloe, Klaus Havelund |
High-Integrity Runtime Verification. |
Computer |
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. |
ITSC |
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. |
PLANS |
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). |
Int. J. Syst. Assur. Eng. Manag. |
2022 |
DBLP DOI BibTeX RDF |
|
| 12 | Daniela Cancila |
From high-integrity embedded systems to resiliant autonomous cyber-physical systems. |
|
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. |
Ad Hoc Networks |
2021 |
DBLP DOI BibTeX RDF |
|
| 12 | Suraj Bijjahalli, Roberto Sabatini |
A High-Integrity and Low-Cost Navigation System for Autonomous Vehicles. |
IEEE Trans. Intell. Transp. Syst. |
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. |
PLoS Comput. Biol. |
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. |
DSD |
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. |
ICCD |
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. |
CoRR |
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. |
IV |
2020 |
DBLP DOI BibTeX RDF |
|
| 12 | Gary Nathan Green, Todd E. Humphreys |
Data-Driven Generalized Integer Aperture Bootstrapping for High-Integrity Positioning. |
IEEE Trans. Aerosp. Electron. Syst. |
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. |
IEEE Trans. Instrum. Meas. |
2019 |
DBLP DOI BibTeX RDF |
|
| 12 | Joelle Al Hage, Philippe Xu, Philippe Bonnifait |
High Integrity Localization With Multi-Lane Camera Measurements. |
IV |
2019 |
DBLP DOI BibTeX RDF |
|
| 12 | Nathan Levigne, Charles Puskar, Dennis M. Akos |
Enabling High-Integrity Vehicular Satellite Navigation Operations via Automatic Gain Control. |
VTC Fall |
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. |
DATE |
2019 |
DBLP DOI BibTeX RDF |
|
| 12 | Matina Maria Trompouki, Leonidas Kosmidis |
BRASIL: A High-Integrity GPGPU Toolchain for Automotive Systems. |
ICCD |
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. |
IEEE Micro |
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. |
Sensors |
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. |
ICARCV |
2018 |
DBLP DOI BibTeX RDF |
|
| 12 | Timothy G. Needham, Michael S. Braasch |
Gravity model error considerations for high-integrity GNSS-aided INS operations. |
PLANS |
2018 |
DBLP DOI BibTeX RDF |
|
| 12 | Roderick Chapman, Neil White, Jim Woodcock 0001 |
What can agile methods bring to high-integrity software development? |
Commun. ACM |
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. |
SIGCSE |
2017 |
DBLP DOI BibTeX RDF |
|
| 12 | Luke J. W. Martin, Alexander B. Romanovsky |
An Approach for Designing Knowledge-Based Systems for High-Integrity Applications. |
EDCC |
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. |
HASE |
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). |
AIM |
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. |
PLANS |
2016 |
DBLP DOI BibTeX RDF |
|
| 12 | Fang-Cheng Chan, Mathieu Joerger, Boris Pervan |
Stochastic modeling of atomic receiver clock for high integrity gps navigation. |
IEEE Trans. Aerosp. Electron. Syst. |
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. |
Mach. Vis. Appl. |
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 |
HILT |
2014 |
DBLP DOI BibTeX RDF |
|
| 12 | Andrea Baldovin |
Operating System Contribution to Composable Timing Behaviour in High-Integrity Real-Time Systems. |
|
2014 |
RDF |
|
| 12 | Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen |
Resolute: an assurance case language for architecture models. |
HILT |
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. |
HILT |
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. |
HILT |
2014 |
DBLP DOI BibTeX RDF |
|
| 12 | David Crocker |
Can C++ be made as safe as SPARK? |
HILT |
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. |
HILT |
2014 |
DBLP DOI BibTeX RDF |
|
| 12 | Ed Seidewitz |
UML with meaning: executable modeling in foundational UML and the Alf action language. |
HILT |
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. |
HILT |
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. |
HILT |
2014 |
DBLP DOI BibTeX RDF |
|
| 12 | Peter H. Feiler |
AADL and model-based engineering. |
HILT |
2014 |
DBLP DOI BibTeX RDF |
|
| 12 | Anya Helene Bagge, Magne Haveraaen |
Specification of generic APIs, or: why algebraic may be better than pre/post. |
HILT |
2014 |
DBLP DOI BibTeX RDF |
|
| 12 | Brian R. Larson |
Formal semantics for the PACEMAKER system specification. |
HILT |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 310 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license