Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDSylvain Hallé
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[c90]Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé:
Open Source Software Development Process: A Systematic Review. EDOC 2020: 135-144- [c89]Sylvain Hallé:
Explainable Queries over Event Logs. EDOC 2020: 171-180 - [c88]Katia Romero Felizardo, Érica Ferreira de Souza, Tamiris Malacrida, Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé, Nandamudi L. Vijaykumar, Elisa Yumi Nakagawa:
Knowledge Management for Promoting Update of Systematic Literature Reviews: An Experience Report. SEAA 2020: 471-478 - [c87]Oussama Beroual, Francis Guérin, Sylvain Hallé:
Detecting Responsive Web Design Bugs with Declarative Specifications. ICWE 2020: 3-18 - [c86]Xavier Chamberland-Thibeault, Sylvain Hallé:
Structural Profiling of Web Sites in the Wild. ICWE 2020: 27-34 - [c85]Stéphane Jacquet, Sylvain Hallé:
Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem. IFM 2020: 387-394 - [i10]Sylvain Hallé:
Explainable Queries over Event Logs. CoRR abs/2002.05589 (2020) - [i9]Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé:
A Tertiary and Secondary Study Canvas. CoRR abs/2004.01315 (2020) - [i8]Kun Xie, Sylvain Hallé:
Efficient Offline Monitoring of Linear Temporal Logic with Bit Vectors. CoRR abs/2005.11737 (2020) - [i7]Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé:
Open Source Software Development Process: A Systematic Review. CoRR abs/2008.05015 (2020)
2010 – 2019
- 2019
- [j17]Quentin Betti, Raphaël Khoury, Sylvain Hallé
, Benoît Montreuil:
Improving Hyperconnected Logistics With Blockchains and Smart Contracts. IT Prof. 21(4): 25-32 (2019) - [c84]Massiva Roudjane, Djamal Rebaine, Raphaël Khoury, Sylvain Hallé:
Predictive Analytics for Event Stream Processing. EDOC 2019: 171-182 - [c83]Julien Maitre, Sylvain Hallé, Kévin Bouchard, Sébastien Gaboury:
Electric Device Recognition and Recommendation in Real-Time Based on Complex Event Processing for Smart Homes. GOODTECHS 2019: 43-48 - [c82]Raphaël Khoury, Abdelwahab Hamou-Lhadj, Mohamed Ilyes Rahim, Sylvain Hallé, Fábio Petrillo:
TRIADE A Three-Factor Trace Segmentation Method to Support Program Comprehension. ISSRE Workshops 2019: 406-413 - [c81]Michaël Larouche, Sylvain Hallé:
Efficient Generation of Test Data with Extended Cardinality Constraints. QRS 2019: 386-393 - [c80]Benjamin Vignau, Raphaël Khoury, Sylvain Hallé:
10 Years of IoT Malware: A Feature-Based Taxonomy. QRS Companion 2019: 458-465 - [i6]Quentin Betti, Raphaël Khoury, Sylvain Hallé, Benoît Montreuil:
Improving Hyperconnected Logistics with Blockchains and Smart Contracts. CoRR abs/1904.03633 (2019) - [i5]Bianca Minetto Napoleão, Katia Romero Felizardo, Érica Ferreira de Souza, Fábio Petrillo, Nandamudi L. Vijaykumar, Elisa Yumi Nakagawa, Sylvain Hallé:
Establishing a Search String to Detect Secondary Studies in Software Engineering. CoRR abs/1912.08861 (2019) - 2018
- [j16]Sylvain Hallé, Raphaël Khoury, Mewena Awesso:
Streamlining the Inclusion of Computer Experiments In a Research Paper. Computer 51(11): 78-89 (2018) - [j15]Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone:
Decentralized enforcement of document lifecycle constraints. Inf. Syst. 74(Part): 117-135 (2018) - [c79]Massiva Roudjane, Djamal Rebaine, Raphaël Khoury, Sylvain Hallé:
Real-Time Data Mining for Event Streams. EDOC 2018: 123-134 - [c78]Raphaël Khoury, Sylvain Hallé:
Tally Keeping-LTL: An LTL Semantics for Quantitative Evaluation of LTL Specifications. IRI 2018: 495-502 - [c77]Sylvain Hallé, Raphaël Khoury:
Writing Domain-Specific Languages for BeepBeep. RV 2018: 447-457 - [c76]Florentin Thullier, Valère Plantevin, Abdenour Bouzouane, Sylvain Hallé, Sébastien Gaboury:
A Comparison of Inertial Data Acquisition Methods for a Position-Independent Soil Types Recognition. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 1052-1056 - 2017
- [j14]Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé:
Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring. Comput. Entertain. 15(1): 1:1-1:28 (2017) - [j13]Eric Lunaud Ngoupe, Clément Parisot, Sylvain Stoesel, Petko Valtchev, Roger Villemaire, Omar Cherkaoui, Pierre Boucher, Sylvain Hallé:
A Declarative Approach to Network Device Configuration Correctness. J. Netw. Syst. Manag. 25(1): 180-209 (2017) - [c75]Mohamed Recem Boussaha, Raphaël Khoury, Sylvain Hallé:
Monitoring of Security Properties Using BeepBeep. FPS 2017: 160-169 - [c74]Oussama Beroual, Francis Guerin, Sylvain Hallé:
Searching for Behavioural Bugs with Stateful Test Oracles in Web Crawlers. SBST@ICSE 2017: 7-13 - [c73]Sylvain Hallé, Raphaël Khoury:
SealTest: a simple library for test sequence generation. ISSTA 2017: 392-395 - [c72]Sylvain Hallé:
LabPal: repeatable computer experiments made easy. ISSTA 2017: 404-407 - [c71]Sylvain Hallé, Raphaël Khoury:
Event Stream Processing with BeepBeep 3. RV-CuBES 2017: 81-88 - [c70]Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury:
A Few Things We Heard About RV Tools (Position Paper). RV-CuBES 2017: 89-95 - [c69]Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury:
Event Stream Processing with Multiple Threads. RV 2017: 359-369 - [c68]Chafik Meniar, Florence Opalvens, Sylvain Hallé:
Runtime Verification of User Interface Guidelines in Mobile Devices. RV 2017: 410-415 - [c67]Florentin Thullier, Valère Plantevin, Abdenour Bouzouane, Sylvain Hallé, Sébastien Gaboury:
A position-independent method for soil types recognition using inertial data from a wearable device. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017: 1-10 - [e8]Sylvain Hallé, Roger Villemaire, Robert Lagerström:
21st IEEE International Enterprise Distributed Object Computing Conference, EDOC 2017, Quebec City, QC, Canada, October 10-13, 2017. IEEE Computer Society 2017, ISBN 978-1-5090-3045-3 [contents] - [e7]Sylvain Hallé, Remco M. Dijkman, James Lapalme:
21st IEEE International Enterprise Distributed Object Computing Workshop, EDOC Workshops 2017, Quebec City, QC, Canada, October 10-13, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-1568-3 [contents] - [i4]Sylvain Hallé:
From Complex Event Processing to Simple Event Processing. CoRR abs/1702.08051 (2017) - [i3]Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury:
Event Stream Processing with Multiple Threads. CoRR abs/1707.02600 (2017) - 2016
- [j12]Kun Xie, Sébastien Gaboury, Sylvain Hallé:
Real-Time Streaming Communication With Optical Codes. IEEE Access 4: 284-298 (2016) - [j11]Sylvain Hallé, Nicolas Bergeron, Francis Guerin, Gabriel Le Breton, Oussama Beroual:
Declarative layout constraints for testing web applications. J. Log. Algebraic Methods Program. 85(5): 737-758 (2016) - [c66]Sylvain Hallé, Sébastien Gaboury, Bruno Bouchard:
Activity Recognition Through Complex Event Processing: First Findings. AAAI Workshop: Artificial Intelligence Applied to Assistive Technologies and Smart Environments 2016 - [c65]Sylvain Hallé, Sébastien Gaboury, Raphaël Khoury:
A glue language for event stream processing. BigData 2016: 2384-2391 - [c64]Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Yliès Falcone:
Decentralized Enforcement of Artifact Lifecycles. EDOC 2016: 1-10 - [c63]Raphaël Khoury, Sébastien Gaboury, Sylvain Hallé:
Three Views of Log Trace Triaging. FPS 2016: 179-195 - [c62]Raphaël Khoury, Sylvain Hallé, Omar Waldmann:
Execution Trace Analysis Using LTL-FO ^+. ISoLA (2) 2016: 356-362 - [c61]Sylvain Hallé, Sébastien Gaboury, Bruno Bouchard:
Towards User Activity Recognition Through Energy Usage Analysis And Complex Event Processing. PETRA 2016: 3 - [c60]Giles Reger, Sylvain Hallé, Yliès Falcone:
Third International Competition on Runtime Verification - CRV 2016. RV 2016: 21-37 - [c59]Sylvain Hallé:
When RV Meets CEP. RV 2016: 68-91 - [c58]Sylvain Hallé, Oussama Beroual:
Fault Localization in Web Applications via Model Finding. CREST@ETAPS 2016: 55-67 - [i2]Yannick Lebrun, Raphaël Khoury, Sylvain Hallé:
An Alternating Automaton for First-Order Linear Temporal Logic-Tech Report. CoRR abs/1610.07080 (2016) - 2015
- [j10]Sylvain Hallé, Maxime Soucy-Boivin:
MapReduce for parallel trace validation of LTL properties. J. Cloud Comput. 4: 8 (2015) - [j9]Sylvain Hallé, Jason Vallet, Raphaël Tremblay-Lessard:
On piggyback runtime monitoring of object-oriented programs. Int. J. Softw. Tools Technol. Transf. 17(2): 125-142 (2015) - [c57]Sylvain Hallé:
A Declarative Language Interpreter for CEP. EDOC Workshops 2015: 156-159 - [c56]Raphaël Khoury, Sylvain Hallé:
Runtime Enforcement with Partial Control. FPS 2015: 102-116 - [c55]Sylvain Hallé, Raphaël Khoury:
Runtime Monitoring of Stream Logic Formulae. FPS 2015: 251-258 - [c54]Sylvain Hallé, Nicolas Bergeron, Francis Guerin, Gabriel Le Breton:
Testing Web Applications Through Layout Constraints. ICST 2015: 1-8 - [c53]Eric Lunaud Ngoupe, Sylvain Stoesel, Clément Parisot, Sylvain Hallé, Petko Valtchev, Omar Cherkaoui, Pierre Boucher:
A data model for management of network device configuration heterogeneity. IM 2015: 1230-1233 - [c52]Sylvain Hallé, Edmond La Chance, Sébastien Gaboury:
Graph Methods for Generating Test Cases with Universal and Existential Constraints. ICTSS 2015: 55-70 - [c51]Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé:
A generalized monitor verdict for log trace triaging. PCODA@SANER 2015: 13-18 - [e6]Sylvain Hallé, Wolfgang Mayer, Aditya K. Ghose, Georg Grossmann:
19th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2015, Adelaide, Australia, September 21-25, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-9203-7 [contents] - [e5]Jens Kolb, Barbara Weber, Sylvain Hallé, Wolfgang Mayer, Aditya K. Ghose, Georg Grossmann:
19th IEEE International Enterprise Distributed Object Computing Workshop, EDOC Workshops 2015, Adelaide, Australia, September 21-25, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-9331-7 [contents] - [i1]Raphaël Khoury, Sylvain Hallé:
Runtime Enforcement With Partial Control. CoRR abs/1508.06525 (2015) - 2014
- [c50]Sylvain Hallé, Simon Varvaressos:
A Formalization of Complex Event Stream Processing. EDOC 2014: 2-11 - [c49]Gabriel Le Breton, Nicolas Bergeron, Sylvain Hallé:
A Reference Framework for the Automated Exploration of Web Applications. ICECCS 2014: 81-90 - [c48]Eric Lunaud Ngoupe, Sylvain Stoesel, Clément Parisot, Sylvain Hallé, Petko Valtchev, Omar Cherkaoui, Pierre Boucher:
A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness. ICECCS 2014: 190-193 - [c47]Simon Varvaressos, Kim Lavoie, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé:
Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring. ICST 2014: 143-152 - [c46]Sylvain Hallé, Gabriel Le Breton, Fabien Maronnaud, Alexandre Blondin Massé, Sébastien Gaboury:
Exhaustive Exploration of Ajax Web Applications with Selective Jumping. ICST Workshops 2014: 243-252 - [c45]Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé, Michaël Larouche:
Solving Equations on Words with Morphisms and Antimorphisms. LATA 2014: 186-197 - [c44]Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé:
Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces. RV 2014: 10-14 - [c43]Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sébastien Gaboury, Sylvain Hallé:
Portable Runtime Verification with Smartphones and Optical Codes. RV 2014: 80-84 - [e4]Georg Grossmann, Sylvain Hallé, Dimka Karastoyanova, Manfred Reichert, Stefanie Rinderle-Ma:
18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, EDOC Workshops 2014, Ulm, Germany, September 1-2, 2014. IEEE Computer Society 2014 [contents] - 2013
- [j8]Sylvain Hallé:
Cooperative runtime monitoring. Enterp. Inf. Syst. 7(4): 395-423 (2013) - [j7]Alexandre Blondin Massé, Sarah Desmeules, Sébastien Gaboury, Sylvain Hallé:
Multipseudoperiodic Words. Int. J. Found. Comput. Sci. 24(7): 1153-1166 (2013) - [c42]Jason Vallet, Aouatef Mrad, Sylvain Hallé, Éric Beaudet:
The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces. EDOC Workshops 2013: 275-284 - [c41]Sylvain Hallé, Eric Lunaud Ngoupe, Roger Villemaire, Omar Cherkaoui:
Distributed firewall anomaly detection through LTL model checking. IM 2013: 194-201 - [c40]Simon Varvaressos, Dominic Vaillancourt, Sébastien Gaboury, Alexandre Blondin Massé, Sylvain Hallé:
Runtime Monitoring of Temporal Logic Properties in a Platform Game. RV 2013: 346-351 - [c39]Michaël Larouche, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé:
Solving equations on words through boolean satisfiability. SAC 2013: 104-106 - [c38]Gabriel Le Breton, Fabien Maronnaud, Sylvain Hallé:
Automated exploration and analysis of ajax web applications with WebMole. WWW (Companion Volume) 2013: 245-248 - [e3]Ebrahim Bagheri, Dragan Gasevic, Sylvain Hallé, Marek Hatala, Hamid R. Motahari Nezhad, Manfred Reichert:
17th IEEE International Enterprise Distributed Object Computing Conference Workshops, EDOC Workshops, Vancouver, BC, Canada, September 9-13, 2013. IEEE Computer Society 2013, ISBN 978-1-4799-3048-7 [contents] - [e2]Domenico Bianculli, Sam Guinea, Sylvain Hallé, Andrea Polini:
Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, QASBA 2013, in conjunction with ISSTA 2013, Lugano, Switzerland, July 15, 2013. ACM 2013, ISBN 978-1-4503-2182-2 [contents] - 2012
- [j6]Roger Villemaire, Sylvain Hallé:
Reasoning about visibility. J. Appl. Log. 10(2): 163-178 (2012) - [j5]Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Rudy Deca:
A Logical Approach to Data-Aware Automated Sequence Generation. Trans. Comput. Sci. 15: 192-216 (2012) - [j4]Sylvain Hallé, Roger Villemaire:
Runtime Enforcement of Web Service Message Contracts with Data. IEEE Trans. Serv. Comput. 5(2): 192-206 (2012) - [c37]Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé:
Pseudoperiodic Words. Developments in Language Theory 2012: 308-319 - [c36]Sylvain Hallé, Roger Villemaire:
Constraint-based invocation of stateful web services: The beep store (case study). PESOS@ICSE 2012: 61-62 - [c35]Jérôme Calvar, Raphaël Tremblay-Lessard, Sylvain Hallé:
A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments. ICST 2012: 499-508 - [c34]Sylvain Hallé, Raphaël Tremblay-Lessard:
A Case for "Piggyback" Runtime Monitoring. ISoLA (1) 2012: 295-311 - [c33]Bassam Khorchani, Sylvain Hallé, Roger Villemaire:
Firewall anomaly detection with a model checker for visibility logic. NOMS 2012: 466-469 - [c32]Sylvain Hallé, Eric Lunaud Ngoupe, Gaetan Nijdam, Omar Cherkaoui, Petko Valtchev, Roger Villemaire:
ValidMaker: A tool for managing device configurations using logical constraints. NOMS 2012: 1111-1118 - [c31]Sylvain Hallé, Omar Cherkaoui, Petko Valtchev:
Towards a semantic virtualization of configurations. NOMS 2012: 1268-1271 - [c30]Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet:
BabelTrace: A Collection of Transducers for Trace Validation. RV 2012: 126-130 - [c29]Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin, Pierre-Antoine Ollivier, Sylvain Hallé:
MapReduce for Parallel Trace Validation of LTL Properties. RV 2012: 184-198 - [c28]Guillaume Demarty, Fabien Maronnaud, Gabriel Le Breton, Sylvain Hallé:
SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications. WS-FM 2012: 103-117 - 2011
- [j3]Dragan Gasevic, Georg Grossmann, Sylvain Hallé:
Guest Editorial. J. Res. Pract. Inf. Technol. 43(1): 1-4 (2011) - [c27]Dragan Gasevic, Georg Grossmann, Sylvain Hallé, Florian Rosenberg:
Message from the EVL-BP 2011 Workshop Chairs. EDOCW 2011: 143-145 - [c26]Sylvain Hallé:
Causality in Message-Based Contract Violations: A Temporal Logic "Whodunit". EDOC 2011: 171-180 - [c25]Sylvain Hallé:
Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications. ICECCS 2011: 95-104 - 2010
- [j2]Sylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire:
Runtime Verification of Web Service Interface Contracts. Computer 43(3): 59-66 (2010) - [c24]Sylvain Hallé:
Cooperative Runtime Monitoring of LTL Interface Contracts. EDOC 2010: 227-236 - [c23]Sylvain Hallé, Taylor Ettema, Chris Bunch, Tevfik Bultan:
Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines. ASE 2010: 235-244 - [c22]Sylvain Hallé, Roger Villemaire:
Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications. RV 2010: 106-121 - [c21]Sylvain Hallé, Tevfik Bultan:
Realizability analysis for message-based interactions using shared-state projections. SIGSOFT FSE 2010: 27-36 - [c20]Sylvain Hallé:
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving. WS-FM 2010: 42-55 - [e1]Gwen Salaün, Xiang Fu, Sylvain Hallé:
Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software, TAV-WEB 2010, Antwerp, Belgium, 21 September 2010. EPTCS 35, 2010 [contents]
2000 – 2009
- 2009
- [j1]Sylvain Hallé, Roger Villemaire, Omar Cherkaoui:
Specifying and Validating Data-Aware Temporal Web Service Properties. IEEE Trans. Software Eng. 35(5): 669-683 (2009) - [c19]Sylvain Hallé, Roger Villemaire:
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep. CAV 2009: 648-653 - [c18]Dragan Gasevic, Georg Grossmann, Sylvain Hallé:
Dynamic and declarative business processes. EDOCW 2009: 1-4 - [c17]Sylvain Hallé, Roger Villemaire:
Flexible and reliable messaging using runtime monitoring. EDOCW 2009: 116-125 - [c16]Sylvain Hallé, Graham Hughes, Tevfik Bultan, Muath Alkhalaf:
Generating Interface Grammars from WSDL for Automated Verification of Web Services. ICSOC/ServiceWave 2009: 516-530 - [c15]Sylvain Hallé, Roger Villemaire:
Runtime monitoring of web service choreographies using streaming XML. SAC 2009: 2118-2125 - [c14]Roger Villemaire, Sylvain Hallé:
Strong Temporal, Weak Spatial Logic for Rule Based Filters. TIME 2009: 115-121 - 2008
- [c13]Sylvain Hallé, Roger Villemaire:
Runtime Monitoring of Message-Based Workflows with Data. EDOC 2008: 63-72 - [c12]Sylvain Hallé, Roger Villemaire:
XML Methods for Validation of Temporal Properties on Message Traces with Data. OTM Conferences (1) 2008: 337-353 - [c11]Sylvain Hallé, Roger Villemaire:
Satisfying a Fragment of XQuery by Branching-Time Reduction. TIME 2008: 72-76 - 2007
- [c10]Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour:
Model Checking Data-Aware Workflow Properties with CTL-FO+. EDOC 2007: 267-278 - [c9]Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Jérôme Tremblay, Boubker Ghandour:
Extending Model Checking to Data-Aware Temporal Properties of Web Services. WS-FM 2007: 31-45 - 2006
- [c8]Sylvain Hallé:
An Efficient Heuristic for Discovering Multiple Ill-Defined Attributes in Datasets. ICMLA 2006: 43-47 - [c7]Sylvain Hallé, Éric Wenaas, Roger Villemaire, Omar Cherkaoui:
Self-configuration of Network Devices with Configuration Logic. Autonomic Networking 2006: 36-49 - [c6]Sylvain Hallé, Roger Villemaire, Omar Cherkaoui:
CTL Model Checking for Labelled Tree Queries. TIME 2006: 27-35 - 2005
- [c5]Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche:
Modelling the Temporal Aspects of Network Configurations. Net-Con 2005: 269-282 - [c4]Sylvain Hallé:
Using Boolean Differences for Discovering Ill-Defined Attributes in Propositional Machine Learning. MICAI 2005: 425-434 - [c3]Roger Villemaire, Sylvain Hallé, Omar Cherkaoui:
Configuration Logic: A Multi-site Modal Logic. TIME 2005: 131-137 - 2004
- [c2]Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche:
A Formal Validation Model for the Netconf Protocol. DSOM 2004: 147-158 - [c1]Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire:
Automated Validation of Service Configuration on Network Devices. MMNS 2004: 176-188
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.