6 papers:
ESEC-FSE-2015-MahallySB #case study #development- Barriers and enablers for shortening software development lead-time in mechatronics organizations: a case study (MMM, MS, JB), pp. 1006–1009.
HT-2012-KlienS #analysis #network- Short links under attack: geographical analysis of spam in a URL shortener network (FK, MS), pp. 83–88.
DAC-2009-GluskaL #modelling #verification- Shortening the verification cycle with synthesizable abstract models (AG, LL), pp. 454–459.
- DAC-2007-GuptaKKSS
- Line-End Shortening is Not Always a Failure (PG, ABK, YK, SS, DS), pp. 270–271.
- DAC-1983-ChengGKW #development #functional #simulation
- Functional simulation shortens the development cycle of a new computer (RC, BG, KK, JW), pp. 515–519.
ICALP-1980-CousotC #analysis #communication #csp #process #semantics- Semantic Analysis of Communicating Sequential Processes (Shortened Version) (PC, RC), pp. 119–133.
