Faculty

Institution

Unit

Venue

Luqi Luqi

Professor

Naval Postgraduate School

Affiliations

Center For Homeland Defense And Security

Center Of Software Engineering Automation

Center for Cybersecurity and Cyber Operations

Computer Science

Department Of Electrical Engineering

Graduate School Of Defense Management

National Security Affairs

School Of Mechanical And Aerospace Engineering

Luqi Luqi is currently serving as a Center For Homeland Defense And Security Professor at Naval Postgraduate School.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Luqi Luqi

Naval Postgraduate School

Professor

You can click a keyword to filter the displayed items

software engineering design automation systems engineering software design software analysis design computer science system software rapid prototyping system prototyping computer-aided design software maintenance computer engineering formal methods systems modeling virtual prototyping programming languages formal verification system science embedded systems physical prototyping system specification empirical software engineering research program analysis documentation quality engineering software evolution electronic design automation software development process prototype implementation real-time systems automated reasoning formal specification component-based software engineering automated software engineering software architecture software practice specification language automation engineering software development management engineering project management human-computer interaction service computing logic in computer science real-time computing reusability knowledge engineering command and control formal modeling architecture analysis industrial automation formal models requirements engineering code reuse real-time language system integration formal semantics computational semantics e-business model business information systems agile software development industrial control systems software engineering processes engineering automation aro/onr/nsf/darpa monterey workshop software documentation-driven manufacturing prototyping language real-time software rapid system software reuse repositories real-time constraints specification-based prototyping computer-aided prototyping command-and-control system real-time prototyping language

Notable Scholarly Works

Notable Federal Grants

Collaborators

Proceedings of the 20Th Monterey Workshop. Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School) (2019)

LuqiDan BogerJeffrey PaduanRobert DellGeorge DinoltDouglas FoutsRaymond BuettnerJessica PiomboScot MillerJames NewmanRyan KellyDavid DampierJohn DrummondValdis BerzinsAlejandro HernandezJohn MonacoDuane DavisNikolaj BjørnerDouglas LangeBrian SmithRonald DurbinNicholas WeaverBrian NobleStephen HayneAnthony AkilSharon RundeShelley GallupWilliam RoofChristian FitzpatrickImre BaloghTracy EmmersenPaul TortoraJoseph ComeyBrian BinghamBryan O’HalloranBrian Wood

Unmanned Vehicles for Anti-Submarine Warfare. (2016)

marine engineeringdronesunderwater robotunderwater technologiesnavigationunmanned vehiclesunderwater vehiclesunmanned aircraft systemsaerospacefield roboticsroboticsaerospace engineering

Utilization and Risk of Undersea Communications. (2016)

communications systemstelecommunication networksmaritime sciencesundersea communicationsmaritime safetyocean engineeringcommunication engineeringtransmission

Testing Adaptive Probabilistic Software Components in Cyber Systems. Lecture notes in computer science (2011)

computer sciencesystems engineeringsystem testingsoftware testingsoftware analysisruntime verificationcyber systemssoftware maintenancecomputational testingcyber-physical systemssystem softwaresoftware engineeringsystem safetyverificationreliability engineeringprogram analysis

Formal Reasoning About Software Object Translations. Lecture notes in computer science (2010)

computer sciencelogic in computer scienceprogramming languagesspecification languagesoftware object translationsformal verificationautomated reasoningsoftware engineeringformal methods

Effective Programmatic Software Safety Strategy for Us Navy Gun System Acquisition Programs. Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School) (2009)

systems engineeringsafety systemssoftware analysissoftware maintenancesystem softwaresoftware system safetysoftware engineeringsystem safetyverificationprogram analysis

Software Safety Strategy for Us Navy Gun System Acquisition Programs. Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School) (2009)

systems engineeringsafety systemssoftware maintenancesoftware safety strategysafetysoftware system safetysoftware engineeringsystem safety

Advances in Requirements Engineering: Bridging the Gap Between Stakeholders’ Needs and Formal Designs. Lecture notes in computer science (2008)

design theoryrequirements engineeringdesign decisionstechnologymanagement engineeringproject managementformal designssoftware designdesignrequirement engineeringsoftware engineeringintegrated designstakeholders ’ needs

Innovations for Requirements Engineering. Defense Technical Information Center (DTIC) (2008)

product designrequirements engineeringempirical software engineering researchtechnologysoftware analysisdesign automationsoftware maintenancequality engineeringsoftware designdesignrequirement engineeringsoftware engineeringsoftware development process

Innovations in Natural Language Document Processing for Requirements Engineering. Lecture notes in computer science (2008)

documentationlinguisticsnatural language generationnatural language interfacesrequirements engineeringsemantic evaluationlanguage resourcesinformation extractionsoftware designcomputational linguisticslanguage engineeringnatural language processingtext mining

1
2
3
4
5
12
10 / page

Luqi Luqi

Professor

Naval Postgraduate School

Affiliations

Center For Homeland Defense And Security

Center Of Software Engineering Automation

Center for Cybersecurity and Cyber Operations

Computer Science

Department Of Electrical Engineering

Graduate School Of Defense Management

National Security Affairs

School Of Mechanical And Aerospace Engineering

Luqi Luqi is currently serving as a Center For Homeland Defense And Security Professor at Naval Postgraduate School.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Luqi Luqi

Naval Postgraduate School

Professor

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Proceedings of the 20Th Monterey Workshop. Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School) (2019)

Unmanned Vehicles for Anti-Submarine Warfare. (2016)

marine engineeringdronesunderwater robotunderwater technologiesnavigationunmanned vehiclesunderwater vehiclesunmanned aircraft systemsaerospacefield roboticsroboticsaerospace engineering

Utilization and Risk of Undersea Communications. (2016)

communications systemstelecommunication networksmaritime sciencesundersea communicationsmaritime safetyocean engineeringcommunication engineeringtransmission

Testing Adaptive Probabilistic Software Components in Cyber Systems. Lecture notes in computer science (2011)

Formal Reasoning About Software Object Translations. Lecture notes in computer science (2010)

computer sciencelogic in computer scienceprogramming languagesspecification languagesoftware object translationsformal verificationautomated reasoningsoftware engineeringformal methods

Effective Programmatic Software Safety Strategy for Us Navy Gun System Acquisition Programs. Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School) (2009)

systems engineeringsafety systemssoftware analysissoftware maintenancesystem softwaresoftware system safetysoftware engineeringsystem safetyverificationprogram analysis

Software Safety Strategy for Us Navy Gun System Acquisition Programs. Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School) (2009)

systems engineeringsafety systemssoftware maintenancesoftware safety strategysafetysoftware system safetysoftware engineeringsystem safety

Advances in Requirements Engineering: Bridging the Gap Between Stakeholders’ Needs and Formal Designs. Lecture notes in computer science (2008)

Innovations for Requirements Engineering. Defense Technical Information Center (DTIC) (2008)

Innovations in Natural Language Document Processing for Requirements Engineering. Lecture notes in computer science (2008)

1
2
3
4
5
12
10 / page