Bernard Stepien

35 papers B 4C 2Misc 1Journal 10Unranked 18

Year	Rank	Type	Title / Venue / Authors
2020	Misc	`conf`	Resolving XACML Rule Conflicts using Artificial Intelligence. ICISS Bernard Stepien, Amy P. Felty
2019	J	`jnl`	From use case maps to executable test procedures: a scenario-based approach. Softw. Syst. Model. Nader Kesserwan, Rachida Dssouli, Jamal Bentahar, Bernard Stepien, Pierre Labrèche
2016	B	`conf`	Using Expert Systems to Statically Detect "Dynamic" Conflicts in XACML. ARES Bernard Stepien, Amy P. Felty
2015	—	`conf`	Testing Business Processes Using TTCN-3. SDL Forum Bernard Stepien, Kavya Mallur, Liam Peyton
2015	—	`conf`	Testing Policy-Based e-Health Monitoring Processes Using TTCN-3. MCETECH Bernard Stepien, Benjamin Eze, Liam Peyton
2015	—	`conf`	Towards the Generation of Tests in the Test Description Language from Use Case Map Models. SDL Forum Patrice Boulet, Daniel Amyot, Bernard Stepien
2014	—	`conf`	A non-technical XACML target editor for dynamic access control systems. CTS Bernard Stepien, Amy P. Felty, Stan Matwin
2014	J	`jnl`	An integrated TTCN-3 test framework architecture for interconnected object-based internet applications. Int. J. Electron. Bus. Bernard Stepien, Liam Peyton, Ming Shang, Theofanis Vassiliou-Gioles
2014	B	`conf`	Challenges of Composing XACML Policies. ARES Bernard Stepien, Amy P. Felty, Stan Matwin
2014	J	`jnl`	Innovation and evolution in integrated web application testing with TTCN-3. Int. J. Softw. Tools Technol. Transf. Bernard Stepien, Liam Peyton
2013	C	`conf`	Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3. ICTSS Bernard Stepien, Liam Peyton
2012	B	`conf`	An Algorithm for Compression of XACML Access Control Policy Sets by Recursive Subsumption. ARES Bernard Stepien, Stan Matwin, Amy P. Felty
2012	—	`conf`	CatBAC: A generic framework for designing and validating hybrid access control models. ICC Bernard Stepien, Hemanth Khambhammettu, Kamel Adi, Luigi Logrippo
2011	—	`conf`	A Systematic Approach to Web Application Penetration Testing Using TTCN-3. MCETECH Bernard Stepien, Pulei Xiong, Liam Peyton
2011	C	`conf`	Advantages of a non-technical XACML notation in role-based models. PST Bernard Stepien, Stan Matwin, Amy P. Felty
2010	B	`conf`	Strategies for Reducing Risks of Inconsistencies in Access Control Policies. ARES Bernard Stepien, Stan Matwin, Amy P. Felty
2009	—	`conf`	A Non-technical User-Oriented Display Notation for XACML Conditions. MCETECH Bernard Stepien, Amy P. Felty, Stan Matwin
2009	—	`conf`	Integration Testing of Web Applications and Databases Using TTCN-3. MCETECH Bernard Stepien, Liam Peyton
2009	—	`conf`	Model-Based Penetration Test Framework for Web Applications Using TTCN-3. MCETECH Pulei Xiong, Bernard Stepien, Liam Peyton
2008	—	`conf`	A Case Study in Integrated Quality Assurance for Performance Management Systems. MSVVEIS Liam Peyton, Bo Zhan, Bernard Stepien
2008	J	`jnl`	Framework testing of web applications using TTCN-3. Int. J. Softw. Tools Technol. Transf. Bernard Stepien, Liam Peyton, Pulei Xiong
2008	—	`conf`	Integration Testing of Composite Applications. HICSS Liam Peyton, Bernard Stepien, Pierre Seguin
2007	—	`conf`	Formal correctness of conflict detection for firewalls. FMSE Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin
2004	—	`conf`	Life-Cycle E-commerce Testing with OO-TTCN-3. FORTE Workshops Robert L. Probert, Pulei Xiong, Bernard Stepien
2003	—	`conf`	Automated Testing of XML/SOAP based Web Services. KiVS Ina Schieferdecker, Bernard Stepien
2002	J	`jnl`	Graphic visualization and animation of LOTOS execution traces. Comput. Networks Bernard Stepien, Luigi Logrippo
2000	—	`conf`	Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS. FIW Daniel Amyot, Leïla Charfi, Nicolas Gorse, Tom Gray, Luigi Logrippo, Jacques Sincennes, Bernard Stepien, Tom Ware
1998	J	`jnl`	Eine Leistungsmethodik und ihre Anwendungen auf ATM Protokolle. Prax. Inf.verarb. Kommun. Ina Schieferdecker, Axel Rennoch, Mang Li, Bernard Stepien
1997	J	`jnl`	Structural Models for Specifying Telephone Systems. Comput. Networks ISDN Syst. Mohammed Faci, Luigi Logrippo, Bernard Stepien
1995	—	`conf`	Representing and Verifying Intentions in Telephony Features Using Abstract Data Types. FIW Bernard Stepien, Luigi Logrippo
1994	—	`conf`	Feature interaction detection using backward reasoning with LOTOS. PSTV Bernard Stepien, Luigi Logrippo
1991	J	`jnl`	Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach. Comput. Networks ISDN Syst. Mohammed Faci, Luigi Logrippo, Bernard Stepien
1989	—	`conf`	Formal Specifications of Telephone Systems in LOTOS. PSTV Mohammed Faci, Luigi Logrippo, Bernard Stepien
1986	J	`jnl`	Automatic transcription of sixteenth century musical notations. Comput. Humanit. Hélène Charnassé, Bernard Stepien
1986	J	`jnl`	Cluster analysis for the computer-assisted statistical analysis of melodies. Comput. Humanit. Luigi Logrippo, Bernard Stepien