50 papers:
FM-2015-SolovyevJRG #estimation #fault #float- Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (AS, CJ, ZR, GG), pp. 532–550.
CBSE-2014-Bliudze #component #design #tutorial- Rigorous component-based design in BIP: half-day tutorial (SB), pp. 187–188.
DAC-2014-Bhushan #injection #predict #visual notation- A Rigorous Graphical Technique for Predicting Sub-harmonic Injection Locking in LC Oscillators (PB), p. 8.
AdaEurope-2014-LopatkinR #development #fault tolerance- Rigorous Development of Fault-Tolerant Systems through Co-refinement (IL, AR), pp. 11–26.
AMT-2014-PoskittDPR #bidirectional #model transformation #towards- Towards Rigorously Faking Bidirectional Model Transformations (CMP, MD, RFP, AR), pp. 70–75.
ESEC-FSE-2013-WangHJK #approach #evaluation- Searching for better configurations: a rigorous approach to clone evaluation (TW, MH, YJ, JK), pp. 455–465.
ISMM-2013-KaliberaJ #benchmark #metric- Rigorous benchmarking in reasonable time (TK, REJ), pp. 63–74.
PODS-2012-KiferM #framework #privacy- A rigorous and customizable framework for privacy (DK, AM), pp. 77–88.
WRLA-2012-BasuBBS #component #design- Rigorous Component-Based System Design — (Invited Paper) (AB, SB, MB, JS), pp. 1–9.
IFM-2012-BorgerCG #analysis #framework #web- Contribution to a Rigorous Analysis of Web Application Frameworks (EB, AC, VG), pp. 1–20.
- DAC-2011-RameshG #design #modelling #verification
- Rigorous model-based design & verification flow for in-vehicle software (SR, AAG), pp. 13–16.
DUXU-v2-2011-Bias #usability- The Importance of Rigor in Usability Studies (RGB), pp. 255–258.
LICS-2011-AminofKL #approximate #automaton- Rigorous Approximated Determinization of Weighted Automata (BA, OK, RL), pp. 345–354.
- PODS-2009-KirschMPPUV #approach #identification #performance #statistics
- An efficient rigorous approach for identifying statistically significant frequent itemsets (AK, MM, AP, GP, EU, FV), pp. 117–126.
CHI-2009-IsbisterH #challenge #design #evaluation #human-computer #on the- On being supple: in search of rigor without rigidity in meeting new design and evaluation challenges for HCI practitioners (KI, KH), pp. 2233–2242.
SAC-2009-RodriguesMF #algebra #implementation #navigation #process #web #web service- Implementing rigorous web services with process algebra: navigation plan for web services (MCR, SM, JEF), pp. 625–631.
- FM-2008-RidgeNS #approach #implementation #network #protocol
- A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service (TR, MN, PS), pp. 294–309.
OOPSLA-2008-GeorgesEB #compilation #evaluation #java #performance- Java performance evaluation through rigorous replay compilation (AG, LE, DB), pp. 367–384.
ITiCSE-2007-Ginat #design- Hasty design, futile patching and the elaboration of rigor (DG), pp. 161–165.
MoDELS-2007-LeppanenLT #automation #design #industrial #modelling #scalability- A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems (KL, SL, MT), pp. 331–345.
- MoDELS-2007-LeppanenLT #automation #design #industrial #modelling #scalability
- A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems (KL, SL, MT), pp. 331–345.
- OOPSLA-2007-GeorgesBE #evaluation #java #performance #statistics
- Statistically rigorous java performance evaluation (AG, DB, LE), pp. 57–76.
SEFM-2006-SukumaranSV #approach #requirements #validation- A Rigorous Approach to Requirements Validation (SS, AS, RV), pp. 236–245.
ASE-2005-GheyiMB #approach #proving #refactoring- A rigorous approach for proving model refactorings (RG, TM, PB), pp. 372–375.
- SAC-2005-Moore #order
- Order relations and rigor in computing (REM), p. 2.
- SAC-2005-Moore05a #order
- Order relations and rigor in computing (REM), pp. 1431–1433.
EDOC-2004-DijkmanQPS #approach #enterprise- A Rigorous Approach to Relate Enterprise and Computational Viewpoints (RMD, DACQ, LFP, MvS), pp. 187–200.
ICPR-v4-2004-FarenzenaBFB #bound #re-engineering- Rigorous Accuracy Bounds for Calibrated Stereo Reconstruction (MF, AB, AF, AB), pp. 288–292.
SFM-2003-KramerMU #analysis #approach #architecture #modelling- Software Architecture Modeling & Analysis: A Rigorous Approach (JK, JM, SU), pp. 44–51.
SEKE-2003-Lavazza #requirements #uml- Rigorous Description of Software Requirements with UML (LL), pp. 327–334.
UML-2003-PilskalnsAGF #behaviour #testing #uml- Rigorous Testing by Merging Structural and Behavioral UML Representations (OP, AAA, SG, RBF), pp. 234–248.
HPCA-2003-YiLH #approach #simulation #statistics- A Statistically Rigorous Approach for Improving Simulation Methodology (JJY, DJL, DMH), pp. 281–291.
FASE-2001-ReggioCA #approach #multi #semantics #towards #uml- Towards a Rigorous Semantics of UML Supporting Its Multiview Approach (GR, MC, EA), pp. 171–186.
- FME-2001-AlagarX #approach #architecture #e-commerce #modelling
- A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures (VSA, ZX), pp. 173–196.
CAiSE-2001-LaleauP #concept #information management #metamodelling #modelling #uml- A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems (RL, FP), pp. 402–416.
ESEC-FSE-2001-Zundorf #case study #development #uml- From use cases to code---rigorous software development with UML (AZ), pp. 324–325.
ICSE-2001-Zundorf #case study #development #uml- From Use Cases to Code — Rigorous Software Development with UML (AZ), pp. 711–712.
ICEIS-2000-Stamper #requirements #social- Information Requirements are Human, Computers only Machines: Measur’s Rigorous Methods Based on Social Norms (RKS), p. XXVII-XXX.
KDD-2000-Papadimitriou #data mining #mining #on the- On certain rigorous approaches to data mining (invited talk, abstract only) (CHP), p. 2.
- FASE-1999-LanoE #development #uml
- Rigorous Development in UML (KL, AE), pp. 129–144.
CSMR-1999-PoloPRC #maintenance #named #standard- MANTEMA: A Complete Rigorous Methodology for Supporting Maintenance Based On The ISO/IEC 12207 Standard (MP, MP, FR, CC), pp. 178–181.
- FM-1998-GoerigkH #compilation #correctness #how #implementation
- Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct (WG, UH), pp. 122–136.
- CSMR-1997-Favre #approach #maintenance #scalability
- A Rigorous Approach to Support the Maintenance of Large Portable Software (JMF), pp. 44–47.
- ICSE-1997-FaulkH #evolution #realtime #requirements #tutorial
- Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method (Tutorial) (SRF, CLH), pp. 637–638.
- ICSE-1996-GreenwoodWS #approach #component #evolution #scalability
- Cooperating Evolving Components: A Rigorous Approach to Evolving Large Software Systems (RMG, BW, JS), pp. 428–437.
- FME-1994-CordeiroSM #approach #development #eiffel
- From MooZ to Eiffel — A Rigorous Approach to System Development (VAOC, AS, SRdLM), pp. 306–325.
TOOLS-EUROPE-1994-DurrG #concurrent #development- Rigorous Development of Concurrent O-O Systems (ED, SJG), p. 515.
ICRE-1994-MorganS #specification- Transitioning to rigorous software specification (NWM, CS), pp. 110–117.
STOC-1991-FiatN #trade-off- Rigorous Time/Space Tradeoffs for Inverting Functions (AF, MN), pp. 534–541.
ESEC-1989-Shutt #development #program analysis #specification #tool support #using- A Rigorous Development Strategy Using the OBJ Specification Language and the MALPAS Program Analysis Tools (RNS), pp. 260–291.
